Stype.Numeric.Continuous

Documentation

data Continuous a

Data type for continuous numbers.

Constructors

NegContInf

Cont a

ContInf

Instances

Functor Continuous

Defined in Stype.Numeric.Continuous

Methods

fmap :: (a -> b) -> Continuous a -> Continuous b

(<$) :: a -> Continuous b -> Continuous a

Applicative Continuous

Defined in Stype.Numeric.Continuous

Methods

pure :: a -> Continuous a

(<*>) :: Continuous (a -> b) -> Continuous a -> Continuous b

liftA2 :: (a -> b -> c) -> Continuous a -> Continuous b -> Continuous c

(*>) :: Continuous a -> Continuous b -> Continuous b

(<*) :: Continuous a -> Continuous b -> Continuous a

Eq a => Eq (Continuous a)

Defined in Stype.Numeric.Continuous

Methods

(==) :: Continuous a -> Continuous a -> Bool

(/=) :: Continuous a -> Continuous a -> Bool

Num a => Num (Continuous a)

Defined in Stype.Numeric.Continuous

Methods

(+) :: Continuous a -> Continuous a -> Continuous a

(-) :: Continuous a -> Continuous a -> Continuous a

(*) :: Continuous a -> Continuous a -> Continuous a

negate :: Continuous a -> Continuous a

abs :: Continuous a -> Continuous a

signum :: Continuous a -> Continuous a

fromInteger :: Integer -> Continuous a

Ord a => Ord (Continuous a)

Defined in Stype.Numeric.Continuous

Methods

compare :: Continuous a -> Continuous a -> Ordering

(<) :: Continuous a -> Continuous a -> Bool

(<=) :: Continuous a -> Continuous a -> Bool

(>) :: Continuous a -> Continuous a -> Bool

(>=) :: Continuous a -> Continuous a -> Bool

max :: Continuous a -> Continuous a -> Continuous a

min :: Continuous a -> Continuous a -> Continuous a

Show a => Show (Continuous a)

Defined in Stype.Numeric.Continuous

Methods

showsPrec :: Int -> Continuous a -> ShowS

show :: Continuous a -> String

showList :: [Continuous a] -> ShowS

Generic (Continuous a)

Defined in Stype.Numeric.Continuous

Associated Types

type Rep (Continuous a) :: Type -> Type

Methods

from :: Continuous a -> Rep (Continuous a) x

to :: Rep (Continuous a) x -> Continuous a

ToJSON a => ToJSON (Continuous a)

Defined in Stype.Aeson

Methods

toJSON :: Continuous a -> Value

toEncoding :: Continuous a -> Encoding

toJSONList :: [Continuous a] -> Value

toEncodingList :: [Continuous a] -> Encoding

type Rep (Continuous a)

Defined in Stype.Numeric.Continuous

type Rep (Continuous a) = D1 ('MetaData "Continuous" "Stype.Numeric.Continuous" "hasklepias-0.17.0-inplace" 'False) (C1 ('MetaCons "NegContInf" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Cont" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "ContInf" 'PrefixI 'False) (U1 :: Type -> Type)))

data NonnegContinuous a

Data type for nonnegative continuous numbers.

Constructors

NonNegCont a

NonNegContInf

Instances

Eq a => Eq (NonnegContinuous a)

Defined in Stype.Numeric.Continuous

Methods

(==) :: NonnegContinuous a -> NonnegContinuous a -> Bool

(/=) :: NonnegContinuous a -> NonnegContinuous a -> Bool

Ord a => Ord (NonnegContinuous a)

Defined in Stype.Numeric.Continuous

Methods

compare :: NonnegContinuous a -> NonnegContinuous a -> Ordering

(<) :: NonnegContinuous a -> NonnegContinuous a -> Bool

(<=) :: NonnegContinuous a -> NonnegContinuous a -> Bool

(>) :: NonnegContinuous a -> NonnegContinuous a -> Bool

(>=) :: NonnegContinuous a -> NonnegContinuous a -> Bool

max :: NonnegContinuous a -> NonnegContinuous a -> NonnegContinuous a

min :: NonnegContinuous a -> NonnegContinuous a -> NonnegContinuous a

Show a => Show (NonnegContinuous a)

Defined in Stype.Numeric.Continuous

Methods

showsPrec :: Int -> NonnegContinuous a -> ShowS

show :: NonnegContinuous a -> String

showList :: [NonnegContinuous a] -> ShowS

Generic (NonnegContinuous a)

Defined in Stype.Numeric.Continuous

Associated Types

type Rep (NonnegContinuous a) :: Type -> Type

Methods

from :: NonnegContinuous a -> Rep (NonnegContinuous a) x

to :: Rep (NonnegContinuous a) x -> NonnegContinuous a

ToJSON a => ToJSON (NonnegContinuous a)

Defined in Stype.Aeson

Methods

toJSON :: NonnegContinuous a -> Value

toEncoding :: NonnegContinuous a -> Encoding

toJSONList :: [NonnegContinuous a] -> Value

toEncodingList :: [NonnegContinuous a] -> Encoding

type Rep (NonnegContinuous a)

Defined in Stype.Numeric.Continuous

type Rep (NonnegContinuous a) = D1 ('MetaData "NonnegContinuous" "Stype.Numeric.Continuous" "hasklepias-0.17.0-inplace" 'False) (C1 ('MetaCons "NonNegCont" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "NonNegContInf" 'PrefixI 'False) (U1 :: Type -> Type))

newtype EventTime a

Data type for event times.

Constructors

EventTime

Fields

• getEventTime :: NonnegContinuous a

Instances

Eq a => Eq (EventTime a)

Defined in Stype.Numeric.Continuous

Methods

(==) :: EventTime a -> EventTime a -> Bool

(/=) :: EventTime a -> EventTime a -> Bool

Ord a => Ord (EventTime a)

Defined in Stype.Numeric.Continuous

Methods

compare :: EventTime a -> EventTime a -> Ordering

(<) :: EventTime a -> EventTime a -> Bool

(<=) :: EventTime a -> EventTime a -> Bool

(>) :: EventTime a -> EventTime a -> Bool

(>=) :: EventTime a -> EventTime a -> Bool

max :: EventTime a -> EventTime a -> EventTime a

min :: EventTime a -> EventTime a -> EventTime a

Show a => Show (EventTime a)

Defined in Stype.Numeric.Continuous

Methods

showsPrec :: Int -> EventTime a -> ShowS

show :: EventTime a -> String

showList :: [EventTime a] -> ShowS

Generic (EventTime a)

Defined in Stype.Numeric.Continuous

Associated Types

type Rep (EventTime a) :: Type -> Type

Methods

from :: EventTime a -> Rep (EventTime a) x

to :: Rep (EventTime a) x -> EventTime a

ToJSON a => ToJSON (EventTime a)

Defined in Stype.Aeson

Methods

toJSON :: EventTime a -> Value

toEncoding :: EventTime a -> Encoding

toJSONList :: [EventTime a] -> Value

toEncodingList :: [EventTime a] -> Encoding

(Ord a, Show a) => Censorable (EventTime a)

Defined in Stype.Numeric

Methods

parseIntervalCensor :: EventTime a -> EventTime a -> Either ParseIntervalError (MaybeCensored (EventTime a))

rightCensor :: EventTime a -> EventTime a -> MaybeCensored (EventTime a)

leftCensor :: EventTime a -> EventTime a -> MaybeCensored (EventTime a)

type Rep (EventTime a)

Defined in Stype.Numeric.Continuous

type Rep (EventTime a) = D1 ('MetaData "EventTime" "Stype.Numeric.Continuous" "hasklepias-0.17.0-inplace" 'True) (C1 ('MetaCons "EventTime" 'PrefixI 'True) (S1 ('MetaSel ('Just "getEventTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonnegContinuous a))))

mkEventTime :: Maybe a -> EventTime a

Create an event time from a Maybe.