Copyright	(c) NoviSci Inc 2020
License	BSD3
Maintainer	bsaul@novisci.com
Safe Haskell	Safe
Language	Haskell2010

Stype.Numeric.Continuous

Description

Synopsis

data Continuous a
- = NegContInf
- | Cont a
- | ContInf
data NonnegContinuous a
- = NonNegCont a
- | NonNegContInf
newtype EventTime a = EventTime {
- getEventTime :: NonnegContinuous a
}
mkEventTime :: Maybe a -> EventTime a

Documentation

data Continuous a Source #

Data type for continuous numbers.

Constructors

NegContInf
Cont a
ContInf

Instances

Instances details

Functor Continuous Source #
Instance details Defined in Stype.Numeric.Continuous Methods fmap :: (a -> b) -> Continuous a -> Continuous b # (<$) :: a -> Continuous b -> Continuous a #
Applicative Continuous Source #
Instance details 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) Source #
Instance details Defined in Stype.Numeric.Continuous Methods (==) :: Continuous a -> Continuous a -> Bool # (/=) :: Continuous a -> Continuous a -> Bool #
Num a => Num (Continuous a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Stype.Numeric.Continuous Methods showsPrec :: Int -> Continuous a -> ShowS # show :: Continuous a -> String # showList :: [Continuous a] -> ShowS #
Generic (Continuous a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #

Data type for nonnegative continuous numbers.

Constructors

NonNegCont a
NonNegContInf

Instances

Instances details

Eq a => Eq (NonnegContinuous a) Source #
Instance details Defined in Stype.Numeric.Continuous Methods (==) :: NonnegContinuous a -> NonnegContinuous a -> Bool # (/=) :: NonnegContinuous a -> NonnegContinuous a -> Bool #
Ord a => Ord (NonnegContinuous a) Source #
Instance details 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) Source #
Instance details Defined in Stype.Numeric.Continuous Methods showsPrec :: Int -> NonnegContinuous a -> ShowS # show :: NonnegContinuous a -> String # showList :: [NonnegContinuous a] -> ShowS #
Generic (NonnegContinuous a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #

Data type for event times.

Constructors

EventTime
Fields getEventTime :: NonnegContinuous a

Instances

Instances details

Eq a => Eq (EventTime a) Source #
Instance details Defined in Stype.Numeric.Continuous Methods (==) :: EventTime a -> EventTime a -> Bool # (/=) :: EventTime a -> EventTime a -> Bool #
Ord a => Ord (EventTime a) Source #
Instance details 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) Source #
Instance details Defined in Stype.Numeric.Continuous Methods showsPrec :: Int -> EventTime a -> ShowS # show :: EventTime a -> String # showList :: [EventTime a] -> ShowS #
Generic (EventTime a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Stype.Numeric Methods parseIntervalCensor :: EventTime a -> EventTime a -> Either ParseIntervalError (MaybeCensored (EventTime a)) Source # rightCensor :: EventTime a -> EventTime a -> MaybeCensored (EventTime a) Source # leftCensor :: EventTime a -> EventTime a -> MaybeCensored (EventTime a) Source #
type Rep (EventTime a) Source #
Instance details 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 Source #

Create an event time from a Maybe.