Safe Haskell	Safe-Inferred
Language	Haskell2010

Poseidon.AccessionIDs

Synopsis

data AccessionID
- = INSDCProject Text
- | INSDCStudy Text
- | INSDCBioSample Text
- | INSDCSample Text
- | INSDCExperiment Text
- | INSDCRun Text
- | INSDCAnalysis Text
- | OtherID Text
makeAccessionID :: MonadFail m => Text -> m AccessionID

Documentation

data AccessionID Source #

A datatype to represent AccessionIDs in a ssf file

Constructors

INSDCProject Text
INSDCStudy Text
INSDCBioSample Text
INSDCSample Text
INSDCExperiment Text
INSDCRun Text
INSDCAnalysis Text
OtherID Text

Instances

Instances details

Generic AccessionID Source #
Instance details Defined in Poseidon.AccessionIDs Associated Types type Rep AccessionID :: Type -> Type # Methods from :: AccessionID -> Rep AccessionID x # to :: Rep AccessionID x -> AccessionID #
Show AccessionID Source #
Instance details Defined in Poseidon.AccessionIDs Methods showsPrec :: Int -> AccessionID -> ShowS # show :: AccessionID -> String # showList :: [AccessionID] -> ShowS #
Eq AccessionID Source #
Instance details Defined in Poseidon.AccessionIDs Methods (==) :: AccessionID -> AccessionID -> Bool # (/=) :: AccessionID -> AccessionID -> Bool #
Ord AccessionID Source #
Instance details Defined in Poseidon.AccessionIDs Methods compare :: AccessionID -> AccessionID -> Ordering # (<) :: AccessionID -> AccessionID -> Bool # (<=) :: AccessionID -> AccessionID -> Bool # (>) :: AccessionID -> AccessionID -> Bool # (>=) :: AccessionID -> AccessionID -> Bool # max :: AccessionID -> AccessionID -> AccessionID # min :: AccessionID -> AccessionID -> AccessionID #
type Rep AccessionID Source #
Instance details Defined in Poseidon.AccessionIDs type Rep AccessionID = D1 ('MetaData "AccessionID" "Poseidon.AccessionIDs" "poseidon-hs-1.6.8.0-63OGjqSavIv3coVnZU8S97" 'False) (((C1 ('MetaCons "INSDCProject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "INSDCStudy" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: (C1 ('MetaCons "INSDCBioSample" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "INSDCSample" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))) :+: ((C1 ('MetaCons "INSDCExperiment" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "INSDCRun" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: (C1 ('MetaCons "INSDCAnalysis" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "OtherID" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))))

makeAccessionID :: MonadFail m => Text -> m AccessionID Source #