manyvalued
Safe HaskellNone
LanguageGHC2024

Circuit.Logics.Combine

Description

Ways to merge parallel judgments (beyond raw lattice meet/join).

Lattice ops are available via Circuit.Logics.Lattice. Protocol-style combinators live here — especially useful for multi-judge Process wiring.

Synopsis

Documentation

consensusH3 :: H3 -> H3 -> H3 Source #

Agree only when both sides are the same decided value; else unknown.

Not lattice meet: consensusH3 HTrue HFalse = HUnknown, whereas meet would be HFalse.

consensusK3 :: K3 -> K3 -> K3 Source #

firstKnownH3 :: H3 -> H3 -> H3 Source #

Prefer the first decided value; unknown only if both open.

latchH3 :: H3 -> H3 -> H3 Source #

Once decided, stay decided (left-biased latch over a stream step).