grisette-0.4.1.0: Symbolic evaluation as a library
Copyright(c) Sirui Lu 2023
LicenseBSD-3-Clause (see the LICENSE file)
Maintainersiruilu@cs.washington.edu
StabilityExperimental
PortabilityGHC only
Safe HaskellTrustworthy
LanguageHaskell2010

Grisette.Lib.Control.Monad.State.Class

Description

 
Synopsis

mrg* variants for operations in Control.Monad.State.Class

mrgGet :: (MonadState s m, UnionLike m, Mergeable s) => m s Source #

get with MergingStrategy knowledge propagation.

mrgPut :: (MonadState s m, UnionLike m) => s -> m () Source #

put with MergingStrategy knowledge propagation.

mrgState :: (MonadState s m, UnionLike m, Mergeable s, Mergeable a) => (s -> (a, s)) -> m a Source #

state with MergingStrategy knowledge propagation.

mrgModify :: (MonadState s m, UnionLike m, Mergeable s) => (s -> s) -> m () Source #

modify with MergingStrategy knowledge propagation.

mrgModify' :: (MonadState s m, UnionLike m, Mergeable s) => (s -> s) -> m () Source #

modify' with MergingStrategy knowledge propagation.

mrgGets :: (MonadState s m, UnionLike m, Mergeable s, Mergeable a) => (s -> a) -> m a Source #

gets with MergingStrategy knowledge propagation.