symantic-grammar-0.2.0.20170709: Library for symantic grammars.

Safe HaskellNone
LanguageHaskell2010

Language.Symantic.Grammar.Error

Contents

Synopsis

Class ErrorInj

class ErrorInj a b where Source #

Minimal complete definition

errorInj

Methods

errorInj :: a -> b Source #

Instances

ErrorInj err e => ErrorInj err (Either e a) Source # 

Methods

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 #