Safe Haskell	Safe
Language	Haskell2010

Saison.Decoding.Result

Synopsis

newtype Result e k a = Result {
- unResult :: forall r. (e -> r) -> (a -> k -> r) -> r
}
pureResult :: a -> k -> Result e k a
failResult :: e -> Result e k a

Documentation

newtype Result e k a Source #

TODO I'm not sure this is the type we want.

Maybe we want bundle input into this, and make this class "Profunctor-y".

Constructors

Result
Fields unResult :: forall r. (e -> r) -> (a -> k -> r) -> r

Instances

Functor (Result e k) Source #
Instance details Defined in Saison.Decoding.Result Methods fmap :: (a -> b) -> Result e k a -> Result e k b # (<$) :: a -> Result e k b -> Result e k a #