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


-- | Encode success or at least one error
--   
--   Encode success or at least one error
@package result
@version 0.2.5.0

module Data.Result
data Result e a
get :: Result e a -> Maybe a
errors :: Result e a -> [e]
raise :: e -> Result e a
raiseAll :: [e] -> Result e ()
accumulate :: Traversable t => t (Result e a) -> Result e (t a)
fromEither :: Either e a -> Result e a
instance Data.Foldable.Foldable (Data.Result.Result e)
instance GHC.Base.Monad (Data.Result.Result e)
instance GHC.Base.Applicative (Data.Result.Result e)
instance GHC.Base.Functor (Data.Result.Result e)
instance (GHC.Show.Show e, GHC.Show.Show a) => GHC.Show.Show (Data.Result.Result e a)
instance (GHC.Classes.Ord e, GHC.Classes.Ord a) => GHC.Classes.Ord (Data.Result.Result e a)
instance (GHC.Classes.Eq e, GHC.Classes.Eq a) => GHC.Classes.Eq (Data.Result.Result e a)
instance Data.Traversable.Traversable (Data.Result.Result e)
instance Data.Key.Zip (Data.Result.Result e)
instance Data.Bifunctor.Bifunctor Data.Result.Result
instance Data.Bifoldable.Bifoldable Data.Result.Result
instance Data.Bitraversable.Bitraversable Data.Result.Result
instance GHC.Base.Functor (Data.Result.AccumulatingResult e)
instance GHC.Base.Applicative (Data.Result.AccumulatingResult e)

module Control.Monad.Trans.Result
data ResultT e m a
runResultT :: ResultT e m a -> m (Result e a)
hoist :: Applicative f => Result e a -> ResultT e f a
raiseT :: Applicative f => e -> ResultT e f a
raiseAllT :: Applicative f => [e] -> ResultT e f ()
accumulateT :: (Traversable t, Applicative f) => t (ResultT e f a) -> ResultT e f (t a)
fromExceptT :: Functor f => ExceptT e f a -> ResultT e f a
instance GHC.Base.Functor f => GHC.Base.Functor (Control.Monad.Trans.Result.ResultT e f)
instance GHC.Base.Applicative f => GHC.Base.Applicative (Control.Monad.Trans.Result.ResultT e f)
instance GHC.Base.Monad m => GHC.Base.Monad (Control.Monad.Trans.Result.ResultT e m)
instance Control.Monad.Trans.Class.MonadTrans (Control.Monad.Trans.Result.ResultT e)
instance Control.Monad.State.Class.MonadState s m => Control.Monad.State.Class.MonadState s (Control.Monad.Trans.Result.ResultT e m)