Data.Either (original) (raw)
Since: 4.9.0.0
Instance details
Defined in Data.Functor.Classes
Methods
liftShowsPrec2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> Int -> Either a b -> ShowS Source #
liftShowList2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> [Either a b] -> ShowS Source #
Since: 4.9.0.0
Instance details
Defined in Data.Functor.Classes
Methods
liftReadsPrec2 :: (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> Int -> ReadS (Either a b) Source #
liftReadList2 :: (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> ReadS [Either a b] Source #
liftReadPrec2 :: ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec (Either a b) Source #
liftReadListPrec2 :: ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec [Either a b] Source #
Since: 4.9.0.0
Instance details
Defined in Data.Functor.Classes
Methods
liftCompare2 :: (a -> b -> Ordering) -> (c -> d -> Ordering) -> Either a c -> Either b d -> Ordering Source #
Since: 4.9.0.0
Instance details
Defined in Data.Functor.Classes
Methods
liftEq2 :: (a -> b -> Bool) -> (c -> d -> Bool) -> Either a c -> Either b d -> Bool Source #
Since: 4.8.0.0
Instance details
Defined in Data.Bifunctor
Methods
bimap :: (a -> b) -> (c -> d) -> Either a c -> Either b d Source #
first :: (a -> b) -> Either a c -> Either b c Source #
second :: (b -> c) -> Either a b -> Either a c Source #
Since: 4.10.0.0
Instance details
Defined in Data.Bifoldable
Methods
bifold :: Monoid m => Either m m -> m Source #
bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> Either a b -> m Source #
bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> Either a b -> c Source #
bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> Either a b -> c Source #
Since: 4.10.0.0
Instance details
Defined in Data.Bitraversable
Methods
bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> Either a b -> f (Either c d) Source #
Since: 4.4.0.0
Instance details
Defined in Data.Either
Methods
(>>=) :: Either e a -> (a -> Either e b) -> Either e b Source #
(>>) :: Either e a -> Either e b -> Either e b Source #
return :: a -> Either e a Source #
fail :: String -> Either e a Source #
Since: 3.0
Instance details
Defined in Data.Either
Methods
fmap :: (a0 -> b) -> Either a a0 -> Either a b Source #
(<$) :: a0 -> Either a b -> Either a a0 Source #
Since: 4.3.0.0
Instance details
Defined in Control.Monad.Fix
Methods
mfix :: (a -> Either e a) -> Either e a Source #
Applicative (Either e) Source #
Since: 3.0
Instance details
Defined in Data.Either
Methods
pure :: a -> Either e a Source #
(<*>) :: Either e (a -> b) -> Either e a -> Either e b Source #
liftA2 :: (a -> b -> c) -> Either e a -> Either e b -> Either e c Source #
(*>) :: Either e a -> Either e b -> Either e b Source #
(<*) :: Either e a -> Either e b -> Either e a Source #
Since: 4.7.0.0
Instance details
Defined in Data.Foldable
Methods
fold :: Monoid m => Either a m -> m Source #
foldMap :: Monoid m => (a0 -> m) -> Either a a0 -> m Source #
foldr :: (a0 -> b -> b) -> b -> Either a a0 -> b Source #
foldr' :: (a0 -> b -> b) -> b -> Either a a0 -> b Source #
foldl :: (b -> a0 -> b) -> b -> Either a a0 -> b Source #
foldl' :: (b -> a0 -> b) -> b -> Either a a0 -> b Source #
foldr1 :: (a0 -> a0 -> a0) -> Either a a0 -> a0 Source #
foldl1 :: (a0 -> a0 -> a0) -> Either a a0 -> a0 Source #
toList :: Either a a0 -> [a0] Source #
null :: Either a a0 -> Bool Source #
length :: Either a a0 -> Int Source #
elem :: Eq a0 => a0 -> Either a a0 -> Bool Source #
maximum :: Ord a0 => Either a a0 -> a0 Source #
minimum :: Ord a0 => Either a a0 -> a0 Source #
sum :: Num a0 => Either a a0 -> a0 Source #
product :: Num a0 => Either a a0 -> a0 Source #
Traversable (Either a) Source #
Since: 4.7.0.0
Instance details
Defined in Data.Traversable
Methods
traverse :: Applicative f => (a0 -> f b) -> Either a a0 -> f (Either a b) Source #
sequenceA :: Applicative f => Either a (f a0) -> f (Either a a0) Source #
mapM :: Monad m => (a0 -> m b) -> Either a a0 -> m (Either a b) Source #
sequence :: Monad m => Either a (m a0) -> m (Either a a0) Source #
Show a => Show1 (Either a) Source #
Since: 4.9.0.0
Instance details
Defined in Data.Functor.Classes
Methods
liftShowsPrec :: (Int -> a0 -> ShowS) -> ([a0] -> ShowS) -> Int -> Either a a0 -> ShowS Source #
liftShowList :: (Int -> a0 -> ShowS) -> ([a0] -> ShowS) -> [Either a a0] -> ShowS Source #
Read a => Read1 (Either a) Source #
Since: 4.9.0.0
Instance details
Defined in Data.Functor.Classes
Methods
liftReadsPrec :: (Int -> ReadS a0) -> ReadS [a0] -> Int -> ReadS (Either a a0) Source #
liftReadList :: (Int -> ReadS a0) -> ReadS [a0] -> ReadS [Either a a0] Source #
liftReadPrec :: ReadPrec a0 -> ReadPrec [a0] -> ReadPrec (Either a a0) Source #
liftReadListPrec :: ReadPrec a0 -> ReadPrec [a0] -> ReadPrec [Either a a0] Source #
Ord a => Ord1 (Either a) Source #
Since: 4.9.0.0
Instance details
Defined in Data.Functor.Classes
Methods
liftCompare :: (a0 -> b -> Ordering) -> Either a a0 -> Either a b -> Ordering Source #
Eq a => Eq1 (Either a) Source #
Since: 4.9.0.0
Instance details
Defined in Data.Functor.Classes
Methods
liftEq :: (a0 -> b -> Bool) -> Either a a0 -> Either a b -> Bool Source #
Generic1 (Either a :: Type -> Type) Source #
Instance details
Defined in GHC.Generics
Associated Types
type Rep1 (Either a) :: k -> Type Source #
Methods
from1 :: Either a a0 -> Rep1 (Either a) a0 Source #
to1 :: Rep1 (Either a) a0 -> Either a a0 Source #
(Eq a, Eq b) => Eq (Either a b) Source #
Since: 2.1
Instance details
Defined in Data.Either
Methods
(==) :: Either a b -> Either a b -> Bool #
(/=) :: Either a b -> Either a b -> Bool #
(Data a, Data b) => Data (Either a b) Source #
Since: 4.0.0.0
Instance details
Defined in Data.Data
Methods
gfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> Either a b -> c (Either a b) Source #
gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Either a b) Source #
toConstr :: Either a b -> Constr Source #
dataTypeOf :: Either a b -> DataType Source #
dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Either a b)) Source #
dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Either a b)) Source #
gmapT :: (forall b0. Data b0 => b0 -> b0) -> Either a b -> Either a b Source #
gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Either a b -> r Source #
gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Either a b -> r Source #
gmapQ :: (forall d. Data d => d -> u) -> Either a b -> [u] Source #
gmapQi :: Int -> (forall d. Data d => d -> u) -> Either a b -> u Source #
gmapM :: Monad m => (forall d. Data d => d -> m d) -> Either a b -> m (Either a b) Source #
gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Either a b -> m (Either a b) Source #
gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Either a b -> m (Either a b) Source #
(Ord a, Ord b) => Ord (Either a b) Source #
Since: 2.1
Instance details
Defined in Data.Either
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 #
Since: 3.0
Instance details
Defined in Data.Either
Methods
readsPrec :: Int -> ReadS (Either a b) Source #
readList :: ReadS [Either a b] Source #
readPrec :: ReadPrec (Either a b) Source #
readListPrec :: ReadPrec [Either a b] Source #
(Show a, Show b) => Show (Either a b) Source #
Since: 3.0
Instance details
Defined in Data.Either
Methods
showsPrec :: Int -> Either a b -> ShowS Source #
show :: Either a b -> String Source #
showList :: [Either a b] -> ShowS Source #
Instance details
Defined in GHC.Generics
Associated Types
type Rep (Either a b) :: Type -> Type Source #
Methods
from :: Either a b -> Rep (Either a b) x Source #
to :: Rep (Either a b) x -> Either a b Source #
Semigroup (Either a b) Source #
Since: 4.9.0.0
Instance details
Defined in Data.Either
Methods
(<>) :: Either a b -> Either a b -> Either a b Source #
sconcat :: NonEmpty (Either a b) -> Either a b Source #
stimes :: Integral b0 => b0 -> Either a b -> Either a b Source #
type Rep1 (Either a :: Type -> Type) Source #
Since: 4.6.0.0
Instance details
Defined in GHC.Generics
type Rep1 (Either a :: Type -> Type) = D1 (MetaData "Either" "Data.Either" "base" False) (C1 (MetaCons "Left" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :+: C1 (MetaCons "Right" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) Par1))
type Rep (Either a b) Source #
Since: 4.6.0.0
Instance details
Defined in GHC.Generics
type Rep (Either a b) = D1 (MetaData "Either" "Data.Either" "base" False) (C1 (MetaCons "Left" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :+: C1 (MetaCons "Right" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 b)))