Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Control.Effect.Parameterised.ExtensibleState
Documentation
modify :: (IsMember v s m, Updatable v t m n) => Var v -> (s -> t) -> State (Map m) (Map n) () Source #
ifThenElse :: Bool -> a -> a -> a Source #
effect-monad-0.8.1.0: Embeds effect systems and program logics into Haskell using graded monads and parameterised monads
Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Control.Effect.Parameterised.ExtensibleState
modify :: (IsMember v s m, Updatable v t m n) => Var v -> (s -> t) -> State (Map m) (Map n) () Source #
ifThenElse :: Bool -> a -> a -> a Source #