Biobase.Primary.Nuc.DNA

Documentation

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)

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.

dnaSeq :: MkPrimary p DNA n => p -> Primary DNA n

Orphan instances

LetterChar DNA (n :: k)

Methods

letterChar :: Letter DNA n -> Char

charLetter :: Char -> Letter DNA n

MkPrimary (Vector Char) DNA (n :: k)

Methods

primary :: Vector Char -> Primary DNA n

IsString [Letter DNA n]

Methods

fromString :: String -> [Letter DNA n]

Bounded (Letter DNA n)

Methods

minBound :: Letter DNA n

maxBound :: Letter DNA n

Enum (Letter DNA n)

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)

Methods

readsPrec :: Int -> ReadS (Letter DNA n)

readList :: ReadS [Letter DNA n]

readPrec :: ReadPrec (Letter DNA n)

readListPrec :: ReadPrec [Letter DNA n]

Show (Letter DNA n)

Methods

showsPrec :: Int -> Letter DNA n -> ShowS

show :: Letter DNA n -> String

showList :: [Letter DNA n] -> ShowS