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