-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | The Neither datatype
--   
--   A datatype that discards its two arguments
@package neither-data
@version 0.2.3.2


-- | In this module, instances have been annotated with the interpretation
--   of the Neither type that they use.
module Data.Neither

-- | The Neither type has a single constructor and ignores its type
--   arguments
data Neither a b
Neither :: Neither a b

-- | Produces a Neither value whose types match the arguments, discarding
--   the arguments
neither :: a -> b -> Neither a b
instance (Data.Data.Data a, Data.Data.Data b) => Data.Data.Data (Data.Neither.Neither a b)
instance GHC.Enum.Bounded (Data.Neither.Neither a b)
instance GHC.Enum.Enum (Data.Neither.Neither a b)
instance GHC.Classes.Ord (Data.Neither.Neither a b)
instance GHC.Classes.Eq (Data.Neither.Neither a b)
instance GHC.Show.Show (Data.Neither.Neither a b)
instance GHC.Read.Read (Data.Neither.Neither a b)
instance GHC.Base.Functor (Data.Neither.Neither a)
instance GHC.Base.Applicative (Data.Neither.Neither a)
instance GHC.Base.Monad (Data.Neither.Neither a)
instance Control.Monad.Fail.MonadFail (Data.Neither.Neither a)
instance Control.Monad.IO.Class.MonadIO (Data.Neither.Neither a)
instance GHC.Base.Semigroup (Data.Neither.Neither a b)
instance GHC.Base.Monoid (Data.Neither.Neither a b)
instance GHC.Num.Num (Data.Neither.Neither a b)
instance GHC.Real.Real (Data.Neither.Neither a b)
instance GHC.Real.Integral (Data.Neither.Neither a b)
instance GHC.Real.Fractional (Data.Neither.Neither a b)
instance GHC.Float.Floating (Data.Neither.Neither a b)
instance GHC.Real.RealFrac (Data.Neither.Neither a b)
instance Data.Bits.Bits (Data.Neither.Neither a b)
instance Data.Bits.FiniteBits (Data.Neither.Neither a b)
instance GHC.Base.Alternative (Data.Neither.Neither a)
instance GHC.Base.MonadPlus (Data.Neither.Neither a)
instance Data.Functor.Contravariant.Contravariant (Data.Neither.Neither a)
instance Data.Bifunctor.Bifunctor Data.Neither.Neither
instance Control.Monad.Zip.MonadZip (Data.Neither.Neither a)
instance Control.Monad.Fix.MonadFix (Data.Neither.Neither a)
instance Data.Foldable.Foldable (Data.Neither.Neither a)
instance Data.Traversable.Traversable (Data.Neither.Neither a)
instance Data.Bifoldable.Bifoldable Data.Neither.Neither
instance Data.Bitraversable.Bitraversable Data.Neither.Neither
instance Control.Category.Category Data.Neither.Neither
instance Control.Arrow.Arrow Data.Neither.Neither
instance Control.Arrow.ArrowZero Data.Neither.Neither
instance Control.Arrow.ArrowPlus Data.Neither.Neither
instance Control.Arrow.ArrowChoice Data.Neither.Neither
instance Control.Arrow.ArrowApply Data.Neither.Neither
instance Control.Arrow.ArrowLoop Data.Neither.Neither
instance Data.String.IsString (Data.Neither.Neither a b)
instance GHC.Ix.Ix (Data.Neither.Neither a b)
instance Data.Functor.Classes.Eq1 (Data.Neither.Neither a)
instance Data.Functor.Classes.Ord1 (Data.Neither.Neither a)
instance Data.Functor.Classes.Eq2 Data.Neither.Neither
instance Data.Functor.Classes.Ord2 Data.Neither.Neither