Control.Effect.Parameterised.ExtensibleState

Documentation

newtype State s1 s2 a

Constructors

State

Fields

• runState :: s1 -> (a, s2)

Instances

PMonad * State

Methods

return :: a -> pm inv inv a

(>>=) :: pm pre interm t -> (t -> pm interm post t') -> pm pre post t'

type Get v t m = IsMember v t m

type Put v t m n = Updatable v t m n

type Update v t m = (Get v t m, Put v t m m)

get :: IsMember v t m => Var v -> State (Map m) (Map m) t

put :: Updatable v t m n => Var v -> t -> State (Map m) (Map n) ()

modify :: (IsMember v s m, Updatable v t m n) => Var v -> (s -> t) -> State (Map m) (Map n) ()

class PMonad (pm :: k -> k -> * -> *) where

Minimal complete definition

return, (>>=)

Methods

return :: a -> pm inv inv a

(>>=) :: pm pre interm t -> (t -> pm interm post t') -> pm pre post t'

Instances

PMonad * SafeFiles

Methods

return :: a -> pm inv inv a

(>>=) :: pm pre interm t -> (t -> pm interm post t') -> pm pre post t'

PMonad * State

Methods

return :: a -> pm inv inv a

(>>=) :: pm pre interm t -> (t -> pm interm post t') -> pm pre post t'

(>>) :: PMonad pm => pm pre mid t -> pm mid post t' -> pm pre post t'

ifThenElse :: Bool -> a -> a -> a

fail :: String -> m inv inv a