Copyright | (c) 2023 Yamada Ryo |
---|---|
License | MPL-2.0 (see the file LICENSE) |
Maintainer | ymdfield@outlook.jp |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | GHC2021 |
Documentation
class State s f where Source #
Instances
SendIns (StateI s) f => State s (EffectsVia EffectDataHandler f) Source # | |
Defined in Control.Effect.Class.State get :: EffectsVia EffectDataHandler f s Source # put :: s -> EffectsVia EffectDataHandler f () Source # |
pattern PutS :: () => a_6989586621679050567 ~ () => s -> LiftIns (StateI s) f a_6989586621679050567 Source #