Safe Haskell	None
Language	Haskell2010

Motor.FSM.Sugar

Description

Syntactic sugar for MonadFSM types, adding appropriate row constraints and hiding complexity of the internal implementation.

Synopsis

data Action
- = Add Type
- | Remain Type
- | To Type Type
- | Delete Type
data ActionMapping = (:=) Symbol Action
type family FromActions (as :: [ActionMapping]) (rs :: Row *) (c :: Constraint) :: (Row *, Constraint) where ...
type NoActions m (r :: Row *) a = m r r a
type Actions m as (i :: Row *) a = forall o c. (FromActions as i NoConstraint ~ '(o, c), c) => m i o a
type OnlyActions m as a = Actions m as Empty a
type Get m (r :: Row *) n = m r r (r .! n)
type (!-->) i o = To i o
type (!+) (n :: Symbol) s = n := Add s
type (!-) (n :: Symbol) s = n := Delete s

Documentation

An Action describes a resource action.

Constructors

Add Type	Adds a new resource of the given `Type`.
Remain Type	The existing resource of the given `Type` remains the same.
To Type Type	Transitions an existing resource from the first `Type` to a resource of the second `Type`.
Delete Type	Deletes an existing resource of the given `Type`.

Mapping from Symbol to some action a.

Constructors

type family FromActions (as :: [ActionMapping]) (rs :: Row *) (c :: Constraint) :: (Row *, Constraint) where ... Source #

Translates a list of Actions to a Row.

Equations

FromActions '[] rs c = '(rs, c)
FromActions ((n := Add a) ': ts) r c = FromActions ts (Extend n a r) (c, (Extend n a r .! n) ~ a)
FromActions ((n := Delete a) ': ts) r c = FromActions ts (r .- n) (c, (r .! n) ~ a)
FromActions ((n := To a b) ': ts) r c = FromActions ts ((n .== b) .// r) (c, (r .! n) ~ a, (((n .== b) .// r) .! n) ~ b)
FromActions ((n := Remain a) ': ts) r c = FromActions ts r (c, (r .! n) ~ a)

type NoActions m (r :: Row *) a = m r r a Source #

Alias for MonadFSM that includes no actions.

type Actions m as (i :: Row *) a = forall o c. (FromActions as i NoConstraint ~ '(o, c), c) => m i o a Source #

Alias for MonadFSM that uses FromActions to construct rows.

Alias for MonadFSM that uses FromActions to construct rows, starting from an Empty row, i.e. allowing no other resources.

type Get m (r :: Row *) n = m r r (r .! n) Source #

Gets an existing resource in state s.

type (!-->) i o = To i o infixl 6 Source #

Infix version of To.

type (!+) (n :: Symbol) s = n := Add s infix 6 Source #

Add a named resource. Alias of Add.

type (!-) (n :: Symbol) s = n := Delete s infix 6 Source #

Delete a named resource. Alias of Delete.