Control.Effect.Parameterised.AtomicState

Documentation

get :: State (Closed s) (Open s) s

put :: t -> State (Open s) (Closed t) ()

data Closed s

Instances

Show s => Show (Closed s)

Methods

showsPrec :: Int -> Closed s -> ShowS

show :: Closed s -> String

showList :: [Closed s] -> ShowS

data Open s

Instances

Show s => Show (Open s)

Methods

showsPrec :: Int -> Open s -> ShowS

show :: Open s -> String

showList :: [Open s] -> ShowS

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'