uvmhs-0.0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

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 #