Safe Haskell	None
Language	Haskell2010

Data.Result

Documentation

Constructors

Instances

Monad Ok Source
Functor Ok Source
Applicative Ok Source
Foldable Ok Source
Traversable Ok Source
Coated Ok Source
IfOk Ok Source
MaybeResult Ok Source
PolyMonad Ok (Error e) Source
PolyApplicative Ok (Error e) Source
Show a => Show (Ok a) Source
Layered (Ok a) Source
Wrapped (Ok a) Source
Rewrapped (Ok a) (Ok a') Source
type PolyBind Ok Ok = Ok Source
type PolyBind Ok (Error e) = Error e Source
type Unlayered (Ok a) = a Source
type Unwrapped (Ok a) = a Source

Constructors

Instances

PolyMonad Ok (Error e) Source
PolyApplicative Ok (Error e) Source
Monad (Error e) Source
Functor (Error e) Source
Applicative (Error e) Source
IfOk (Error e) Source
MaybeResult (Error e) Source
PolyMonad (Error e) a Source
PolyApplicative (Error e) a Source
PolyApplicative (Error e) (Error e) Source
Show (Error e a) Source
type PolyBind Ok (Error e) = Error e Source
type PolyBind (Error e) a = Error e Source

Methods

Instances

MaybeResult Ok Source
MaybeResult (Error e) Source

class IfOk m where Source

Methods

ifOk :: m a -> (a -> b) -> b -> b Source

Instances

IfOk Ok Source
IfOk (Error e) Source

class Check a ok Source

Instances

CompilationError a => Check a False Source
Check a True Source

type family Asserted e check Source

Equations

Asserted e True = Ok
Asserted e False = Error e

class Assert e ok where Source

Methods

Instances

Assert e False Source
Assert e True Source