Copyright	© StrIoT maintainers 2021
License	Apache 2.0
Maintainer	StrIoT maintainers
Stability	experimental
Safe Haskell	Safe-Inferred
Language	Haskell2010

Striot.FunctionalIoTtypes

Description

The StrIoT fundamental data types. and functions that operate on them. Import this module to write simple programs directly in terms of these operators and types.

Synopsis

data Event alpha = Event {
- time :: Maybe Timestamp
- value :: Maybe alpha
}
type Stream alpha = [Event alpha]

Documentation

data Event alpha Source #

The fundamental atom within StrIoT is the Event type, which encapsulates either a datum, or the time of an occurence, or both.

Constructors

Event
Fields time :: Maybe Timestamp value :: Maybe alpha

Instances

Instances details

Arbitrary a => Arbitrary (Event a)
Instance details Defined in Striot.FunctionalProcessing Methods arbitrary :: Gen (Event a) shrink :: Event a -> [Event a]
Generic (Event alpha) Source #
Instance details Defined in Striot.FunctionalIoTtypes Associated Types type Rep (Event alpha) :: Type -> Type # Methods from :: Event alpha -> Rep (Event alpha) x # to :: Rep (Event alpha) x -> Event alpha #
Read alpha => Read (Event alpha) Source #
Instance details Defined in Striot.FunctionalIoTtypes Methods readsPrec :: Int -> ReadS (Event alpha) # readList :: ReadS [Event alpha] # readPrec :: ReadPrec (Event alpha) # readListPrec :: ReadPrec [Event alpha] #
Show alpha => Show (Event alpha) Source #
Instance details Defined in Striot.FunctionalIoTtypes Methods showsPrec :: Int -> Event alpha -> ShowS # show :: Event alpha -> String # showList :: [Event alpha] -> ShowS #
Eq alpha => Eq (Event alpha) Source #
Instance details Defined in Striot.FunctionalIoTtypes Methods (==) :: Event alpha -> Event alpha -> Bool # (/=) :: Event alpha -> Event alpha -> Bool #
Ord alpha => Ord (Event alpha) Source #
Instance details Defined in Striot.FunctionalIoTtypes Methods compare :: Event alpha -> Event alpha -> Ordering # (<) :: Event alpha -> Event alpha -> Bool # (<=) :: Event alpha -> Event alpha -> Bool # (>) :: Event alpha -> Event alpha -> Bool # (>=) :: Event alpha -> Event alpha -> Bool # max :: Event alpha -> Event alpha -> Event alpha # min :: Event alpha -> Event alpha -> Event alpha #
Store alpha => Store (Event alpha) Source #
Instance details Defined in Striot.FunctionalIoTtypes Methods size :: Size (Event alpha) poke :: Event alpha -> Poke () peek :: Peek (Event alpha)
type Rep (Event alpha) Source #
Instance details Defined in Striot.FunctionalIoTtypes type Rep (Event alpha) = D1 ('MetaData "Event" "Striot.FunctionalIoTtypes" "striot-0.1.1.0-6Q87NbqvyomLXCKNL92wA5" 'False) (C1 ('MetaCons "Event" 'PrefixI 'True) (S1 ('MetaSel ('Just "time") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Timestamp)) :*: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe alpha))))

type Stream alpha = [Event alpha] Source #

A Stream is simply a list of Events.