Safe Haskell	None
Language	Haskell2010

Epidemic.Types.Parameter

Synopsis

type Time = Double
newtype Timed a = Timed [(Time, a)]
type Rate = Double
type Probability = Double
asTimed :: Num a => [(Time, a)] -> Maybe (Timed a)
isAscending :: Ord a => [a] -> Bool
cadlagValue :: Timed a -> Time -> Maybe a
cadlagValue' :: [(Time, a)] -> Time -> Maybe a
diracDeltaValue :: Timed a -> Time -> Maybe a
diracDeltaValue' :: [(Time, a)] -> Time -> Maybe a
hasTime :: Timed a -> Time -> Bool
hasTime' :: [(Time, a)] -> Time -> Bool
nextTime :: Timed a -> Time -> Maybe Time
nextTime' :: [(Time, a)] -> Time -> Maybe Time

Documentation

type Time = Double Source #

newtype Timed a Source #

Type containing values at times. The times are increasing as required by asTimed.

Constructors

Timed [(Time, a)]

Instances

Eq a => Eq (Timed a) Source #
Instance details Defined in Epidemic.Types.Parameter Methods (==) :: Timed a -> Timed a -> Bool # (/=) :: Timed a -> Timed a -> Bool #
Show a => Show (Timed a) Source #
Instance details Defined in Epidemic.Types.Parameter Methods showsPrec :: Int -> Timed a -> ShowS # show :: Timed a -> String # showList :: [Timed a] -> ShowS #
Generic (Timed a) Source #
Instance details Defined in Epidemic.Types.Parameter Associated Types type Rep (Timed a) :: Type -> Type # Methods from :: Timed a -> Rep (Timed a) x # to :: Rep (Timed a) x -> Timed a #
Semigroup (Timed a) Source #
Instance details Defined in Epidemic.Types.Parameter Methods (<>) :: Timed a -> Timed a -> Timed a # sconcat :: NonEmpty (Timed a) -> Timed a # stimes :: Integral b => b -> Timed a -> Timed a #
ToJSON a => ToJSON (Timed a) Source #
Instance details Defined in Epidemic.Types.Parameter Methods toJSON :: Timed a -> Value # toEncoding :: Timed a -> Encoding # toJSONList :: [Timed a] -> Value # toEncodingList :: [Timed a] -> Encoding #
FromJSON a => FromJSON (Timed a) Source #
Instance details Defined in Epidemic.Types.Parameter Methods parseJSON :: Value -> Parser (Timed a) # parseJSONList :: Value -> Parser [Timed a] #
type Rep (Timed a) Source #
Instance details Defined in Epidemic.Types.Parameter type Rep (Timed a) = D1 (MetaData "Timed" "Epidemic.Types.Parameter" "epi-sim-0.2.2.0-Ha1De45mQngC03CdEKHswB" True) (C1 (MetaCons "Timed" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(Time, a)])))