License	BSD-style
Maintainer	Nicolas Di Prima <nicolas@primetype.co.uk>
Stability	stable
Portability	portable
Safe Haskell	None
Language	Haskell2010

Basement.These

Description

These a b, sum type to represent either a or b or both.

Synopsis

Documentation

data These a b #

Either a or b or both.

Constructors

Instances details

Bifunctor These #
Instance details Defined in Basement.These Methods bimap :: (a -> b) -> (c -> d) -> These a c -> These b d # first :: (a -> b) -> These a c -> These b c # second :: (b -> c) -> These a b -> These a c #
Functor (These a) #
Instance details Defined in Basement.These Methods fmap :: (a0 -> b) -> These a a0 -> These a b # (<$) :: a0 -> These a b -> These a a0 #
(Eq a, Eq b) => Eq (These a b) #
Instance details Defined in Basement.These Methods (==) :: These a b -> These a b -> Bool # (/=) :: These a b -> These a b -> Bool #
(Ord a, Ord b) => Ord (These a b) #
Instance details Defined in Basement.These Methods compare :: These a b -> These a b -> Ordering # (<) :: These a b -> These a b -> Bool # (<=) :: These a b -> These a b -> Bool # (>) :: These a b -> These a b -> Bool # (>=) :: These a b -> These a b -> Bool # max :: These a b -> These a b -> These a b # min :: These a b -> These a b -> These a b #
(Show a, Show b) => Show (These a b) #
Instance details Defined in Basement.These Methods showsPrec :: Int -> These a b -> ShowS # show :: These a b -> String # showList :: [These a b] -> ShowS #
(NormalForm a, NormalForm b) => NormalForm (These a b) #
Instance details Defined in Basement.These Methods toNormalForm :: These a b -> () #
From (Either a b) (These a b) #
Instance details Defined in Basement.From Methods from :: Either a b -> These a b #