Data.Glb

Greatest lower bound

Documentation

class HasGlb a where

Types that support information intersection (glb)

Minimal complete definition

Nothing

Methods

glb :: a -> a -> a

Greatest lower information bound. Intersects information available from each argument.

default glb :: (Generic a, GHasGlb (Rep a)) => a -> a -> a

glbs1 :: [a] -> a

n-ary glb for n > 0. Defaults to foldr1 glb. Unlike lub, we have no unit for glb.

Instances

HasGlb Bool

Defined in Data.Glb

Methods

glb :: Bool -> Bool -> Bool

glbs1 :: [Bool] -> Bool

HasGlb Char

Defined in Data.Glb

Methods

glb :: Char -> Char -> Char

glbs1 :: [Char] -> Char

HasGlb Double

Defined in Data.Glb

Methods

glb :: Double -> Double -> Double

glbs1 :: [Double] -> Double

HasGlb Float

Defined in Data.Glb

Methods

glb :: Float -> Float -> Float

glbs1 :: [Float] -> Float

HasGlb Int

Defined in Data.Glb

Methods

glb :: Int -> Int -> Int

glbs1 :: [Int] -> Int

HasGlb Integer

Defined in Data.Glb

Methods

glb :: Integer -> Integer -> Integer

glbs1 :: [Integer] -> Integer

HasGlb Ordering

Defined in Data.Glb

Methods

glb :: Ordering -> Ordering -> Ordering

glbs1 :: [Ordering] -> Ordering

HasGlb ()

Defined in Data.Glb

Methods

glb :: () -> () -> ()

glbs1 :: [()] -> ()

HasGlb Void

Defined in Data.Glb

Methods

glb :: Void -> Void -> Void

glbs1 :: [Void] -> Void

HasGlb TypeRep

Defined in Data.Glb

Methods

glb :: TypeRep -> TypeRep -> TypeRep

glbs1 :: [TypeRep] -> TypeRep

HasGlb a => HasGlb [a]

Defined in Data.Glb

Methods

glb :: [a] -> [a] -> [a]

glbs1 :: [[a]] -> [a]

HasGlb a => HasGlb (Maybe a)

Defined in Data.Glb

Methods

glb :: Maybe a -> Maybe a -> Maybe a

glbs1 :: [Maybe a] -> Maybe a

HasGlb a => HasGlb (ZipList a)

Defined in Data.Glb

Methods

glb :: ZipList a -> ZipList a -> ZipList a

glbs1 :: [ZipList a] -> ZipList a

HasGlb a => HasGlb (Identity a)

Defined in Data.Glb

Methods

glb :: Identity a -> Identity a -> Identity a

glbs1 :: [Identity a] -> Identity a

HasGlb b => HasGlb (a -> b)

Defined in Data.Glb

Methods

glb :: (a -> b) -> (a -> b) -> a -> b

glbs1 :: [a -> b] -> a -> b

(HasGlb a, HasGlb b) => HasGlb (Either a b)

Defined in Data.Glb

Methods

glb :: Either a b -> Either a b -> Either a b

glbs1 :: [Either a b] -> Either a b

HasGlb (TypeRep a)

Defined in Data.Glb

Methods

glb :: TypeRep a -> TypeRep a -> TypeRep a

glbs1 :: [TypeRep a] -> TypeRep a

(HasGlb a, HasGlb b) => HasGlb (a, b)

Defined in Data.Glb

Methods

glb :: (a, b) -> (a, b) -> (a, b)

glbs1 :: [(a, b)] -> (a, b)

HasGlb (Proxy a)

Defined in Data.Glb

Methods

glb :: Proxy a -> Proxy a -> Proxy a

glbs1 :: [Proxy a] -> Proxy a

(HasGlb a, HasGlb b, HasGlb c) => HasGlb (a, b, c)

Defined in Data.Glb

Methods

glb :: (a, b, c) -> (a, b, c) -> (a, b, c)

glbs1 :: [(a, b, c)] -> (a, b, c)

HasGlb a => HasGlb (Const a b)

Defined in Data.Glb

Methods

glb :: Const a b -> Const a b -> Const a b

glbs1 :: [Const a b] -> Const a b

HasGlb (a :~: b)

Defined in Data.Glb

Methods

glb :: (a :~: b) -> (a :~: b) -> a :~: b

glbs1 :: [a :~: b] -> a :~: b

(HasGlb (f a), HasGlb (g a)) => HasGlb ((f :+: g) a)

Defined in Data.Glb

Methods

glb :: (f :+: g) a -> (f :+: g) a -> (f :+: g) a

glbs1 :: [(f :+: g) a] -> (f :+: g) a

(HasGlb (f a), HasGlb (g a)) => HasGlb ((f :*: g) a)

Defined in Data.Glb

Methods

glb :: (f :*: g) a -> (f :*: g) a -> (f :*: g) a

glbs1 :: [(f :*: g) a] -> (f :*: g) a

(HasGlb a, HasGlb b, HasGlb c, HasGlb d) => HasGlb (a, b, c, d)

Defined in Data.Glb

Methods

glb :: (a, b, c, d) -> (a, b, c, d) -> (a, b, c, d)

glbs1 :: [(a, b, c, d)] -> (a, b, c, d)

(HasGlb (f a), HasGlb (g a)) => HasGlb (Product f g a)

Defined in Data.Glb

Methods

glb :: Product f g a -> Product f g a -> Product f g a

glbs1 :: [Product f g a] -> Product f g a

(HasGlb (f a), HasGlb (g a)) => HasGlb (Sum f g a)

Defined in Data.Glb

Methods

glb :: Sum f g a -> Sum f g a -> Sum f g a

glbs1 :: [Sum f g a] -> Sum f g a

HasGlb (a :~~: b)

Defined in Data.Glb

Methods

glb :: (a :~~: b) -> (a :~~: b) -> a :~~: b

glbs1 :: [a :~~: b] -> a :~~: b

(HasGlb a, HasGlb b, HasGlb c, HasGlb d, HasGlb e) => HasGlb (a, b, c, d, e)

Defined in Data.Glb

Methods

glb :: (a, b, c, d, e) -> (a, b, c, d, e) -> (a, b, c, d, e)

glbs1 :: [(a, b, c, d, e)] -> (a, b, c, d, e)

HasGlb (f (g a)) => HasGlb (Compose f g a)

Defined in Data.Glb

Methods

glb :: Compose f g a -> Compose f g a -> Compose f g a

glbs1 :: [Compose f g a] -> Compose f g a

glbBottom :: String -> a

Bottom for a glb. In the form of error "glb: bottom (<reason>)", though not really an error.

flatGlb :: Eq a => a -> a -> a

glb on flat types with equality. Gives bottom for unequal arguments.

class GHasGlb f

Used for generic deriving of HasGlb

Minimal complete definition

gglb

Instances

GHasGlb' f => GHasGlb (D1 ('MetaData _q _r _s 'False) f)

Defined in Data.Glb

Methods

gglb :: (Generic a, Rep a ~ D1 ('MetaData _q _r _s 'False) f) => a -> a -> a

HasGlb x => GHasGlb (D1 ('MetaData _q _r _s 'True) (C1 _t (S1 _u (K1 _v x :: Type -> Type))))

Defined in Data.Glb

Methods

gglb :: (Generic a, Rep a ~ D1 ('MetaData _q _r _s 'True) (C1 _t (S1 _u (K1 _v x)))) => a -> a -> a

genericGlb :: (Generic a, GHasGlb (Rep a)) => a -> a -> a

A suitable definition of glb for instances of Generic.