Safe Haskell	None
Language	Haskell2010

UVMHS.Core.Data.Bool

Contents

Orphan instances

Additive 𝔹 Source #
Instance details
Multiplicative 𝔹 Source #
Instance details
One 𝔹 Source #
Instance details Methods one :: 𝔹 Source #
Plus 𝔹 Source #
Instance details Methods (+) :: 𝔹 -> 𝔹 -> 𝔹 Source #
Times 𝔹 Source #
Instance details Methods (×) :: 𝔹 -> 𝔹 -> 𝔹 Source #
Zero 𝔹 Source #
Instance details Methods zero :: 𝔹 Source #
Bot 𝔹 Source #
Instance details Methods bot :: 𝔹 Source #
Dual 𝔹 Source #
Instance details Methods dual :: 𝔹 -> 𝔹 Source #
Join 𝔹 Source #
Instance details Methods (⊔) :: 𝔹 -> 𝔹 -> 𝔹 Source #
JoinLattice 𝔹 Source #
Instance details
Lattice 𝔹 Source #
Instance details
Meet 𝔹 Source #
Instance details Methods (⊓) :: 𝔹 -> 𝔹 -> 𝔹 Source #
MeetLattice 𝔹 Source #
Instance details
POrd 𝔹 Source #
Instance details Methods (⊑) :: 𝔹 -> 𝔹 -> 𝔹 Source #
Top 𝔹 Source #
Instance details Methods top :: 𝔹 Source #
Append 𝔹 Source #
Instance details Methods (⧺) :: 𝔹 -> 𝔹 -> 𝔹 Source #
Monoid 𝔹 Source #
Instance details
Null 𝔹 Source #
Instance details Methods null :: 𝔹 Source #