Safe Haskell	None
Language	GHC2024

Circuit.Logics.K3

Description

K3 — Kleene three-valued logic.

Same three labels as H3 (true false unknown) and the same lattice tables, but not Heyting: there is no coherent implication instance here. Partial-computation / undefinedness reading.

Synopsis

data K3
- = KFalse
- | KUnknown
- | KTrue

Documentation

data K3 Source #

Kleene three-valued logic (lattice only).

Constructors

KFalse
KUnknown
KTrue

Instances

Instances details

Eq K3 Source #
Instance details Defined in Circuit.Logics.K3 Methods (==) :: K3 -> K3 -> Bool # (/=) :: K3 -> K3 -> Bool #
Ord K3 Source #
Instance details Defined in Circuit.Logics.K3 Methods compare :: K3 -> K3 -> Ordering # (<) :: K3 -> K3 -> Bool # (<=) :: K3 -> K3 -> Bool # (>) :: K3 -> K3 -> Bool # (>=) :: K3 -> K3 -> Bool # max :: K3 -> K3 -> K3 # min :: K3 -> K3 -> K3 #
Bounded K3 Source #
Instance details Defined in Circuit.Logics.K3 Methods minBound :: K3 # maxBound :: K3 #
Enum K3 Source #
Instance details Defined in Circuit.Logics.K3 Methods succ :: K3 -> K3 # pred :: K3 -> K3 # toEnum :: Int -> K3 # fromEnum :: K3 -> Int # enumFrom :: K3 -> [K3] # enumFromThen :: K3 -> K3 -> [K3] # enumFromTo :: K3 -> K3 -> [K3] # enumFromThenTo :: K3 -> K3 -> K3 -> [K3] #
Read K3 Source #
Instance details Defined in Circuit.Logics.K3 Methods readsPrec :: Int -> ReadS K3 # readList :: ReadS [K3] # readPrec :: ReadPrec K3 # readListPrec :: ReadPrec [K3] #
Show K3 Source #
Instance details Defined in Circuit.Logics.K3 Methods showsPrec :: Int -> K3 -> ShowS # show :: K3 -> String # showList :: [K3] -> ShowS #
JoinSemiLattice K3 Source #
Instance details Defined in Circuit.Logics.K3 Methods (\/) :: K3 -> K3 -> K3 Source #
LowerBounded K3 Source #
Instance details Defined in Circuit.Logics.K3 Methods bottom :: K3 Source #
MeetSemiLattice K3 Source #
Instance details Defined in Circuit.Logics.K3 Methods (/\) :: K3 -> K3 -> K3 Source #
UpperBounded K3 Source #
Instance details Defined in Circuit.Logics.K3 Methods top :: K3 Source #