| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Biobase.Primary.Nuc.DNA
Contents
Synopsis
- pattern A :: Letter DNA n
- pattern C :: Letter DNA n
- pattern G :: Letter DNA n
- pattern T :: Letter DNA n
- pattern N :: Letter DNA n
- acgt :: [Letter DNA n]
- charDNA :: forall k (n :: k). Char -> Letter DNA n
- dnaChar :: forall k (n :: k). 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 Chars 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 # | |
Methods fromString :: String -> [Letter DNA n] # | |
| Bounded (Letter DNA n) Source # | |
| Enum (Letter DNA n) Source # | |
Methods 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 # | |