Epidemic.Types.Population

Documentation

newtype Person

A type to represent a single person in a group of People

Constructors

Person Identifier

Instances

Eq Person

Defined in Epidemic.Types.Population

Methods

(==) :: Person -> Person -> Bool

(/=) :: Person -> Person -> Bool

Show Person

Defined in Epidemic.Types.Population

Methods

showsPrec :: Int -> Person -> ShowS

show :: Person -> String

showList :: [Person] -> ShowS

Generic Person

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

Defined in Epidemic.Types.Population

Methods

toJSON :: Person -> Value

toEncoding :: Person -> Encoding

toJSONList :: [Person] -> Value

toEncodingList :: [Person] -> Encoding

FromJSON Person

Defined in Epidemic.Types.Population

Methods

parseJSON :: Value -> Parser Person

parseJSONList :: Value -> Parser [Person]

type Rep Person

Defined in Epidemic.Types.Population

type Rep Person = D1 ('MetaData "Person" "Epidemic.Types.Population" "epi-sim-0.4.2-4l1mCHWa7vKLa54bgYWgDR" 'True) (C1 ('MetaCons "Person" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Identifier)))

newtype People

A type to represent a population.

Constructors

People (Vector Person)

Instances

Eq People

Defined in Epidemic.Types.Population

Methods

(==) :: People -> People -> Bool

(/=) :: People -> People -> Bool

Show People

Defined in Epidemic.Types.Population

Methods

showsPrec :: Int -> People -> ShowS

show :: People -> String

showList :: [People] -> ShowS

Generic People

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

Defined in Epidemic.Types.Population

Methods

toJSON :: People -> Value

toEncoding :: People -> Encoding

toJSONList :: [People] -> Value

toEncodingList :: [People] -> Encoding

FromJSON People

Defined in Epidemic.Types.Population

Methods

parseJSON :: Value -> Parser People

parseJSONList :: Value -> Parser [People]

type Rep People

Defined in Epidemic.Types.Population

type Rep People = D1 ('MetaData "People" "Epidemic.Types.Population" "epi-sim-0.4.2-4l1mCHWa7vKLa54bgYWgDR" 'True) (C1 ('MetaCons "People" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector Person))))

class Population a where

Class of types that can represent populations in an epidemic simulation.

Methods

susceptiblePeople :: a -> Maybe People

infectiousPeople :: a -> Maybe People

removedPeople :: a -> Maybe People

isInfected :: a -> Bool

Instances

Population LogisticBDSDPopulation

Defined in Epidemic.Model.LogisticBDSD

Methods

susceptiblePeople :: LogisticBDSDPopulation -> Maybe People

infectiousPeople :: LogisticBDSDPopulation -> Maybe People

removedPeople :: LogisticBDSDPopulation -> Maybe People

isInfected :: LogisticBDSDPopulation -> Bool

Population InhomBDSPop

Defined in Epidemic.Model.InhomogeneousBDS

Methods

susceptiblePeople :: InhomBDSPop -> Maybe People

infectiousPeople :: InhomBDSPop -> Maybe People

removedPeople :: InhomBDSPop -> Maybe People

isInfected :: InhomBDSPop -> Bool

Population BDSCODPopulation

Defined in Epidemic.Model.BDSCOD

Methods

susceptiblePeople :: BDSCODPopulation -> Maybe People

infectiousPeople :: BDSCODPopulation -> Maybe People

removedPeople :: BDSCODPopulation -> Maybe People

isInfected :: BDSCODPopulation -> Bool

newtype Identifier

A type to hold an integer which is unique to each Person.

Constructors

Identifier Integer

Instances

Eq Identifier

Defined in Epidemic.Types.Population

Methods

(==) :: Identifier -> Identifier -> Bool

(/=) :: Identifier -> Identifier -> Bool

Show Identifier

Defined in Epidemic.Types.Population

Methods

showsPrec :: Int -> Identifier -> ShowS

show :: Identifier -> String

showList :: [Identifier] -> ShowS

Generic Identifier

Defined in Epidemic.Types.Population

Associated Types

type Rep Identifier :: Type -> Type

Methods

from :: Identifier -> Rep Identifier x

to :: Rep Identifier x -> Identifier

ToJSON Identifier

Defined in Epidemic.Types.Population

Methods

toJSON :: Identifier -> Value

toEncoding :: Identifier -> Encoding

toJSONList :: [Identifier] -> Value

toEncodingList :: [Identifier] -> Encoding

FromJSON Identifier

Defined in Epidemic.Types.Population

Methods

parseJSON :: Value -> Parser Identifier

parseJSONList :: Value -> Parser [Identifier]

type Rep Identifier

Defined in Epidemic.Types.Population

type Rep Identifier = D1 ('MetaData "Identifier" "Epidemic.Types.Population" "epi-sim-0.4.2-4l1mCHWa7vKLa54bgYWgDR" 'True) (C1 ('MetaCons "Identifier" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

asPeople :: [Person] -> People

A list of persons as a people

includesPerson :: People -> Person -> Bool

Predicate for whether a person is one of the people

haveCommonPeople :: People -> People -> Bool

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

nullPeople :: People -> Bool

Predicate for whether there are any people

numPeople :: People -> Int

The number of people

addPerson :: Person -> People -> People

Add a person to a group of people

removePerson :: Person -> People -> People

Remove a person from a group of people

personByteString :: Person -> Builder

A bytestring builder for a person