Safe Haskell	None
Language	Haskell2010

Biobase.Types.Names

Contents

Int-internalized species names.
Internalize taxonomic rank names

Description

Names for biological things.

Species names are internalized and represented as an Int. This allows using them in structures like an IntMap.

For other names, we newtype-wrap normal text internalization.

Synopsis

Int-internalized species names.

newtype SpeciesName Source #

A species name. Represented with an Int, but behaves like a Text.

Constructors

SpeciesName
Fields getSpeciesNameRep :: Int

Instances

Eq SpeciesName Source #
Methods (==) :: SpeciesName -> SpeciesName -> Bool # (/=) :: SpeciesName -> SpeciesName -> Bool #
Ord SpeciesName Source #
Methods compare :: SpeciesName -> SpeciesName -> Ordering # (<) :: SpeciesName -> SpeciesName -> Bool # (<=) :: SpeciesName -> SpeciesName -> Bool # (>) :: SpeciesName -> SpeciesName -> Bool # (>=) :: SpeciesName -> SpeciesName -> Bool # max :: SpeciesName -> SpeciesName -> SpeciesName # min :: SpeciesName -> SpeciesName -> SpeciesName #
Read SpeciesName Source #
Methods readsPrec :: Int -> ReadS SpeciesName # readList :: ReadS [SpeciesName] # readPrec :: ReadPrec SpeciesName # readListPrec :: ReadPrec [SpeciesName] #
Show SpeciesName Source #
Methods showsPrec :: Int -> SpeciesName -> ShowS # show :: SpeciesName -> String # showList :: [SpeciesName] -> ShowS #
IsString SpeciesName Source #
Methods fromString :: String -> SpeciesName #
Generic SpeciesName Source #
Associated Types type Rep SpeciesName :: * -> * # Methods from :: SpeciesName -> Rep SpeciesName x # to :: Rep SpeciesName x -> SpeciesName #
Hashable SpeciesName Source #
Methods hashWithSalt :: Int -> SpeciesName -> Int # hash :: SpeciesName -> Int #
ToJSON SpeciesName Source #
Methods toJSON :: SpeciesName -> Value # toEncoding :: SpeciesName -> Encoding # toJSONList :: [SpeciesName] -> Value # toEncodingList :: [SpeciesName] -> Encoding #
FromJSON SpeciesName Source #
Methods parseJSON :: Value -> Parser SpeciesName # parseJSONList :: Value -> Parser [SpeciesName] #
Binary SpeciesName Source #
Methods put :: SpeciesName -> Put # get :: Get SpeciesName # putList :: [SpeciesName] -> Put #
Serialize SpeciesName Source #
Methods put :: Putter SpeciesName # get :: Get SpeciesName #
NFData SpeciesName Source #
Methods rnf :: SpeciesName -> () #
Unbox SpeciesName Source #

ConvertibleStrings Text SpeciesName Source #
Methods convertString :: Text -> SpeciesName #
ConvertibleStrings SpeciesName Text Source #
Methods convertString :: SpeciesName -> Text #
Vector Vector SpeciesName Source #
Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) SpeciesName -> m (Vector SpeciesName) # basicUnsafeThaw :: PrimMonad m => Vector SpeciesName -> m (Mutable Vector (PrimState m) SpeciesName) # basicLength :: Vector SpeciesName -> Int # basicUnsafeSlice :: Int -> Int -> Vector SpeciesName -> Vector SpeciesName # basicUnsafeIndexM :: Monad m => Vector SpeciesName -> Int -> m SpeciesName # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) SpeciesName -> Vector SpeciesName -> m () # elemseq :: Vector SpeciesName -> SpeciesName -> b -> b #
MVector MVector SpeciesName Source #
Methods basicLength :: MVector s SpeciesName -> Int # basicUnsafeSlice :: Int -> Int -> MVector s SpeciesName -> MVector s SpeciesName # basicOverlaps :: MVector s SpeciesName -> MVector s SpeciesName -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) SpeciesName) # basicInitialize :: PrimMonad m => MVector (PrimState m) SpeciesName -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> SpeciesName -> m (MVector (PrimState m) SpeciesName) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) SpeciesName -> Int -> m SpeciesName # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) SpeciesName -> Int -> SpeciesName -> m () # basicClear :: PrimMonad m => MVector (PrimState m) SpeciesName -> m () # basicSet :: PrimMonad m => MVector (PrimState m) SpeciesName -> SpeciesName -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) SpeciesName -> MVector (PrimState m) SpeciesName -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) SpeciesName -> MVector (PrimState m) SpeciesName -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) SpeciesName -> Int -> m (MVector (PrimState m) SpeciesName) #
type Rep SpeciesName Source #
type Rep SpeciesName = D1 (MetaData "SpeciesName" "Biobase.Types.Names" "BiobaseTypes-0.1.2.1-1LTYzU1e5OWItpBBqXiV1g" True) (C1 (MetaCons "SpeciesName" PrefixI True) (S1 (MetaSel (Just Symbol "getSpeciesNameRep") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))
data Vector SpeciesName Source #
data Vector SpeciesName = V_SpeciesName (Vector Int)
data MVector s SpeciesName Source #
data MVector s SpeciesName = MV_SpeciesName (MVector s Int)

speciesName :: Text -> SpeciesName Source #

Smart constructor that performs the correct internalization.

Internalize taxonomic rank names

newtype TaxonomicRank Source #

The taxonomic rank. This encodes the name for a given rank.

Constructors

TaxonomicRank
Fields getTaxonomicRank :: InternedText

Instances

Eq TaxonomicRank Source #
Methods (==) :: TaxonomicRank -> TaxonomicRank -> Bool # (/=) :: TaxonomicRank -> TaxonomicRank -> Bool #
Ord TaxonomicRank Source #
Methods compare :: TaxonomicRank -> TaxonomicRank -> Ordering # (<) :: TaxonomicRank -> TaxonomicRank -> Bool # (<=) :: TaxonomicRank -> TaxonomicRank -> Bool # (>) :: TaxonomicRank -> TaxonomicRank -> Bool # (>=) :: TaxonomicRank -> TaxonomicRank -> Bool # max :: TaxonomicRank -> TaxonomicRank -> TaxonomicRank # min :: TaxonomicRank -> TaxonomicRank -> TaxonomicRank #
Read TaxonomicRank Source #
Methods readsPrec :: Int -> ReadS TaxonomicRank # readList :: ReadS [TaxonomicRank] # readPrec :: ReadPrec TaxonomicRank # readListPrec :: ReadPrec [TaxonomicRank] #
Show TaxonomicRank Source #
Methods showsPrec :: Int -> TaxonomicRank -> ShowS # show :: TaxonomicRank -> String # showList :: [TaxonomicRank] -> ShowS #
IsString TaxonomicRank Source #
Methods fromString :: String -> TaxonomicRank #
Generic TaxonomicRank Source #
Associated Types type Rep TaxonomicRank :: * -> * # Methods from :: TaxonomicRank -> Rep TaxonomicRank x # to :: Rep TaxonomicRank x -> TaxonomicRank #
Hashable TaxonomicRank Source #
Methods hashWithSalt :: Int -> TaxonomicRank -> Int # hash :: TaxonomicRank -> Int #
ToJSON TaxonomicRank Source #
Methods toJSON :: TaxonomicRank -> Value # toEncoding :: TaxonomicRank -> Encoding # toJSONList :: [TaxonomicRank] -> Value # toEncodingList :: [TaxonomicRank] -> Encoding #
FromJSON TaxonomicRank Source #
Methods parseJSON :: Value -> Parser TaxonomicRank # parseJSONList :: Value -> Parser [TaxonomicRank] #
Binary TaxonomicRank Source #
Methods put :: TaxonomicRank -> Put # get :: Get TaxonomicRank # putList :: [TaxonomicRank] -> Put #
Serialize TaxonomicRank Source #
Methods put :: Putter TaxonomicRank # get :: Get TaxonomicRank #
NFData TaxonomicRank Source #
Methods rnf :: TaxonomicRank -> () #
ConvertibleStrings Text TaxonomicRank Source #
Methods convertString :: Text -> TaxonomicRank #
ConvertibleStrings TaxonomicRank Text Source #
Methods convertString :: TaxonomicRank -> Text #
type Rep TaxonomicRank Source #
type Rep TaxonomicRank = D1 (MetaData "TaxonomicRank" "Biobase.Types.Names" "BiobaseTypes-0.1.2.1-1LTYzU1e5OWItpBBqXiV1g" True) (C1 (MetaCons "TaxonomicRank" PrefixI True) (S1 (MetaSel (Just Symbol "getTaxonomicRank") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 InternedText)))