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

Grisette.Internal.Core.Control.Monad.Class.Union

Contents

Description

 
Synopsis

MonadUnion

type MonadUnion (u :: Type -> Type) = (SymBranching u, Monad u) Source #

Class for monads that support union-like operations and Mergeable knowledge propagation.