grisette-0.5.0.1: 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.Internal.Core.Control.Monad.Union

Contents

Description

 
Synopsis

MonadUnion

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

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