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

Grisette.Core.Control.Monad.Union

Contents

Description

 
Synopsis

MonadUnion

type MonadUnion u = (UnionLike u, Monad u) Source #

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