-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Data types for returning results distinguishable by types.
--   
--   Data types for returning results distinguishable by types.
@package data-result
@version 1.0

module Data.Result
data Ok a
Ok :: a -> Ok a
data Error e a
Error :: Error e a
fromOk :: Ok a -> a
class MaybeResult m
maybeResult :: MaybeResult m => m a -> Maybe a
unsafeFromResult :: MaybeResult m => m a -> a
class IfOk m
ifOk :: IfOk m => m a -> (a -> b) -> b -> b
class CompilationError a
class Check a (ok :: Bool)
class Assert e (ok :: Bool)
assert :: Assert e ok => Proxy e -> Proxy ok -> a -> Asserted e ok a
instance GHC.Show.Show (Data.Result.Error e a)
instance Data.Traversable.Traversable Data.Result.Ok
instance Data.Foldable.Foldable Data.Result.Ok
instance GHC.Base.Functor Data.Result.Ok
instance GHC.Show.Show a => GHC.Show.Show (Data.Result.Ok a)
instance Data.Result.MaybeResult Data.Result.Ok
instance Data.Result.MaybeResult (Data.Result.Error e)
instance Data.Result.IfOk Data.Result.Ok
instance Data.Result.IfOk (Data.Result.Error e)
instance GHC.Base.Applicative Data.Result.Ok
instance GHC.Base.Monad Data.Result.Ok
instance GHC.Base.Functor (Data.Result.Error e)
instance GHC.Base.Applicative (Data.Result.Error e)
instance GHC.Base.Monad (Data.Result.Error e)
instance Data.Coat.Coated Data.Result.Ok
instance Data.Layer.Layered (Data.Result.Ok a)
instance Control.Lens.Wrapped.Rewrapped (Data.Result.Ok a) (Data.Result.Ok a')
instance Control.Lens.Wrapped.Wrapped (Data.Result.Ok a)
instance Control.Applicative.Poly.PolyApplicative (Data.Result.Error e) a
instance Control.Applicative.Poly.PolyApplicative (Data.Result.Error e) (Data.Result.Error e)
instance Control.Applicative.Poly.PolyApplicative Data.Result.Ok (Data.Result.Error e)
instance Control.Monad.Poly.PolyMonad (Data.Result.Error e) a
instance Control.Monad.Poly.PolyMonad Data.Result.Ok (Data.Result.Error e)
instance Data.Result.Check a 'GHC.Types.True
instance Data.Result.CompilationError a => Data.Result.Check a 'GHC.Types.False
instance Data.Result.Assert e 'GHC.Types.True
instance Data.Result.Assert e 'GHC.Types.False