Data.Either.Both

Documentation

data Either' a b

Constructors

JustLeft a

JustRight b

Both a b

Instances

Bitraversable Either'

Defined in Data.Either.Both

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> Either' a b -> f (Either' c d)

Bifoldable Either'

Defined in Data.Either.Both

Methods

bifold :: Monoid m => Either' m m -> m

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> Either' a b -> m

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> Either' a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> Either' a b -> c

Bifunctor Either'

Defined in Data.Either.Both

Methods

bimap :: (a -> b) -> (c -> d) -> Either' a c -> Either' b d

first :: (a -> b) -> Either' a c -> Either' b c

second :: (b -> c) -> Either' a b -> Either' a c

Eq2 Either'

Defined in Data.Either.Both

Methods

liftEq2 :: (a -> b -> Bool) -> (c -> d -> Bool) -> Either' a c -> Either' b d -> Bool

Ord2 Either'

Defined in Data.Either.Both

Methods

liftCompare2 :: (a -> b -> Ordering) -> (c -> d -> Ordering) -> Either' a c -> Either' b d -> Ordering

(Eq a, Eq b) => Eq (Either' a b)

Defined in Data.Either.Both

Methods

(==) :: Either' a b -> Either' a b -> Bool

(/=) :: Either' a b -> Either' a b -> Bool

(Ord a, Ord b) => Ord (Either' a b)

Defined in Data.Either.Both

Methods

compare :: Either' a b -> Either' a b -> Ordering

(<) :: Either' a b -> Either' a b -> Bool

(<=) :: Either' a b -> Either' a b -> Bool

(>) :: Either' a b -> Either' a b -> Bool

(>=) :: Either' a b -> Either' a b -> Bool

max :: Either' a b -> Either' a b -> Either' a b

min :: Either' a b -> Either' a b -> Either' a b

(Read a, Read b) => Read (Either' a b)

Defined in Data.Either.Both

Methods

readsPrec :: Int -> ReadS (Either' a b)

readList :: ReadS [Either' a b]

readPrec :: ReadPrec (Either' a b)

readListPrec :: ReadPrec [Either' a b]

(Show a, Show b) => Show (Either' a b)

Defined in Data.Either.Both

Methods

showsPrec :: Int -> Either' a b -> ShowS

show :: Either' a b -> String

showList :: [Either' a b] -> ShowS

(Semigroup a, Semigroup b) => Semigroup (Either' a b)

Defined in Data.Either.Both

Methods

(<>) :: Either' a b -> Either' a b -> Either' a b

sconcat :: NonEmpty (Either' a b) -> Either' a b

stimes :: Integral b0 => b0 -> Either' a b -> Either' a b

(Monoid a, Monoid b) => Monoid (Either' a b)

Defined in Data.Either.Both

Methods

mempty :: Either' a b

mappend :: Either' a b -> Either' a b -> Either' a b

mconcat :: [Either' a b] -> Either' a b

either' :: (a -> c) -> (b -> c) -> (a -> b -> c) -> Either' a b -> c

fromMaybes :: Maybe a -> Maybe b -> Maybe (Either' a b)

toMaybes :: Either' a b -> (Maybe a, Maybe b)