Module

Data.These

Package: purescript-these
Repository: purescript-contrib/purescript-these

#These Source

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 Source

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

#thisOrBoth Source

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

#thatOrBoth Source

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

#fromThese Source

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

#theseLeft Source

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

#theseRight Source

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

Modules: Data.These