Module

SodiumFRP.Class

data Stream :: Type -> Type

Constructors

data StreamSink :: Type -> Type

data StreamLoop :: Type -> Type

class SodiumStream s  where

newStream :: forall a. Stream a

newStreamSink :: forall a. Maybe (a -> a -> a) -> Effect (StreamSink a)

StreamSinks can be used to send events The optional value is merging function

newStreamLoop :: forall a. Effect (StreamLoop a)

A forward reference for a 'Stream' equivalent to the Stream that is referenced. Must be run in an explicit Transaction

data Cell :: Type -> Type

data CellSink :: Type -> Type

data CellLoop :: Type -> Type

class SodiumCell c  where

newCell :: forall a. a -> Cell a

newCellSink :: forall a. a -> Maybe (a -> a -> a) -> Effect (CellSink a)

newCellLoop :: forall a. Effect (CellLoop a)

A forward reference for a 'Cell' equivalent to the Cell that is referenced. Must be run in an explicit Transaction

class Listenable l  where

Listen for firings of this cell or event. The returned Effect is a function that unregisteres the listener This is the observer pattern.

class Sendable s  where

Send events or change of behavior

Modules: SodiumFRP.Cell; SodiumFRP.Class; SodiumFRP.Lambda; SodiumFRP.Operational; SodiumFRP.Stream; SodiumFRP.Transaction