Safe Haskell | Safe-Infered |
---|

A library of helpers for ADPfusion algorithms.

- base' :: Primary -> DIM2 -> Scalar Nuc
- baseLr' :: Primary -> DIM2 -> Scalar (Nuc :!: Nuc)
- baselR' :: Primary -> DIM2 -> Scalar (Nuc :!: Nuc)
- region' :: Vector Nuc -> DIM2 -> Scalar (Vector Nuc)
- primary' :: Primary -> DIM2 -> Scalar ((Primary :!: Int) :!: Int)
- primaryPR' :: Primary -> DIM2 -> Scalar ((Primary :!: Int) :!: Int)
- primaryPL' :: Primary -> DIM2 -> Scalar ((Primary :!: Int) :!: Int)
- regionpl' :: Vector Nuc -> DIM2 -> Scalar (Vector Nuc)
- regionpr' :: Vector Nuc -> DIM2 -> Scalar (Vector Nuc)
- basepairing' :: (Num a, Ord a, MkViennaPair (t, t), PrimArrayOps arr (:. Z a) t) => arr (:. Z a) t -> :. (:. Z a) a -> Bool
- stackpairing' :: (Enum a, Num a, Ord a, MkViennaPair (t, t), PrimArrayOps arr (:. Z a) t) => arr (:. Z a) t -> a -> :. (:. Z a) a -> Bool
- constrained :: (t1 -> t) -> t1 -> t
- reglen' :: Primary -> DIM2 -> Scalar Int
- reglenpl' :: Primary -> DIM2 -> Scalar (Nuc, Nuc, Int)
- reglenpr' :: Primary -> DIM2 -> Scalar (Int, Nuc, Nuc)
- empty :: DIM2 -> Scalar Bool

# Documentation

baseLr' :: Primary -> DIM2 -> Scalar (Nuc :!: Nuc)Source

Nucleotide, second one to the right. The assertion allows a size of one or
two to capture special cases of looking outside of the bounds (used by
`justStemF`

in RNAfold).

primary' :: Primary -> DIM2 -> Scalar ((Primary :!: Int) :!: Int)Source

A `Primary`

together with the lowest included nucleotide and the highest
included nucleotide.

primaryPR' :: Primary -> DIM2 -> Scalar ((Primary :!: Int) :!: Int)Source

A `Primary`

together with the lowest included nucleotide and the highest
included nucleotide.

primaryPL' :: Primary -> DIM2 -> Scalar ((Primary :!: Int) :!: Int)Source

A `Primary`

together with the lowest included nucleotide and the highest
included nucleotide.

regionpl' :: Vector Nuc -> DIM2 -> Scalar (Vector Nuc)Source

Vector of nucleotides peeking one nucleotide to the left.

regionpr' :: Vector Nuc -> DIM2 -> Scalar (Vector Nuc)Source

Vector of nucleotides peeaking one nucleotide to the right.

basepairing' :: (Num a, Ord a, MkViennaPair (t, t), PrimArrayOps arr (:. Z a) t) => arr (:. Z a) t -> :. (:. Z a) a -> BoolSource

Tests if (i,j) is a valid base pair.

stackpairing' :: (Enum a, Num a, Ord a, MkViennaPair (t, t), PrimArrayOps arr (:. Z a) t) => arr (:. Z a) t -> a -> :. (:. Z a) a -> BoolSource

constrained :: (t1 -> t) -> t1 -> tSource