BioInf.RNAfold

Documentation

testRNAfold :: String -> (Int, [String])

testInput :: [Char]

test :: (Int, [String])

rnafold :: Vienna2004 -> Primary -> ST s (Arr0 DIM2 Int, Arr0 DIM2 Int, Arr0 DIM2 Int, Arr0 DIM2 Int)

(*~+) :: (Monad m, Monad m1, Num t1, Num t, Ord t1) => xs -> ys -> Box ((:. (:. tail t) head, t2, t3) -> m (:. (:. (:. tail t) t) head, t2, t3)) ((:. (:. (:. tail1 t1) t1) t1, t4, t5) -> m1 (Step (:. (:. (:. tail1 t1) t1) t1, t4, t5) (:. (:. (:. tail1 t1) t1) t1, t4, t5))) xs ys

(+~*) :: (Monad m, Monad m1, Num t, Num t1, Ord t, Ord t1) => xs -> ys -> Box ((:. (:. tail t1) t1, t2, t3) -> m (:. (:. (:. tail t1) t1) t1, t2, t3)) ((:. (:. (:. tail1 head) t) t, t4, t5) -> m1 (Step (:. (:. (:. tail1 head) t) t, t4, t5) (:. (:. (:. tail1 head) t) t, t4, t5))) xs ys

(&~+) :: (Monad m, Monad m1, Num t1, Num t, Ord t1) => xs -> ys -> Box ((:. (:. tail t) head, t2, t3) -> m (:. (:. (:. tail t) t) head, t2, t3)) ((:. (:. (:. tail1 t1) t1) t1, t4, t5) -> m1 (Step (:. (:. (:. tail1 t1) t1) t1, t4, t5) (:. (:. (:. tail1 t1) t1) t1, t4, t5))) xs ys

(+~&) :: (Monad m, Monad m1, Num t, Num t1, Ord t, Ord t1) => xs -> ys -> Box ((:. (:. tail t1) t1, t2, t3) -> m (:. (:. (:. tail t1) t1) t1, t2, t3)) ((:. (:. (:. tail1 head) t) t, t4, t5) -> m1 (Step (:. (:. (:. tail1 head) t) t, t4, t5) (:. (:. (:. tail1 head) t) t, t4, t5))) xs ys

(---~+) :: (Monad m, Monad m1, Num t1, Num t, Ord t1) => xs -> ys -> Box ((:. (:. tail t) head, t2, t3) -> m (:. (:. (:. tail t) t) head, t2, t3)) ((:. (:. (:. tail1 t1) t1) t1, t4, t5) -> m1 (Step (:. (:. (:. tail1 t1) t1) t1, t4, t5) (:. (:. (:. tail1 t1) t1) t1, t4, t5))) xs ys

(+~@) :: (Monad m, Monad m1, Num t, Num t1, Ord t, Ord t1) => xs -> ys -> Box ((:. (:. tail t1) t1, t2, t3) -> m (:. (:. (:. tail t1) t1) t1, t2, t3)) ((:. (:. (:. tail1 head) t) t, t4, t5) -> m1 (Step (:. (:. (:. tail1 head) t) t, t4, t5) (:. (:. (:. tail1 head) t) t, t4, t5))) xs ys

(+~---) :: (Monad m, Monad m1, Num t, Num t1, Ord t, Ord t1) => xs -> ys -> Box ((:. (:. tail t1) t1, t2, t3) -> m (:. (:. (:. tail t1) t1) t1, t2, t3)) ((:. (:. (:. tail1 head) t) t, t4, t5) -> m1 (Step (:. (:. (:. tail1 head) t) t, t4, t5) (:. (:. (:. tail1 head) t) t, t4, t5))) xs ys

(@~+) :: (Monad m, Monad m1, Num t1, Num t, Ord t1) => xs -> ys -> Box ((:. (:. tail t) head, t2, t3) -> m (:. (:. (:. tail t) t) head, t2, t3)) ((:. (:. (:. tail1 t1) t1) t1, t4, t5) -> m1 (Step (:. (:. (:. tail1 t1) t1) t1, t4, t5) (:. (:. (:. tail1 t1) t1) t1, t4, t5))) xs ys

backtracking

btRNAfold :: Vienna2004 -> Primary -> (Arr0 DIM2 Int, Arr0 DIM2 Int, Arr0 DIM2 Int, Arr0 DIM2 Int) -> [String]

different energy functions (very simplified signature)

Functions that will be part of a bioinformatics DP library

adjustStream :: Int -> (DIM2 -> Stream (ST s) Int) -> DIM2 -> Stream (ST s) Int

adjustStreamBT :: Int -> (DIM2 -> Stream elm) -> DIM2 -> Stream elm

(.!.) :: (Monad m, Num head1, Num head, Ord head1, Ord head) => (:. (:. Z head1) head -> Stream m a) -> (Stream m a -> t, head) -> :. (:. Z head1) head -> t

with :: (Monad m, Num a) => (t -> m a) -> (t -> Bool) -> t -> m a

withBT :: Monad m => (t -> m [a]) -> (t -> Bool) -> t -> m [a]

fillTables :: PrimMonad m => MArr0 (PrimState m) DIM2 Int -> (DIM2 -> m Int) -> MArr0 (PrimState m) DIM2 Int -> (DIM2 -> m Int) -> MArr0 (PrimState m) DIM2 Int -> (DIM2 -> m Int) -> MArr0 (PrimState m) DIM2 Int -> (DIM2 -> m Int) -> m ()