Documentation
class FWMonadState m r | m -> rSource
TypeCast r FWTDefaultMonadState => FWMonadState (FWT t m) r | |
FWMonadState (FWT s m) r => FWMonadState (FWT (:*: x s) m) r | |
FWMonadState (FWT (:*: FWTDefaultMonadState s) m) FWTDefaultMonadState | |
FWMonadState (FWT (:*: FWTDefaultMonadAll s) m) FWTDefaultMonadState |
MonadState s m => Apply (FWPut t s m) FWTDefaultMonadState (s -> FWT t m ()) |