effect-monad-0.8.1.0: Embeds effect systems and program logics into Haskell using graded monads and parameterised monads
Control.Effect.Parameterised.State
newtype State s1 s2 a Source #
Constructors
Fields
Instances
Methods
return :: a -> pm inv inv a Source #
(>>=) :: pm pre interm t -> (t -> pm interm post t') -> pm pre post t' Source #