blanks-0.4.2: Fill-in-the-blanks - A library factoring out substitution from ASTs

Safe HaskellNone
LanguageHaskell2010

Blanks.Sub

Synopsis

Documentation

data SubError Source #

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

Instances
Eq SubError Source # 
Instance details

Defined in Blanks.Sub

Show SubError Source # 
Instance details

Defined in Blanks.Sub

Exception SubError Source # 
Instance details

Defined in Blanks.Sub

ThrowSub (Either SubError) Source # 
Instance details

Defined in Blanks.Sub

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.

Methods

throwSub :: SubError -> m a Source #

Instances
ThrowSub IO Source # 
Instance details

Defined in Blanks.Sub

Methods

throwSub :: SubError -> IO a Source #

ThrowSub (Either SubError) Source # 
Instance details

Defined in Blanks.Sub