symantic-grammar-0.3.1.20180831: Library for symantic grammars.
Language.Symantic.Grammar.Error
Contents
ErrorInj
class ErrorInj a b where Source #
Minimal complete definition
errorInj
Methods
errorInj :: a -> b Source #
Defined in Language.Symantic.Grammar.Error
errorInj :: err -> Either e a Source #
liftError :: forall e0 err e1 a. ErrorInj e0 e1 => ErrorInj e1 err => Proxy e1 -> Either e0 a -> Either err a Source #