ModuleAgda-2.8.0.2Haskell2010
Agda.Interaction.Command
- 1 type
- 4 values
- PackageAgda-2.8.0.2
- Exports5
- LanguageHaskell2010
- LicenceMIT
- SourceCommand.hs
Restore both TCState and CommandState.
Restore TCState, do not touch CommandState.
value
revLift :: MonadState st m=> (forall c. m c -> st -> k (c, st))run
-> (forall b. k b -> m b)lift
-> (forall x. (m a -> k x) -> k x)-> m areverse lift in double negative position
Build an opposite action to lift for state monads.
value
revLiftTC :: MonadTCState m=> (forall c. m c -> TCState -> k (c, TCState))run
-> (forall b. k b -> m b)lift
-> (forall x. (m a -> k x) -> k x)-> m areverse lift in double negative position