Control.Monad.Classes

State

type MonadState s m

get

put

modify

modify'

gets

Reader

type MonadReader e m

type MonadLocal e m

ask

local

Writer

type MonadWriter w m

tell

Exceptions

type MonadExcept e m

throw

Exec

type MonadExec w m

exec

Core classes and types

Generic lifting

class MonadLiftN n m

Effects

data EffWriter w

data EffReader e

data EffLocal e

data EffState s

data EffExec w

data EffExcept e

N-classes

data Peano

class MonadStateN n s m

class MonadReaderN n r m

class MonadLocalN n r m

class MonadWriterN n w m

class MonadExceptN n e m

class MonadExecN n w m

Type families

type Find eff m

type family FindTrue bs :: Peano

type family MapCanDo eff stack :: [Bool]

type family CanDo m eff :: Bool