Safe Haskell | None |
---|---|
Language | Haskell2010 |
- newtype Accession t = Accession {}
- accession :: Stringable s => s -> Accession t
- tagAccession :: Accession f -> Accession t
- data Nucleotide
- data Protein
- data Clan
- data Pfam
- data Rfam
- data Species
Accession
with phantom types.
The accession number is a unique identifier in bioinformatics.
Depending on the source, accession numbers follow different alphanumeric formats! While letters-than-numbers is quite common, swissprot uses a mix. Hence, we just use a text string as accession.
A phantom type is provided to enable type safety annotations. Helper
functions provide smart construction from the Accession
tagged generic
type.
accession :: Stringable s => s -> Accession t Source
tagAccession :: Accession f -> Accession t Source
NCBI phantom types
data Nucleotide Source
nucleotide sequence