Safe Haskell	Safe-Inferred
Language	Haskell2010

ConditionalRestriction.Result

Description

A simple result type. Similar to the Either type, but tuned for results with an error type.

Synopsis

Documentation

The Result type consists of an error type e and a success type a.

Constructors

Err e
Ok a

Instances details

Bifunctor Result Source #
Instance details Defined in ConditionalRestriction.Result Methods bimap :: (a -> b) -> (c -> d) -> Result a c -> Result b d # first :: (a -> b) -> Result a c -> Result b c # second :: (b -> c) -> Result a b -> Result a c #
Applicative (Result e) Source #
Instance details Defined in ConditionalRestriction.Result Methods pure :: a -> Result e a # (<>) :: Result e (a -> b) -> Result e a -> Result e b # liftA2 :: (a -> b -> c) -> Result e a -> Result e b -> Result e c # (>) :: Result e a -> Result e b -> Result e b # (<*) :: Result e a -> Result e b -> Result e a #
Functor (Result e) Source #
Instance details Defined in ConditionalRestriction.Result Methods fmap :: (a -> b) -> Result e a -> Result e b # (<$) :: a -> Result e b -> Result e a #
Monad (Result e) Source #
Instance details Defined in ConditionalRestriction.Result 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 #
(Show e, Show a) => Show (Result e a) Source #
Instance details Defined in ConditionalRestriction.Result Methods showsPrec :: Int -> Result e a -> ShowS # show :: Result e a -> String # showList :: [Result e a] -> ShowS #
(Eq e, Eq a) => Eq (Result e a) Source #
Instance details Defined in ConditionalRestriction.Result Methods (==) :: Result e a -> Result e a -> Bool # (/=) :: Result e a -> Result e a -> Bool #

Result equivalent to fromMaybe.