Safe Haskell	Safe
Language	Haskell2010

Data.Either.Both

Documentation

data Either' a b Source #

Constructors

JustLeft a
JustRight b
Both a b

Instances

Bitraversable Either' Source #
Instance details Defined in Data.Either.Both Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> Either' a b -> f (Either' c d) #
Bifoldable Either' Source #
Instance details 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' Source #
Instance details 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' Source #
Instance details Defined in Data.Either.Both Methods liftEq2 :: (a -> b -> Bool) -> (c -> d -> Bool) -> Either' a c -> Either' b d -> Bool #
Ord2 Either' Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #

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

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