Safe Haskell	None
Language	Haskell2010

Data.Avro.EitherN

Documentation

data Either3 a b c Source #

Constructors

E3_1 a
E3_2 b
E3_3 c

Instances

Bitraversable (Either3 a) Source #
Instance details Defined in Data.Avro.EitherN Methods bitraverse :: Applicative f => (a0 -> f c) -> (b -> f d) -> Either3 a a0 b -> f (Either3 a c d) #
Bifoldable (Either3 a) Source #
Instance details Defined in Data.Avro.EitherN Methods bifold :: Monoid m => Either3 a m m -> m # bifoldMap :: Monoid m => (a0 -> m) -> (b -> m) -> Either3 a a0 b -> m # bifoldr :: (a0 -> c -> c) -> (b -> c -> c) -> c -> Either3 a a0 b -> c # bifoldl :: (c -> a0 -> c) -> (c -> b -> c) -> c -> Either3 a a0 b -> c #
Bifunctor (Either3 a) Source #
Instance details Defined in Data.Avro.EitherN Methods bimap :: (a0 -> b) -> (c -> d) -> Either3 a a0 c -> Either3 a b d # first :: (a0 -> b) -> Either3 a a0 c -> Either3 a b c # second :: (b -> c) -> Either3 a a0 b -> Either3 a a0 c #
Monad (Either3 a b) Source #
Instance details Defined in Data.Avro.EitherN Methods (>>=) :: Either3 a b a0 -> (a0 -> Either3 a b b0) -> Either3 a b b0 # (>>) :: Either3 a b a0 -> Either3 a b b0 -> Either3 a b b0 # return :: a0 -> Either3 a b a0 # fail :: String -> Either3 a b a0 #
Functor (Either3 a b) Source #
Instance details Defined in Data.Avro.EitherN Methods fmap :: (a0 -> b0) -> Either3 a b a0 -> Either3 a b b0 # (<$) :: a0 -> Either3 a b b0 -> Either3 a b a0 #
Applicative (Either3 a b) Source #
Instance details Defined in Data.Avro.EitherN Methods pure :: a0 -> Either3 a b a0 # (<>) :: Either3 a b (a0 -> b0) -> Either3 a b a0 -> Either3 a b b0 # liftA2 :: (a0 -> b0 -> c) -> Either3 a b a0 -> Either3 a b b0 -> Either3 a b c # (>) :: Either3 a b a0 -> Either3 a b b0 -> Either3 a b b0 # (<*) :: Either3 a b a0 -> Either3 a b b0 -> Either3 a b a0 #
Foldable (Either3 a b) Source #
Instance details Defined in Data.Avro.EitherN Methods fold :: Monoid m => Either3 a b m -> m # foldMap :: Monoid m => (a0 -> m) -> Either3 a b a0 -> m # foldr :: (a0 -> b0 -> b0) -> b0 -> Either3 a b a0 -> b0 # foldr' :: (a0 -> b0 -> b0) -> b0 -> Either3 a b a0 -> b0 # foldl :: (b0 -> a0 -> b0) -> b0 -> Either3 a b a0 -> b0 # foldl' :: (b0 -> a0 -> b0) -> b0 -> Either3 a b a0 -> b0 # foldr1 :: (a0 -> a0 -> a0) -> Either3 a b a0 -> a0 # foldl1 :: (a0 -> a0 -> a0) -> Either3 a b a0 -> a0 # toList :: Either3 a b a0 -> [a0] # null :: Either3 a b a0 -> Bool # length :: Either3 a b a0 -> Int # elem :: Eq a0 => a0 -> Either3 a b a0 -> Bool # maximum :: Ord a0 => Either3 a b a0 -> a0 # minimum :: Ord a0 => Either3 a b a0 -> a0 # sum :: Num a0 => Either3 a b a0 -> a0 # product :: Num a0 => Either3 a b a0 -> a0 #
Traversable (Either3 a b) Source #
Instance details Defined in Data.Avro.EitherN Methods traverse :: Applicative f => (a0 -> f b0) -> Either3 a b a0 -> f (Either3 a b b0) # sequenceA :: Applicative f => Either3 a b (f a0) -> f (Either3 a b a0) # mapM :: Monad m => (a0 -> m b0) -> Either3 a b a0 -> m (Either3 a b b0) # sequence :: Monad m => Either3 a b (m a0) -> m (Either3 a b a0) #
(Eq a, Eq b, Eq c) => Eq (Either3 a b c) Source #
Instance details Defined in Data.Avro.EitherN Methods (==) :: Either3 a b c -> Either3 a b c -> Bool # (/=) :: Either3 a b c -> Either3 a b c -> Bool #
(Ord a, Ord b, Ord c) => Ord (Either3 a b c) Source #
Instance details Defined in Data.Avro.EitherN Methods compare :: Either3 a b c -> Either3 a b c -> Ordering # (<) :: Either3 a b c -> Either3 a b c -> Bool # (<=) :: Either3 a b c -> Either3 a b c -> Bool # (>) :: Either3 a b c -> Either3 a b c -> Bool # (>=) :: Either3 a b c -> Either3 a b c -> Bool # max :: Either3 a b c -> Either3 a b c -> Either3 a b c # min :: Either3 a b c -> Either3 a b c -> Either3 a b c #
(Show a, Show b, Show c) => Show (Either3 a b c) Source #
Instance details Defined in Data.Avro.EitherN Methods showsPrec :: Int -> Either3 a b c -> ShowS # show :: Either3 a b c -> String # showList :: [Either3 a b c] -> ShowS #
Generic (Either3 a b c) Source #
Instance details Defined in Data.Avro.EitherN Associated Types type Rep (Either3 a b c) :: Type -> Type # Methods from :: Either3 a b c -> Rep (Either3 a b c) x # to :: Rep (Either3 a b c) x -> Either3 a b c #
(HasAvroSchema a, HasAvroSchema b, HasAvroSchema c) => HasAvroSchema (Either3 a b c) Source #
Instance details Defined in Data.Avro.EitherN Methods schema :: Tagged (Either3 a b c) Type Source #
(ToAvro a, ToAvro b, ToAvro c) => ToAvro (Either3 a b c) Source #
Instance details Defined in Data.Avro.EitherN Methods toAvro :: Either3 a b c -> Value Type Source #
(FromAvro a, FromAvro b, FromAvro c) => FromAvro (Either3 a b c) Source #
Instance details Defined in Data.Avro.EitherN Methods fromAvro :: Value Type -> Result (Either3 a b c) Source #
(FromLazyAvro a, FromLazyAvro b, FromLazyAvro c) => FromLazyAvro (Either3 a b c) Source #
Instance details Defined in Data.Avro.EitherN Methods fromLazyAvro :: LazyValue Type -> Result (Either3 a b c) Source #
type Rep (Either3 a b c) Source #
Instance details Defined in Data.Avro.EitherN type Rep (Either3 a b c) = D1 (MetaData "Either3" "Data.Avro.EitherN" "avro-0.4.4.3-JOdgVrx3xwa1lz3aiGCi2O" False) (C1 (MetaCons "E3_1" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :+: (C1 (MetaCons "E3_2" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 b)) :+: C1 (MetaCons "E3_3" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 c))))

data Either4 a b c d Source #

Constructors

E4_1 a
E4_2 b
E4_3 c
E4_4 d

Instances

Bitraversable (Either4 a b) Source #
Instance details Defined in Data.Avro.EitherN Methods bitraverse :: Applicative f => (a0 -> f c) -> (b0 -> f d) -> Either4 a b a0 b0 -> f (Either4 a b c d) #
Bifoldable (Either4 a b) Source #
Instance details Defined in Data.Avro.EitherN Methods bifold :: Monoid m => Either4 a b m m -> m # bifoldMap :: Monoid m => (a0 -> m) -> (b0 -> m) -> Either4 a b a0 b0 -> m # bifoldr :: (a0 -> c -> c) -> (b0 -> c -> c) -> c -> Either4 a b a0 b0 -> c # bifoldl :: (c -> a0 -> c) -> (c -> b0 -> c) -> c -> Either4 a b a0 b0 -> c #
Bifunctor (Either4 a b) Source #
Instance details Defined in Data.Avro.EitherN Methods bimap :: (a0 -> b0) -> (c -> d) -> Either4 a b a0 c -> Either4 a b b0 d # first :: (a0 -> b0) -> Either4 a b a0 c -> Either4 a b b0 c # second :: (b0 -> c) -> Either4 a b a0 b0 -> Either4 a b a0 c #
Monad (Either4 a b c) Source #
Instance details Defined in Data.Avro.EitherN Methods (>>=) :: Either4 a b c a0 -> (a0 -> Either4 a b c b0) -> Either4 a b c b0 # (>>) :: Either4 a b c a0 -> Either4 a b c b0 -> Either4 a b c b0 # return :: a0 -> Either4 a b c a0 # fail :: String -> Either4 a b c a0 #
Functor (Either4 a b c) Source #
Instance details Defined in Data.Avro.EitherN Methods fmap :: (a0 -> b0) -> Either4 a b c a0 -> Either4 a b c b0 # (<$) :: a0 -> Either4 a b c b0 -> Either4 a b c a0 #
Applicative (Either4 a b c) Source #
Instance details Defined in Data.Avro.EitherN Methods pure :: a0 -> Either4 a b c a0 # (<>) :: Either4 a b c (a0 -> b0) -> Either4 a b c a0 -> Either4 a b c b0 # liftA2 :: (a0 -> b0 -> c0) -> Either4 a b c a0 -> Either4 a b c b0 -> Either4 a b c c0 # (>) :: Either4 a b c a0 -> Either4 a b c b0 -> Either4 a b c b0 # (<*) :: Either4 a b c a0 -> Either4 a b c b0 -> Either4 a b c a0 #
Foldable (Either4 a b c) Source #
Instance details Defined in Data.Avro.EitherN Methods fold :: Monoid m => Either4 a b c m -> m # foldMap :: Monoid m => (a0 -> m) -> Either4 a b c a0 -> m # foldr :: (a0 -> b0 -> b0) -> b0 -> Either4 a b c a0 -> b0 # foldr' :: (a0 -> b0 -> b0) -> b0 -> Either4 a b c a0 -> b0 # foldl :: (b0 -> a0 -> b0) -> b0 -> Either4 a b c a0 -> b0 # foldl' :: (b0 -> a0 -> b0) -> b0 -> Either4 a b c a0 -> b0 # foldr1 :: (a0 -> a0 -> a0) -> Either4 a b c a0 -> a0 # foldl1 :: (a0 -> a0 -> a0) -> Either4 a b c a0 -> a0 # toList :: Either4 a b c a0 -> [a0] # null :: Either4 a b c a0 -> Bool # length :: Either4 a b c a0 -> Int # elem :: Eq a0 => a0 -> Either4 a b c a0 -> Bool # maximum :: Ord a0 => Either4 a b c a0 -> a0 # minimum :: Ord a0 => Either4 a b c a0 -> a0 # sum :: Num a0 => Either4 a b c a0 -> a0 # product :: Num a0 => Either4 a b c a0 -> a0 #
Traversable (Either4 a b c) Source #
Instance details Defined in Data.Avro.EitherN Methods traverse :: Applicative f => (a0 -> f b0) -> Either4 a b c a0 -> f (Either4 a b c b0) # sequenceA :: Applicative f => Either4 a b c (f a0) -> f (Either4 a b c a0) # mapM :: Monad m => (a0 -> m b0) -> Either4 a b c a0 -> m (Either4 a b c b0) # sequence :: Monad m => Either4 a b c (m a0) -> m (Either4 a b c a0) #
(Eq a, Eq b, Eq c, Eq d) => Eq (Either4 a b c d) Source #
Instance details Defined in Data.Avro.EitherN Methods (==) :: Either4 a b c d -> Either4 a b c d -> Bool # (/=) :: Either4 a b c d -> Either4 a b c d -> Bool #
(Ord a, Ord b, Ord c, Ord d) => Ord (Either4 a b c d) Source #
Instance details Defined in Data.Avro.EitherN Methods compare :: Either4 a b c d -> Either4 a b c d -> Ordering # (<) :: Either4 a b c d -> Either4 a b c d -> Bool # (<=) :: Either4 a b c d -> Either4 a b c d -> Bool # (>) :: Either4 a b c d -> Either4 a b c d -> Bool # (>=) :: Either4 a b c d -> Either4 a b c d -> Bool # max :: Either4 a b c d -> Either4 a b c d -> Either4 a b c d # min :: Either4 a b c d -> Either4 a b c d -> Either4 a b c d #
(Show a, Show b, Show c, Show d) => Show (Either4 a b c d) Source #
Instance details Defined in Data.Avro.EitherN Methods showsPrec :: Int -> Either4 a b c d -> ShowS # show :: Either4 a b c d -> String # showList :: [Either4 a b c d] -> ShowS #
Generic (Either4 a b c d) Source #
Instance details Defined in Data.Avro.EitherN Associated Types type Rep (Either4 a b c d) :: Type -> Type # Methods from :: Either4 a b c d -> Rep (Either4 a b c d) x # to :: Rep (Either4 a b c d) x -> Either4 a b c d #
(HasAvroSchema a, HasAvroSchema b, HasAvroSchema c, HasAvroSchema d) => HasAvroSchema (Either4 a b c d) Source #
Instance details Defined in Data.Avro.EitherN Methods schema :: Tagged (Either4 a b c d) Type Source #
(ToAvro a, ToAvro b, ToAvro c, ToAvro d) => ToAvro (Either4 a b c d) Source #
Instance details Defined in Data.Avro.EitherN Methods toAvro :: Either4 a b c d -> Value Type Source #
(FromAvro a, FromAvro b, FromAvro c, FromAvro d) => FromAvro (Either4 a b c d) Source #
Instance details Defined in Data.Avro.EitherN Methods fromAvro :: Value Type -> Result (Either4 a b c d) Source #
(FromLazyAvro a, FromLazyAvro b, FromLazyAvro c, FromLazyAvro d) => FromLazyAvro (Either4 a b c d) Source #
Instance details Defined in Data.Avro.EitherN Methods fromLazyAvro :: LazyValue Type -> Result (Either4 a b c d) Source #
type Rep (Either4 a b c d) Source #
Instance details Defined in Data.Avro.EitherN type Rep (Either4 a b c d) = D1 (MetaData "Either4" "Data.Avro.EitherN" "avro-0.4.4.3-JOdgVrx3xwa1lz3aiGCi2O" False) ((C1 (MetaCons "E4_1" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :+: C1 (MetaCons "E4_2" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 b))) :+: (C1 (MetaCons "E4_3" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 c)) :+: C1 (MetaCons "E4_4" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 d))))

data Either5 a b c d e Source #

Constructors

E5_1 a
E5_2 b
E5_3 c
E5_4 d
E5_5 e

Instances

Bitraversable (Either5 a b c) Source #
Instance details Defined in Data.Avro.EitherN Methods bitraverse :: Applicative f => (a0 -> f c0) -> (b0 -> f d) -> Either5 a b c a0 b0 -> f (Either5 a b c c0 d) #
Bifoldable (Either5 a b c) Source #
Instance details Defined in Data.Avro.EitherN Methods bifold :: Monoid m => Either5 a b c m m -> m # bifoldMap :: Monoid m => (a0 -> m) -> (b0 -> m) -> Either5 a b c a0 b0 -> m # bifoldr :: (a0 -> c0 -> c0) -> (b0 -> c0 -> c0) -> c0 -> Either5 a b c a0 b0 -> c0 # bifoldl :: (c0 -> a0 -> c0) -> (c0 -> b0 -> c0) -> c0 -> Either5 a b c a0 b0 -> c0 #
Bifunctor (Either5 a b c) Source #
Instance details Defined in Data.Avro.EitherN Methods bimap :: (a0 -> b0) -> (c0 -> d) -> Either5 a b c a0 c0 -> Either5 a b c b0 d # first :: (a0 -> b0) -> Either5 a b c a0 c0 -> Either5 a b c b0 c0 # second :: (b0 -> c0) -> Either5 a b c a0 b0 -> Either5 a b c a0 c0 #
Monad (Either5 a b c d) Source #
Instance details Defined in Data.Avro.EitherN Methods (>>=) :: Either5 a b c d a0 -> (a0 -> Either5 a b c d b0) -> Either5 a b c d b0 # (>>) :: Either5 a b c d a0 -> Either5 a b c d b0 -> Either5 a b c d b0 # return :: a0 -> Either5 a b c d a0 # fail :: String -> Either5 a b c d a0 #
Functor (Either5 a b c d) Source #
Instance details Defined in Data.Avro.EitherN Methods fmap :: (a0 -> b0) -> Either5 a b c d a0 -> Either5 a b c d b0 # (<$) :: a0 -> Either5 a b c d b0 -> Either5 a b c d a0 #
Applicative (Either5 a b c d) Source #
Instance details Defined in Data.Avro.EitherN Methods pure :: a0 -> Either5 a b c d a0 # (<>) :: Either5 a b c d (a0 -> b0) -> Either5 a b c d a0 -> Either5 a b c d b0 # liftA2 :: (a0 -> b0 -> c0) -> Either5 a b c d a0 -> Either5 a b c d b0 -> Either5 a b c d c0 # (>) :: Either5 a b c d a0 -> Either5 a b c d b0 -> Either5 a b c d b0 # (<*) :: Either5 a b c d a0 -> Either5 a b c d b0 -> Either5 a b c d a0 #
Foldable (Either5 a b c d) Source #
Instance details Defined in Data.Avro.EitherN Methods fold :: Monoid m => Either5 a b c d m -> m # foldMap :: Monoid m => (a0 -> m) -> Either5 a b c d a0 -> m # foldr :: (a0 -> b0 -> b0) -> b0 -> Either5 a b c d a0 -> b0 # foldr' :: (a0 -> b0 -> b0) -> b0 -> Either5 a b c d a0 -> b0 # foldl :: (b0 -> a0 -> b0) -> b0 -> Either5 a b c d a0 -> b0 # foldl' :: (b0 -> a0 -> b0) -> b0 -> Either5 a b c d a0 -> b0 # foldr1 :: (a0 -> a0 -> a0) -> Either5 a b c d a0 -> a0 # foldl1 :: (a0 -> a0 -> a0) -> Either5 a b c d a0 -> a0 # toList :: Either5 a b c d a0 -> [a0] # null :: Either5 a b c d a0 -> Bool # length :: Either5 a b c d a0 -> Int # elem :: Eq a0 => a0 -> Either5 a b c d a0 -> Bool # maximum :: Ord a0 => Either5 a b c d a0 -> a0 # minimum :: Ord a0 => Either5 a b c d a0 -> a0 # sum :: Num a0 => Either5 a b c d a0 -> a0 # product :: Num a0 => Either5 a b c d a0 -> a0 #
Traversable (Either5 a b c d) Source #
Instance details Defined in Data.Avro.EitherN Methods traverse :: Applicative f => (a0 -> f b0) -> Either5 a b c d a0 -> f (Either5 a b c d b0) # sequenceA :: Applicative f => Either5 a b c d (f a0) -> f (Either5 a b c d a0) # mapM :: Monad m => (a0 -> m b0) -> Either5 a b c d a0 -> m (Either5 a b c d b0) # sequence :: Monad m => Either5 a b c d (m a0) -> m (Either5 a b c d a0) #
(Eq a, Eq b, Eq c, Eq d, Eq e) => Eq (Either5 a b c d e) Source #
Instance details Defined in Data.Avro.EitherN Methods (==) :: Either5 a b c d e -> Either5 a b c d e -> Bool # (/=) :: Either5 a b c d e -> Either5 a b c d e -> Bool #
(Ord a, Ord b, Ord c, Ord d, Ord e) => Ord (Either5 a b c d e) Source #
Instance details Defined in Data.Avro.EitherN Methods compare :: Either5 a b c d e -> Either5 a b c d e -> Ordering # (<) :: Either5 a b c d e -> Either5 a b c d e -> Bool # (<=) :: Either5 a b c d e -> Either5 a b c d e -> Bool # (>) :: Either5 a b c d e -> Either5 a b c d e -> Bool # (>=) :: Either5 a b c d e -> Either5 a b c d e -> Bool # max :: Either5 a b c d e -> Either5 a b c d e -> Either5 a b c d e # min :: Either5 a b c d e -> Either5 a b c d e -> Either5 a b c d e #
(Show a, Show b, Show c, Show d, Show e) => Show (Either5 a b c d e) Source #
Instance details Defined in Data.Avro.EitherN Methods showsPrec :: Int -> Either5 a b c d e -> ShowS # show :: Either5 a b c d e -> String # showList :: [Either5 a b c d e] -> ShowS #
Generic (Either5 a b c d e) Source #
Instance details Defined in Data.Avro.EitherN Associated Types type Rep (Either5 a b c d e) :: Type -> Type # Methods from :: Either5 a b c d e -> Rep (Either5 a b c d e) x # to :: Rep (Either5 a b c d e) x -> Either5 a b c d e #
(HasAvroSchema a, HasAvroSchema b, HasAvroSchema c, HasAvroSchema d, HasAvroSchema e) => HasAvroSchema (Either5 a b c d e) Source #
Instance details Defined in Data.Avro.EitherN Methods schema :: Tagged (Either5 a b c d e) Type Source #
(ToAvro a, ToAvro b, ToAvro c, ToAvro d, ToAvro e) => ToAvro (Either5 a b c d e) Source #
Instance details Defined in Data.Avro.EitherN Methods toAvro :: Either5 a b c d e -> Value Type Source #
(FromAvro a, FromAvro b, FromAvro c, FromAvro d, FromAvro e) => FromAvro (Either5 a b c d e) Source #
Instance details Defined in Data.Avro.EitherN Methods fromAvro :: Value Type -> Result (Either5 a b c d e) Source #
(FromLazyAvro a, FromLazyAvro b, FromLazyAvro c, FromLazyAvro d, FromLazyAvro e) => FromLazyAvro (Either5 a b c d e) Source #
Instance details Defined in Data.Avro.EitherN Methods fromLazyAvro :: LazyValue Type -> Result (Either5 a b c d e) Source #
type Rep (Either5 a b c d e) Source #
Instance details Defined in Data.Avro.EitherN type Rep (Either5 a b c d e) = D1 (MetaData "Either5" "Data.Avro.EitherN" "avro-0.4.4.3-JOdgVrx3xwa1lz3aiGCi2O" False) ((C1 (MetaCons "E5_1" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :+: C1 (MetaCons "E5_2" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 b))) :+: (C1 (MetaCons "E5_3" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 c)) :+: (C1 (MetaCons "E5_4" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 d)) :+: C1 (MetaCons "E5_5" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 e)))))