Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

Modulenumeric-prelude-0.4.4Haskell98

Algebra.Lattice

Synopsis

class C
value max
value min
value abs
value propUpCommutative
value propDnCommutative
value propUpAssociative
value propDnAssociative
value propUpDnDistributive
value propDnUpDistributive

Packagenumeric-prelude-0.4.4
Exports10
LanguageHaskell98
LicenceBSD-3-Clause

classclass C a where

Methods

up :: a -> a -> ainfixl 5
dn :: a -> a -> ainfixl 5

Instances4C

C IntegerDefined in numeric-prelude-0.4.4 · Algebra.Lattice
C BoolDefined in numeric-prelude-0.4.4 · Algebra.Lattice
(Ord a, C a) => C (T a)Defined in numeric-prelude-0.4.4 · Algebra.Lattice
(C a, C b) => C (a, b)Defined in numeric-prelude-0.4.4 · Algebra.Lattice

valuemax :: C a => a -> a -> a

valuemin :: C a => a -> a -> a

valueabs :: (C a, C a) => a -> a

valuepropUpCommutative :: (Eq a, C a) => a -> a -> Bool

valuepropDnCommutative :: (Eq a, C a) => a -> a -> Bool

valuepropUpAssociative :: (Eq a, C a) => a -> a -> a -> Bool

valuepropDnAssociative :: (Eq a, C a) => a -> a -> a -> Bool

valuepropUpDnDistributive :: (Eq a, C a) => a -> a -> a -> Bool

valuepropDnUpDistributive :: (Eq a, C a) => a -> a -> a -> Bool