Safe Haskell	None
Language	Haskell2010

UVMHS.Core.Classes.Lattice

Documentation

class POrd a where Source #

Methods

(⊑) :: a -> a -> 𝔹 infix 4 Source #

Instances

Instances details

POrd 𝔹 Source #
Instance details Defined in UVMHS.Core.Data.Bool Methods (⊑) :: 𝔹 -> 𝔹 -> 𝔹 Source #
Ord e => POrd (ESet (StdESD e)) Source #
Instance details Defined in UVMHS.Core.Data.Dict Methods (⊑) :: ESet (StdESD e) -> ESet (StdESD e) -> 𝔹 Source #
Ord a => POrd (𝑃 a) Source #
Instance details Defined in UVMHS.Core.Data.Set Methods (⊑) :: 𝑃 a -> 𝑃 a -> 𝔹 Source #
POrd a => POrd (AddBot a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods (⊑) :: AddBot a -> AddBot a -> 𝔹 Source #
POrd a => POrd (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods (⊑) :: AddTop a -> AddTop a -> 𝔹 Source #
POrd a => POrd (𝑉 a) Source #
Instance details Defined in UVMHS.Core.VectorSparse Methods (⊑) :: 𝑉 a -> 𝑉 a -> 𝔹 Source #
(Ord k, POrd a) => POrd (k ⇰ a) Source #
Instance details Defined in UVMHS.Core.Data.Dict Methods (⊑) :: (k ⇰ a) -> (k ⇰ a) -> 𝔹 Source #
(POrd a, POrd b) => POrd (a ∧ b) Source #
Instance details Defined in UVMHS.Core.Data.Pair Methods (⊑) :: (a ∧ b) -> (a ∧ b) -> 𝔹 Source #

class Bot a where Source #

Methods

bot :: a Source #

Instances

Instances details

Bot ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods bot :: ℕ Source #
Bot ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods bot :: ℕ16 Source #
Bot ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods bot :: ℕ32 Source #
Bot ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods bot :: ℕ64 Source #
Bot ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods bot :: ℕ8 Source #
Bot ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods bot :: ℚ Source #
Bot ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods bot :: ℚᴾ Source #
Bot ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods bot :: ℝ Source #
Bot ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods bot :: ℝᴾ Source #
Bot ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods bot :: ℤ16 Source #
Bot ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods bot :: ℤ32 Source #
Bot ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods bot :: ℤ64 Source #
Bot ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods bot :: ℤ8 Source #
Bot 𝔹 Source #
Instance details Defined in UVMHS.Core.Data.Bool Methods bot :: 𝔹 Source #
Bot 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods bot :: 𝔻 Source #
Bot 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods bot :: 𝔻ᴾ Source #
Bot MMSP Source #
Instance details Defined in UVMHS.Lib.MMSP Methods bot :: MMSP Source #
Bot Loc Source #
Instance details Defined in UVMHS.Lib.Parser.Loc Methods bot :: Loc Source #
Bot LocRange Source #
Instance details Defined in UVMHS.Lib.Parser.Loc Methods bot :: LocRange Source #
Bot ParserErrorStackTraces Source #
Instance details Defined in UVMHS.Lib.Parser.ParserError Methods bot :: ParserErrorStackTraces Source #
Bot Shape Source #
Instance details Defined in UVMHS.Lib.Pretty.Shape Methods bot :: Shape Source #
Bot (ESet (StdESD e)) Source #
Instance details Defined in UVMHS.Core.Data.Dict Methods bot :: ESet (StdESD e) Source #
Bot (𝑃 a) Source #
Instance details Defined in UVMHS.Core.Data.Set Methods bot :: 𝑃 a Source #
Bot a => Bot (ID a) Source #
Instance details Defined in UVMHS.Core.Monads Methods bot :: ID a Source #
Bot (AddBT a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods bot :: AddBT a Source #
Bot (AddBot a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods bot :: AddBot a Source #
Bot a => Bot (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods bot :: AddTop a Source #
Bot (𝑉 a) Source #
Instance details Defined in UVMHS.Core.VectorSparse Methods bot :: 𝑉 a Source #
Bot a => Bot (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods bot :: AddInf a Source #
Bot (AddZI a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods bot :: AddZI a Source #
Bot (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods bot :: AddZer a Source #
Bot (EDct (StdESD k) a) Source #
Instance details Defined in UVMHS.Core.Data.Dict Methods bot :: EDct (StdESD k) a Source #
Bot (k ⇰ a) Source #
Instance details Defined in UVMHS.Core.Data.Dict Methods bot :: k ⇰ a Source #
(Bot a, Bot b) => Bot (a ∧ b) Source #
Instance details Defined in UVMHS.Core.Data.Pair Methods bot :: a ∧ b Source #

class Join a where Source #

Methods

(⊔) :: a -> a -> a infixl 5 Source #

Instances

Instances details

Join ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊔) :: ℕ -> ℕ -> ℕ Source #
Join ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊔) :: ℕ16 -> ℕ16 -> ℕ16 Source #
Join ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊔) :: ℕ32 -> ℕ32 -> ℕ32 Source #
Join ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊔) :: ℕ64 -> ℕ64 -> ℕ64 Source #
Join ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊔) :: ℕ8 -> ℕ8 -> ℕ8 Source #
Join ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊔) :: ℚ -> ℚ -> ℚ Source #
Join ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊔) :: ℚᴾ -> ℚᴾ -> ℚᴾ Source #
Join ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊔) :: ℝ -> ℝ -> ℝ Source #
Join ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊔) :: ℝᴾ -> ℝᴾ -> ℝᴾ Source #
Join ℤ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊔) :: ℤ -> ℤ -> ℤ Source #
Join ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊔) :: ℤ16 -> ℤ16 -> ℤ16 Source #
Join ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊔) :: ℤ32 -> ℤ32 -> ℤ32 Source #
Join ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊔) :: ℤ64 -> ℤ64 -> ℤ64 Source #
Join ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊔) :: ℤ8 -> ℤ8 -> ℤ8 Source #
Join 𝔹 Source #
Instance details Defined in UVMHS.Core.Data.Bool Methods (⊔) :: 𝔹 -> 𝔹 -> 𝔹 Source #
Join 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊔) :: 𝔻 -> 𝔻 -> 𝔻 Source #
Join 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊔) :: 𝔻ᴾ -> 𝔻ᴾ -> 𝔻ᴾ Source #
Join MMSP Source #
Instance details Defined in UVMHS.Lib.MMSP Methods (⊔) :: MMSP -> MMSP -> MMSP Source #
Join Loc Source #
Instance details Defined in UVMHS.Lib.Parser.Loc Methods (⊔) :: Loc -> Loc -> Loc Source #
Join LocRange Source #
Instance details Defined in UVMHS.Lib.Parser.Loc Methods (⊔) :: LocRange -> LocRange -> LocRange Source #
Join ParserErrorStackTraces Source #
Instance details Defined in UVMHS.Lib.Parser.ParserError Methods (⊔) :: ParserErrorStackTraces -> ParserErrorStackTraces -> ParserErrorStackTraces Source #
Join Shape Source #
Instance details Defined in UVMHS.Lib.Pretty.Shape Methods (⊔) :: Shape -> Shape -> Shape Source #
Ord e => Join (ESet (StdESD e)) Source #
Instance details Defined in UVMHS.Core.Data.Dict Methods (⊔) :: ESet (StdESD e) -> ESet (StdESD e) -> ESet (StdESD e) Source #
Ord a => Join (𝑃 a) Source #
Instance details Defined in UVMHS.Core.Data.Set Methods (⊔) :: 𝑃 a -> 𝑃 a -> 𝑃 a Source #
Join a => Join (ID a) Source #
Instance details Defined in UVMHS.Core.Monads Methods (⊔) :: ID a -> ID a -> ID a Source #
Join a => Join (AddBT a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods (⊔) :: AddBT a -> AddBT a -> AddBT a Source #
Join a => Join (AddBot a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods (⊔) :: AddBot a -> AddBot a -> AddBot a Source #
Join a => Join (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods (⊔) :: AddTop a -> AddTop a -> AddTop a Source #
(Storable a, Join a) => Join (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods (⊔) :: 𝕌 a -> 𝕌 a -> 𝕌 a Source #
Join a => Join (𝑉 a) Source #
Instance details Defined in UVMHS.Core.VectorSparse Methods (⊔) :: 𝑉 a -> 𝑉 a -> 𝑉 a Source #
Join a => Join (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (⊔) :: AddInf a -> AddInf a -> AddInf a Source #
Join a => Join (AddZI a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (⊔) :: AddZI a -> AddZI a -> AddZI a Source #
Join a => Join (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (⊔) :: AddZer a -> AddZer a -> AddZer a Source #
(Ord k, Join a) => Join (EDct (StdESD k) a) Source #
Instance details Defined in UVMHS.Core.Data.Dict Methods (⊔) :: EDct (StdESD k) a -> EDct (StdESD k) a -> EDct (StdESD k) a Source #
(Ord k, Join a) => Join (k ⇰ a) Source #
Instance details Defined in UVMHS.Core.Data.Dict Methods (⊔) :: (k ⇰ a) -> (k ⇰ a) -> k ⇰ a Source #
(Join a, Join b) => Join (a ∧ b) Source #
Instance details Defined in UVMHS.Core.Data.Pair Methods (⊔) :: (a ∧ b) -> (a ∧ b) -> a ∧ b Source #

class (Bot a, Join a) => JoinLattice a Source #

Instances

Instances details

JoinLattice ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
JoinLattice ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
JoinLattice ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
JoinLattice ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
JoinLattice ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
JoinLattice ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
JoinLattice ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
JoinLattice ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
JoinLattice ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
JoinLattice ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
JoinLattice ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
JoinLattice ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
JoinLattice ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
JoinLattice 𝔹 Source #
Instance details Defined in UVMHS.Core.Data.Bool
JoinLattice 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
JoinLattice 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
JoinLattice MMSP Source #
Instance details Defined in UVMHS.Lib.MMSP
JoinLattice Loc Source #
Instance details Defined in UVMHS.Lib.Parser.Loc
JoinLattice ParserErrorStackTraces Source #
Instance details Defined in UVMHS.Lib.Parser.ParserError
Ord e => JoinLattice (ESet (StdESD e)) Source #
Instance details Defined in UVMHS.Core.Data.Dict
Ord a => JoinLattice (𝑃 a) Source #
Instance details Defined in UVMHS.Core.Data.Set
(Bot a, Join a) => JoinLattice (ID a) Source #
Instance details Defined in UVMHS.Core.Monads
Join a => JoinLattice (AddBT a) Source #
Instance details Defined in UVMHS.Core.Pointed
Join a => JoinLattice (AddBot a) Source #
Instance details Defined in UVMHS.Core.Pointed
JoinLattice a => JoinLattice (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed
Join a => JoinLattice (𝑉 a) Source #
Instance details Defined in UVMHS.Core.VectorSparse
JoinLattice a => JoinLattice (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf
Join a => JoinLattice (AddZI a) Source #
Instance details Defined in UVMHS.Lib.ZerInf
Join a => JoinLattice (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf
(Ord k, Join a) => JoinLattice (EDct (StdESD k) a) Source #
Instance details Defined in UVMHS.Core.Data.Dict
(Ord k, Join a) => JoinLattice (k ⇰ a) Source #
Instance details Defined in UVMHS.Core.Data.Dict
(JoinLattice a, JoinLattice b) => JoinLattice (a ∧ b) Source #
Instance details Defined in UVMHS.Core.Data.Pair

class Top a where Source #

Methods

top :: a Source #

Instances

Instances details

Top ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods top :: ℕ16 Source #
Top ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods top :: ℕ32 Source #
Top ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods top :: ℕ64 Source #
Top ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods top :: ℕ8 Source #
Top ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods top :: ℤ16 Source #
Top ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods top :: ℤ32 Source #
Top ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods top :: ℤ64 Source #
Top ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods top :: ℤ8 Source #
Top 𝔹 Source #
Instance details Defined in UVMHS.Core.Data.Bool Methods top :: 𝔹 Source #
Top 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods top :: 𝔻 Source #
Top 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods top :: 𝔻ᴾ Source #
Top MMSP Source #
Instance details Defined in UVMHS.Lib.MMSP Methods top :: MMSP Source #
Top LocRange Source #
Instance details Defined in UVMHS.Lib.Parser.Loc Methods top :: LocRange Source #
Top a => Top (ID a) Source #
Instance details Defined in UVMHS.Core.Monads Methods top :: ID a Source #
Top (AddBT a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods top :: AddBT a Source #
Top a => Top (AddBot a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods top :: AddBot a Source #
Top (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods top :: AddTop a Source #
Top (𝑉 a) Source #
Instance details Defined in UVMHS.Core.VectorSparse Methods top :: 𝑉 a Source #
Top (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods top :: AddInf a Source #
Top (AddZI a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods top :: AddZI a Source #
Top a => Top (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods top :: AddZer a Source #
(Top a, Top b) => Top (a ∧ b) Source #
Instance details Defined in UVMHS.Core.Data.Pair Methods top :: a ∧ b Source #

class Meet a where Source #

Methods

(⊓) :: a -> a -> a infixl 6 Source #

Instances

Instances details

Meet ℕ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊓) :: ℕ -> ℕ -> ℕ Source #
Meet ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊓) :: ℕ16 -> ℕ16 -> ℕ16 Source #
Meet ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊓) :: ℕ32 -> ℕ32 -> ℕ32 Source #
Meet ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊓) :: ℕ64 -> ℕ64 -> ℕ64 Source #
Meet ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊓) :: ℕ8 -> ℕ8 -> ℕ8 Source #
Meet ℚ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊓) :: ℚ -> ℚ -> ℚ Source #
Meet ℚᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊓) :: ℚᴾ -> ℚᴾ -> ℚᴾ Source #
Meet ℝ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊓) :: ℝ -> ℝ -> ℝ Source #
Meet ℝᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊓) :: ℝᴾ -> ℝᴾ -> ℝᴾ Source #
Meet ℤ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊓) :: ℤ -> ℤ -> ℤ Source #
Meet ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊓) :: ℤ16 -> ℤ16 -> ℤ16 Source #
Meet ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊓) :: ℤ32 -> ℤ32 -> ℤ32 Source #
Meet ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊓) :: ℤ64 -> ℤ64 -> ℤ64 Source #
Meet ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊓) :: ℤ8 -> ℤ8 -> ℤ8 Source #
Meet 𝔹 Source #
Instance details Defined in UVMHS.Core.Data.Bool Methods (⊓) :: 𝔹 -> 𝔹 -> 𝔹 Source #
Meet 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊓) :: 𝔻 -> 𝔻 -> 𝔻 Source #
Meet 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic Methods (⊓) :: 𝔻ᴾ -> 𝔻ᴾ -> 𝔻ᴾ Source #
Meet MMSP Source #
Instance details Defined in UVMHS.Lib.MMSP Methods (⊓) :: MMSP -> MMSP -> MMSP Source #
Meet Loc Source #
Instance details Defined in UVMHS.Lib.Parser.Loc Methods (⊓) :: Loc -> Loc -> Loc Source #
Meet LocRange Source #
Instance details Defined in UVMHS.Lib.Parser.Loc Methods (⊓) :: LocRange -> LocRange -> LocRange Source #
Ord e => Meet (ESet (StdESD e)) Source #
Instance details Defined in UVMHS.Core.Data.Dict Methods (⊓) :: ESet (StdESD e) -> ESet (StdESD e) -> ESet (StdESD e) Source #
Ord a => Meet (𝑃 a) Source #
Instance details Defined in UVMHS.Core.Data.Set Methods (⊓) :: 𝑃 a -> 𝑃 a -> 𝑃 a Source #
Meet a => Meet (ID a) Source #
Instance details Defined in UVMHS.Core.Monads Methods (⊓) :: ID a -> ID a -> ID a Source #
Meet a => Meet (AddBT a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods (⊓) :: AddBT a -> AddBT a -> AddBT a Source #
Meet a => Meet (AddBot a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods (⊓) :: AddBot a -> AddBot a -> AddBot a Source #
Meet a => Meet (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods (⊓) :: AddTop a -> AddTop a -> AddTop a Source #
(Storable a, Meet a) => Meet (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods (⊓) :: 𝕌 a -> 𝕌 a -> 𝕌 a Source #
Meet a => Meet (𝑉 a) Source #
Instance details Defined in UVMHS.Core.VectorSparse Methods (⊓) :: 𝑉 a -> 𝑉 a -> 𝑉 a Source #
Meet a => Meet (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (⊓) :: AddInf a -> AddInf a -> AddInf a Source #
Meet a => Meet (AddZI a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (⊓) :: AddZI a -> AddZI a -> AddZI a Source #
Meet a => Meet (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (⊓) :: AddZer a -> AddZer a -> AddZer a Source #
(Ord k, Meet a) => Meet (k ⇰ a) Source #
Instance details Defined in UVMHS.Core.Data.Dict Methods (⊓) :: (k ⇰ a) -> (k ⇰ a) -> k ⇰ a Source #
(Meet a, Meet b) => Meet (a ∧ b) Source #
Instance details Defined in UVMHS.Core.Data.Pair Methods (⊓) :: (a ∧ b) -> (a ∧ b) -> a ∧ b Source #

class (Top a, Meet a) => MeetLattice a Source #

Instances

Instances details

MeetLattice ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
MeetLattice ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
MeetLattice ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
MeetLattice ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
MeetLattice ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
MeetLattice ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
MeetLattice ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
MeetLattice ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
MeetLattice 𝔹 Source #
Instance details Defined in UVMHS.Core.Data.Bool
MeetLattice 𝔻 Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
MeetLattice 𝔻ᴾ Source #
Instance details Defined in UVMHS.Core.Data.Arithmetic
MeetLattice MMSP Source #
Instance details Defined in UVMHS.Lib.MMSP
(Top a, Meet a) => MeetLattice (ID a) Source #
Instance details Defined in UVMHS.Core.Monads
Meet a => MeetLattice (AddBT a) Source #
Instance details Defined in UVMHS.Core.Pointed
MeetLattice a => MeetLattice (AddBot a) Source #
Instance details Defined in UVMHS.Core.Pointed
Meet a => MeetLattice (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed
Meet a => MeetLattice (𝑉 a) Source #
Instance details Defined in UVMHS.Core.VectorSparse
Meet a => MeetLattice (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf
Meet a => MeetLattice (AddZI a) Source #
Instance details Defined in UVMHS.Lib.ZerInf
MeetLattice a => MeetLattice (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf
(MeetLattice a, MeetLattice b) => MeetLattice (a ∧ b) Source #
Instance details Defined in UVMHS.Core.Data.Pair

class (JoinLattice a, MeetLattice a) => Lattice a Source #

Instances

Instances details

Lattice 𝔹 Source #
Instance details Defined in UVMHS.Core.Data.Bool
(Bot a, Join a, Top a, Meet a) => Lattice (ID a) Source #
Instance details Defined in UVMHS.Core.Monads
(Join a, Meet a) => Lattice (AddBT a) Source #
Instance details Defined in UVMHS.Core.Pointed
(Join a, MeetLattice a) => Lattice (AddBot a) Source #
Instance details Defined in UVMHS.Core.Pointed
(JoinLattice a, Meet a) => Lattice (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed
(JoinLattice a, Meet a) => Lattice (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf
(Join a, Meet a) => Lattice (AddZI a) Source #
Instance details Defined in UVMHS.Lib.ZerInf
(Join a, MeetLattice a) => Lattice (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf
(Lattice a, Lattice b) => Lattice (a ∧ b) Source #
Instance details Defined in UVMHS.Core.Data.Pair

class Dual a where Source #

Methods

dual :: a -> a Source #

Instances

Instances details

Dual 𝔹 Source #
Instance details Defined in UVMHS.Core.Data.Bool Methods dual :: 𝔹 -> 𝔹 Source #
Dual a => Dual (ID a) Source #
Instance details Defined in UVMHS.Core.Monads Methods dual :: ID a -> ID a Source #
(Dual a, Dual b) => Dual (a ∧ b) Source #
Instance details Defined in UVMHS.Core.Data.Pair Methods dual :: (a ∧ b) -> a ∧ b Source #

class Difference a where Source #

Methods

(⊟) :: a -> a -> a infixl 5 Source #

Instances

Instances details

Ord e => Difference (ESet (StdESD e)) Source #
Instance details Defined in UVMHS.Core.Data.Dict Methods (⊟) :: ESet (StdESD e) -> ESet (StdESD e) -> ESet (StdESD e) Source #
Ord a => Difference (𝑃 a) Source #
Instance details Defined in UVMHS.Core.Data.Set Methods (⊟) :: 𝑃 a -> 𝑃 a -> 𝑃 a Source #
Difference a => Difference (ID a) Source #
Instance details Defined in UVMHS.Core.Monads Methods (⊟) :: ID a -> ID a -> ID a Source #
(Bot a, Difference a) => Difference (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods (⊟) :: AddTop a -> AddTop a -> AddTop a Source #
(Ord k, Difference a) => Difference (k ⇰ a) Source #
Instance details Defined in UVMHS.Core.Data.Dict Methods (⊟) :: (k ⇰ a) -> (k ⇰ a) -> k ⇰ a Source #
(Difference a, Difference b) => Difference (a ∧ b) Source #
Instance details Defined in UVMHS.Core.Data.Pair Methods (⊟) :: (a ∧ b) -> (a ∧ b) -> a ∧ b Source #

data PartialOrdering Source #

Constructors

PLT
PEQ
PGT
PUN

(∇) :: POrd a => a -> a -> PartialOrdering infix 4 Source #

(⊒) :: POrd a => a -> a -> 𝔹 infix 4 Source #

(⪤) :: POrd a => a -> a -> 𝔹 infix 4 Source #