Safe Haskell | None |
---|---|
Language | Haskell2010 |
Convert between different nucleotide representations
Synopsis
- rnaTdna :: forall k1 k2 (n1 :: k1) (n2 :: k2). Letter RNA n1 -> Letter DNA n2
- dnaTrna :: forall k1 k2 (n1 :: k1) (n2 :: k2). Letter DNA n1 -> Letter RNA n2
- rnaGxna :: forall k1 k2 (n1 :: k1) (n2 :: k2). Letter RNA n1 -> Letter XNA n2
- dnaGxna :: forall k1 k2 (n1 :: k1) (n2 :: k2). Letter DNA n1 -> Letter XNA n2
- xnaSrna :: forall k1 k2 (n1 :: k1) (n2 :: k2). Letter XNA n1 -> Letter RNA n2
- xnaSdna :: forall k1 k2 (n1 :: k1) (n2 :: k2). Letter XNA n1 -> Letter DNA n2
Single-character translations.
rnaTdna :: forall k1 k2 (n1 :: k1) (n2 :: k2). Letter RNA n1 -> Letter DNA n2 Source #
Transform RNA to DNA. That means change U
to T
and keep the other
characters as is.
dnaTrna :: forall k1 k2 (n1 :: k1) (n2 :: k2). Letter DNA n1 -> Letter RNA n2 Source #
Transform DNA to RNA. That means change T
to U
and keep the other
characters as is.
rnaGxna :: forall k1 k2 (n1 :: k1) (n2 :: k2). Letter RNA n1 -> Letter XNA n2 Source #
Generalize an RNA character to a XNA character.
dnaGxna :: forall k1 k2 (n1 :: k1) (n2 :: k2). Letter DNA n1 -> Letter XNA n2 Source #
Generalize a DNA character to a XNA character.
xnaSrna :: forall k1 k2 (n1 :: k1) (n2 :: k2). Letter XNA n1 -> Letter RNA n2 Source #
Specialize XNA to RNA, T
becomes N
.
xnaSdna :: forall k1 k2 (n1 :: k1) (n2 :: k2). Letter XNA n1 -> Letter DNA n2 Source #
Specialize XNA to DNA, U
becomes N
.
Transcription between RNA and DNA. Both on the individual sequence level,
Orphan instances
Transcribe (Primary DNA n) Source # | |
type TranscribeTo (Primary DNA n) # transcribe :: Iso' (Primary DNA n) (TranscribeTo (Primary DNA n)) # | |
Transcribe (Primary RNA n) Source # | |
type TranscribeTo (Primary RNA n) # transcribe :: Iso' (Primary RNA n) (TranscribeTo (Primary RNA n)) # | |
Transcribe (Letter DNA n) Source # | |
type TranscribeTo (Letter DNA n) # transcribe :: Iso' (Letter DNA n) (TranscribeTo (Letter DNA n)) # | |
Transcribe (Letter RNA n) Source # | |
type TranscribeTo (Letter RNA n) # transcribe :: Iso' (Letter RNA n) (TranscribeTo (Letter RNA n)) # |