Data.Result

Documentation

newtype Result e a

Constructors

Result (Either (NonEmpty e) a)

Instances

Monad (Result e)

Methods

(>>=) :: Result e a -> (a -> Result e b) -> Result e b

(>>) :: Result e a -> Result e b -> Result e b

return :: a -> Result e a

fail :: String -> Result e a

Functor (Result e)

Methods

fmap :: (a -> b) -> Result e a -> Result e b

(<$) :: a -> Result e b -> Result e a

Applicative (Result e)

Methods

pure :: a -> Result e a

(<*>) :: Result e (a -> b) -> Result e a -> Result e b

(*>) :: Result e a -> Result e b -> Result e b

(<*) :: Result e a -> Result e b -> Result e a

Zip (Result e)

Methods

zipWith :: (a -> b -> c) -> Result e a -> Result e b -> Result e c

zip :: Result e a -> Result e b -> Result e (a, b)

zap :: Result e (a -> b) -> Result e a -> Result e b

(Eq e, Eq a) => Eq (Result e a)

Methods

(==) :: Result e a -> Result e a -> Bool

(/=) :: Result e a -> Result e a -> Bool

(Ord e, Ord a) => Ord (Result e a)

Methods

compare :: Result e a -> Result e a -> Ordering

(<) :: Result e a -> Result e a -> Bool

(<=) :: Result e a -> Result e a -> Bool

(>) :: Result e a -> Result e a -> Bool

(>=) :: Result e a -> Result e a -> Bool

max :: Result e a -> Result e a -> Result e a

min :: Result e a -> Result e a -> Result e a

(Show e, Show a) => Show (Result e a)

Methods

showsPrec :: Int -> Result e a -> ShowS

show :: Result e a -> String

showList :: [Result e a] -> ShowS

raise :: e -> Result e a

get :: Result e a -> Maybe a

errors :: Result e a -> [e]