Control.Dsl.State.Put

Documentation

data Put s r a where

Constructors

Put :: s -> Put s r ()

Instances

PolyCont (Put s) (State s r) ()

Defined in Control.Dsl.State.Put

Methods

runPolyCont :: Put s r' () -> (() -> State s r) -> State s r