Blanks.Sub

Documentation

data SubError

Errors that happen in the course of instantiation, thrown by blankApply and related functions.

Constructors

ApplyError !Int !Int

UnboundError !Int

NonBinderError

Instances

Eq SubError

Defined in Blanks.Sub

Methods

(==) :: SubError -> SubError -> Bool

(/=) :: SubError -> SubError -> Bool

Show SubError

Defined in Blanks.Sub

Methods

showsPrec :: Int -> SubError -> ShowS

show :: SubError -> String

showList :: [SubError] -> ShowS

Exception SubError

Defined in Blanks.Sub

Methods

toException :: SubError -> SomeException

fromException :: SomeException -> Maybe SubError

displayException :: SubError -> String

ThrowSub (Either SubError)

Defined in Blanks.Sub

Methods

throwSub :: SubError -> Either SubError a

class ThrowSub m where

Some monadic context that lets you throw a SubError. Exists to let you rethrow to a more convenient context rather than pattern maching.

Methods

throwSub :: SubError -> m a

Instances

ThrowSub IO

Defined in Blanks.Sub

Methods

throwSub :: SubError -> IO a

ThrowSub (Either SubError)

Defined in Blanks.Sub

Methods

throwSub :: SubError -> Either SubError a

rethrowSub :: (Applicative m, ThrowSub m) => Either SubError a -> m a