Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data SubError
- = ApplyError !Int !Int
- | UnboundError !Int
- | NonBinderError
- class ThrowSub m where
- rethrowSub :: (Applicative m, ThrowSub m) => Either SubError a -> m a
Documentation
Errors that happen in the course of instantiation, thrown by blankApply
and related functions.
class ThrowSub m where Source #
Some monadic context that lets you throw a SubError
.
Exists to let you rethrow to a more convenient context rather than
pattern maching.
rethrowSub :: (Applicative m, ThrowSub m) => Either SubError a -> m a Source #