Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- pattern A :: forall k (n :: k). Letter RNA n
- pattern C :: forall k (n :: k). Letter RNA n
- pattern G :: forall k (n :: k). Letter RNA n
- pattern U :: forall k (n :: k). Letter RNA n
- pattern N :: forall k (n :: k). Letter RNA n
- acgu :: [Letter RNA n]
- charRNA :: Char -> Letter RNA n
- rnaChar :: Letter RNA n -> Char
- crna :: Iso' Char (Letter RNA n)
- rnaSeq :: MkPrimary p RNA n => p -> Primary RNA n
Documentation
crna :: Iso' Char (Letter RNA n) Source #
An isomorphism from Char
to 'Letter RNA'. This assumes that the
underlying Char
s actually represent an RNA sequence. This allows typesafe
modification of RNA sequences since only [A,C,G,U,N]
are allowed.
Orphan instances
LetterChar RNA (n :: k) Source # | |
MkPrimary (Vector Char) RNA (n :: k) Source # | |
IsString [Letter RNA n] Source # | |
fromString :: String -> [Letter RNA n] # | |
Bounded (Letter RNA n) Source # | |
Enum (Letter RNA n) Source # | |
succ :: Letter RNA n -> Letter RNA n # pred :: Letter RNA n -> Letter RNA n # toEnum :: Int -> Letter RNA n # fromEnum :: Letter RNA n -> Int # enumFrom :: Letter RNA n -> [Letter RNA n] # enumFromThen :: Letter RNA n -> Letter RNA n -> [Letter RNA n] # enumFromTo :: Letter RNA n -> Letter RNA n -> [Letter RNA n] # enumFromThenTo :: Letter RNA n -> Letter RNA n -> Letter RNA n -> [Letter RNA n] # | |
Read (Letter RNA n) Source # | |
Show (Letter RNA n) Source # | |
ToJSON (Letter RNA n) Source # | |
FromJSON (Letter RNA n) Source # | |