Safe Haskell	None
Language	Haskell2010

Epidemic.Types.Population

Synopsis

newtype Person = Person Integer
newtype People = People (Vector Person)
asPeople :: [Person] -> People
includesPerson :: People -> Person -> Bool
haveCommonPeople :: People -> People -> Bool
nullPeople :: People -> Bool
numPeople :: People -> Int
addPerson :: Person -> People -> People
removePerson :: Person -> People -> People
personByteString :: Person -> Builder

Documentation

newtype Person Source #

Constructors

Person Integer

Instances

Eq Person Source #
Instance details Defined in Epidemic.Types.Population Methods (==) :: Person -> Person -> Bool # (/=) :: Person -> Person -> Bool #
Show Person Source #
Instance details Defined in Epidemic.Types.Population Methods showsPrec :: Int -> Person -> ShowS # show :: Person -> String # showList :: [Person] -> ShowS #
Generic Person Source #
Instance details Defined in Epidemic.Types.Population Associated Types type Rep Person :: Type -> Type # Methods from :: Person -> Rep Person x # to :: Rep Person x -> Person #
ToJSON Person Source #
Instance details Defined in Epidemic.Types.Population Methods toJSON :: Person -> Value # toEncoding :: Person -> Encoding # toJSONList :: [Person] -> Value # toEncodingList :: [Person] -> Encoding #
FromJSON Person Source #
Instance details Defined in Epidemic.Types.Population Methods parseJSON :: Value -> Parser Person # parseJSONList :: Value -> Parser [Person] #
FromField Person Source #
Instance details Defined in Epidemic.Types.Population Methods parseField :: Field -> Parser Person #
ToField Person Source #
Instance details Defined in Epidemic.Types.Population Methods toField :: Person -> Field #
type Rep Person Source #
Instance details Defined in Epidemic.Types.Population type Rep Person = D1 (MetaData "Person" "Epidemic.Types.Population" "epi-sim-0.2.2.0-Ha1De45mQngC03CdEKHswB" True) (C1 (MetaCons "Person" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))

newtype People Source #

Constructors

People (Vector Person)

Instances

Eq People Source #
Instance details Defined in Epidemic.Types.Population Methods (==) :: People -> People -> Bool # (/=) :: People -> People -> Bool #
Show People Source #
Instance details Defined in Epidemic.Types.Population Methods showsPrec :: Int -> People -> ShowS # show :: People -> String # showList :: [People] -> ShowS #
Generic People Source #
Instance details Defined in Epidemic.Types.Population Associated Types type Rep People :: Type -> Type # Methods from :: People -> Rep People x # to :: Rep People x -> People #
ToJSON People Source #
Instance details Defined in Epidemic.Types.Population Methods toJSON :: People -> Value # toEncoding :: People -> Encoding # toJSONList :: [People] -> Value # toEncodingList :: [People] -> Encoding #
FromJSON People Source #
Instance details Defined in Epidemic.Types.Population Methods parseJSON :: Value -> Parser People # parseJSONList :: Value -> Parser [People] #
FromField People Source #
Instance details Defined in Epidemic.Types.Population Methods parseField :: Field -> Parser People #
ToField People Source #
Instance details Defined in Epidemic.Types.Population Methods toField :: People -> Field #
type Rep People Source #
Instance details Defined in Epidemic.Types.Population type Rep People = D1 (MetaData "People" "Epidemic.Types.Population" "epi-sim-0.2.2.0-Ha1De45mQngC03CdEKHswB" True) (C1 (MetaCons "People" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Vector Person))))

asPeople :: [Person] -> People Source #

A list of persons as a people

includesPerson :: People -> Person -> Bool Source #

Predicate for whether a person is one of the people

haveCommonPeople :: People -> People -> Bool Source #

Predicate for whether two sets of people have any members in common.

nullPeople :: People -> Bool Source #

Predicate for whether there are any people

numPeople :: People -> Int Source #

The number of people

addPerson :: Person -> People -> People Source #

Add a person to a group of people

removePerson :: Person -> People -> People Source #

Remove a person from a group of people

personByteString :: Person -> Builder Source #

A bytestring builder for a person