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


-- | Type isomorphic to `Either` with `Applicative` instance which combines errors
--   
--   Type isomorphic to <a>Either</a> with <a>Applicative</a> instance
--   which combines errors
@package valid
@version 0.1.1.0

module Data.Valid
data Valid e a
Failure :: e -> Valid e a
Valid :: a -> Valid e a
fromEither :: Either e a -> Valid e a
toEither :: Valid e a -> Either e a
instance Data.Traversable.Traversable (Data.Valid.Valid e)
instance Data.Foldable.Foldable (Data.Valid.Valid e)
instance GHC.Base.Functor (Data.Valid.Valid e)
instance (GHC.Show.Show e, GHC.Show.Show a) => GHC.Show.Show (Data.Valid.Valid e a)
instance (GHC.Read.Read e, GHC.Read.Read a) => GHC.Read.Read (Data.Valid.Valid e a)
instance (GHC.Classes.Eq e, GHC.Classes.Eq a) => GHC.Classes.Eq (Data.Valid.Valid e a)
instance GHC.Base.Semigroup e => GHC.Base.Applicative (Data.Valid.Valid e)
instance Data.Bifunctor.Bifunctor Data.Valid.Valid
instance Data.Bifoldable.Bifoldable Data.Valid.Valid
instance Data.Bitraversable.Bitraversable Data.Valid.Valid
instance Data.Functor.Classes.Eq2 Data.Valid.Valid