Wumpus.Basic.Kernel.Base.UserState

User state class for Drawing monads.

Documentation

type family UState m :: *

class (Applicative m, Monad m) => UserStateM m where

Methods

getState :: st ~ UState m => m st

setState :: st ~ UState m => st -> m ()

updateState :: st ~ UState m => (st -> st) -> m ()

Instances

UserStateM (GenChain st u)

UserStateM (GenTraceDrawing st u)