Motor.FSM.Class

The MonadFSM class is the indexed monad for finite-state machines.

Documentation

class IxMonad m => MonadFSM m where

An indexed monad for finite-state machines, managing the state of named resources.

Minimal complete definition

new, delete, enter

Methods

new :: Name n -> a -> m r (Extend n a r) ()

Creates a new resource and returns its Name.

delete :: Name n -> m r (r :- n) ()

Deletes an existing resource named by its Name.

enter :: Name n -> b -> m r ((n ::= b) :| (r :- n)) ()

Replaces the state of an existing resource named by its Name.

Instances

Monad m => MonadFSM (FSM m)

Methods

new :: Name n -> a -> FSM m r (Extend n a r) ()

delete :: Name n -> FSM m r (r :- n) ()

enter :: Name n -> b -> FSM m r ((* ::= n) b :| (r :- n)) ()

data Name n where

A name of a resource, represented using a Symbol.

Constructors

Name :: KnownSymbol n => Name n