Data.These

data These a b

Constructors

• This a
• That b
• Both a b

Instances

• (Eq a, Eq b) => Eq (These a b)
• (Ord a, Ord b) => Ord (These a b)
• (Semigroup a, Semigroup b) => Semigroup (These a b)
• Functor (These a)
• Invariant (These a)
• Foldable (These a)
• Traversable (These a)
• Bifunctor These
• Bifoldable These
• Bitraversable These
• (Semigroup a) => Apply (These a)
• (Semigroup a) => Applicative (These a)
• (Semigroup a) => Bind (These a)
• (Semigroup a) => Monad (These a)
• Extend (These a)
• (Show a, Show b) => Show (These a b)

these :: forall a b c. (a -> c) -> (b -> c) -> (a -> b -> c) -> These a b -> c

thisOrBoth :: forall a b. a -> Maybe b -> These a b

thatOrBoth :: forall a b. b -> Maybe a -> These a b

maybeThese :: forall a b. Maybe a -> Maybe b -> Maybe (These a b)

Takes a pair of Maybes and attempts to create a These from them.

fromThese :: forall a b. a -> b -> These a b -> Tuple a b

theseLeft :: forall a b. These a b -> Maybe a

Returns an a value if possible.

theseRight :: forall a b. These a b -> Maybe b

Returns a b value if possible.

this :: forall a b. These a b -> Maybe a

Returns the a value if and only if the value is constructed with This.

that :: forall a b. These a b -> Maybe b

Returns the b value if and only if the value is constructed with That.