Documentation

data PartialOrdering Source

class POrd a where Source

fromOrdering :: Ordering -> PartialOrdering Source

(⊑) :: POrd a => a -> a -> 𝔹 infix 6 Source

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

(><) :: POrd a => a -> a -> 𝔹 infix 6 Source

poCompareFromLte :: (a -> a -> 𝔹) -> a -> a -> PartialOrdering Source

discretePO :: Eq a => a -> a -> PartialOrdering Source

class Bot a where Source

class Join a where Source

class Top a where Source

class Meet a where Source

class Dual a where Source

class Difference a where Source

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

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

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

class (Lattice a, Dual a) => DualLattice a Source

dictJoin :: (ToFold (k, v) t, Ord k, JoinLattice v) => t -> k ⇰ v Source

mapKeyJoin :: (Ord k₂, JoinLattice v) => (k₁ -> k₂) -> (k₁ ⇰ v) -> k₂ ⇰ v Source

concretizeDictJoin :: (Ord k, JoinLattice v) => (k ⇰♭⊔ v) -> k ⇰ v Source

lazyDictJoin :: ToFold (k, v) t => t -> k ⇰♭⊔ v Source

mapKeyLazyDictJoin :: (k -> k') -> (k ⇰♭⊔ v) -> k' ⇰♭⊔ v Source

joins :: (JoinLattice a, ToFold a t) => t -> a Source

meets :: (MeetLattice a, ToFold a t) => t -> a Source

data AddBot a Source

elimAddBot :: b -> (a -> b) -> AddBot a -> b Source

data AddTop a Source