Basement.These

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

Documentation

data These a b

Either a or b or both.

Constructors

This a

That b

These a b

Instances

Bifunctor These

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)

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)

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)

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)

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)

Defined in Basement.These

Methods

toNormalForm :: These a b -> ()

From (Either a b) (These a b)

Defined in Basement.From

Methods

from :: Either a b -> These a b