Data.Result

Documentation

data Ok a

Constructors

Ok a

Instances

Monad Ok

Functor Ok

Applicative Ok

Foldable Ok

Traversable Ok

Coated Ok

IfOk Ok

MaybeResult Ok

PolyMonad Ok (Error e)

PolyApplicative Ok (Error e)

Show a => Show (Ok a)

Layered (Ok a)

Wrapped (Ok a)

Rewrapped (Ok a) (Ok a')

type PolyBind Ok Ok = Ok

type PolyBind Ok (Error e) = Error e

type Unlayered (Ok a) = a

type Unwrapped (Ok a) = a

data Error e a

Constructors

Error

Instances

PolyMonad Ok (Error e)

PolyApplicative Ok (Error e)

Monad (Error e)

Functor (Error e)

Applicative (Error e)

IfOk (Error e)

MaybeResult (Error e)

PolyMonad (Error e) a

PolyApplicative (Error e) a

PolyApplicative (Error e) (Error e)

Show (Error e a)

type PolyBind Ok (Error e) = Error e

type PolyBind (Error e) a = Error e

fromOk :: Ok a -> a

class MaybeResult m where

Methods

maybeResult :: m a -> Maybe a

Instances

MaybeResult Ok

MaybeResult (Error e)

unsafeFromResult :: MaybeResult m => m a -> a

class IfOk m where

Methods

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

Instances

IfOk Ok

IfOk (Error e)

class CompilationError a

class Check a ok

Instances

CompilationError a => Check a False

Check a True

type family Asserted e check

Equations

Asserted e True = Ok

Asserted e False = Error e

class Assert e ok where

Methods

assert :: Proxy e -> Proxy ok -> a -> Asserted e ok a

Instances

Assert e False

Assert e True