Copyright	(c) Owen Shepherd 2021
License	MIT
Maintainer	owen@owen.cafe
Stability	stable
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Applicative.MultiExcept

Description

Synopsis

data MultiExcept err a
fromEither :: Either err a -> MultiExcept err a
fromEitherPoly :: Either (DNonEmpty err) a -> MultiExcept err a
join :: MultiExcept err (MultiExcept err a) -> MultiExcept err a
runMultiExcept :: MultiExcept err a -> Either (DNonEmpty err) a
succeed :: forall err a. a -> MultiExcept err a
throwError :: forall a err. err -> MultiExcept err a
throwErrors :: forall a err. DNonEmpty err -> MultiExcept err a

Documentation

data MultiExcept err a Source #

A MultiExcept is a success value, or one or more errors.

Instances

Instances details

Functor (MultiExcept err) Source #
Instance details Defined in Control.Applicative.MultiExcept Methods fmap :: (a -> b) -> MultiExcept err a -> MultiExcept err b # (<$) :: a -> MultiExcept err b -> MultiExcept err a #
Applicative (MultiExcept err) Source #
Instance details Defined in Control.Applicative.MultiExcept Methods pure :: a -> MultiExcept err a # (<>) :: MultiExcept err (a -> b) -> MultiExcept err a -> MultiExcept err b # liftA2 :: (a -> b -> c) -> MultiExcept err a -> MultiExcept err b -> MultiExcept err c # (>) :: MultiExcept err a -> MultiExcept err b -> MultiExcept err b # (<*) :: MultiExcept err a -> MultiExcept err b -> MultiExcept err a #
Alt (MultiExcept err) Source #
Instance details Defined in Control.Applicative.MultiExcept Methods (<!>) :: MultiExcept err a -> MultiExcept err a -> MultiExcept err a # some :: Applicative (MultiExcept err) => MultiExcept err a -> MultiExcept err [a] # many :: Applicative (MultiExcept err) => MultiExcept err a -> MultiExcept err [a] #
(Eq a, Eq err) => Eq (MultiExcept err a) Source #
Instance details Defined in Control.Applicative.MultiExcept Methods (==) :: MultiExcept err a -> MultiExcept err a -> Bool # (/=) :: MultiExcept err a -> MultiExcept err a -> Bool #
(Ord a, Ord err) => Ord (MultiExcept err a) Source #
Instance details Defined in Control.Applicative.MultiExcept Methods compare :: MultiExcept err a -> MultiExcept err a -> Ordering # (<) :: MultiExcept err a -> MultiExcept err a -> Bool # (<=) :: MultiExcept err a -> MultiExcept err a -> Bool # (>) :: MultiExcept err a -> MultiExcept err a -> Bool # (>=) :: MultiExcept err a -> MultiExcept err a -> Bool # max :: MultiExcept err a -> MultiExcept err a -> MultiExcept err a # min :: MultiExcept err a -> MultiExcept err a -> MultiExcept err a #
(Read a, Read err) => Read (MultiExcept err a) Source #
Instance details Defined in Control.Applicative.MultiExcept Methods readsPrec :: Int -> ReadS (MultiExcept err a) # readList :: ReadS [MultiExcept err a] # readPrec :: ReadPrec (MultiExcept err a) # readListPrec :: ReadPrec [MultiExcept err a] #
(Show a, Show err) => Show (MultiExcept err a) Source #
Instance details Defined in Control.Applicative.MultiExcept Methods showsPrec :: Int -> MultiExcept err a -> ShowS # show :: MultiExcept err a -> String # showList :: [MultiExcept err a] -> ShowS #

fromEither :: Either err a -> MultiExcept err a Source #

Convert an Either to a MultiExcept.

fromEitherPoly :: Either (DNonEmpty err) a -> MultiExcept err a Source #

Convert a multi-error Either to a MultiExcept.

join :: MultiExcept err (MultiExcept err a) -> MultiExcept err a Source #

Join nested MultiExcepts with the same error type. Note that this doesn't imply a useful Monad instance. The instance defined in terms of join discards errors on the RHS of >>=.

runMultiExcept :: MultiExcept err a -> Either (DNonEmpty err) a Source #

Run the computation.

succeed :: forall err a. a -> MultiExcept err a Source #

Embeds a value into a MultiExcept context.

throwError :: forall a err. err -> MultiExcept err a Source #

Throw a single error.

throwErrors :: forall a err. DNonEmpty err -> MultiExcept err a Source #

Throw one or more errors.