Marionette.Types

newtype Controller msg sta

A controller is defined as a computation that runs in Aff when given an implementation to send messages, a low level State implementation along with the current a messsage that has been triggered.

Constructors

• Controller (SendMsg msg Aff -> State sta Aff -> msg -> Aff Unit)

Instances

• Newtype (Controller msg sta) _

newtype Renderer msg sta

Type variables:

• msg message type of your program
• sta state type of your program

Record fields:

• onInit runs before the state machine starts
• onState runs on every state update
• onFinish runs before the state machine exits

Constructors

• Renderer { onFinish :: Aff Unit, onInit :: (msg -> Aff Unit) -> Aff Unit, onState :: sta -> (msg -> Aff Unit) -> Aff Unit }

Instances

• Newtype (Renderer msg sta) _

type SendMsg :: Type -> (Type -> Type) -> Typetype SendMsg msg m = msg -> m Unit

Defines how messages can be triggered by the runtime

newtype State :: Type -> (Type -> Type) -> Typenewtype State s m

Low level state implementation that allows to derive reading and updating state functions

Constructors

• State (forall a. (s -> Tuple a s) -> m a)