Safe Haskell	None
Language	Haskell2010

Language.Symantic.Grammar.Error

Contents

Synopsis

class ErrorInj a b where
- errorInj :: a -> b
liftError :: forall e0 err e1 a. ErrorInj e0 e1 => ErrorInj e1 err => Proxy e1 -> Either e0 a -> Either err a

Class `ErrorInj`

class ErrorInj a b where Source #

Methods

Instances

ErrorInj err e => ErrorInj err (Either e a) Source #
Instance details Defined in Language.Symantic.Grammar.Error 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 #

Class ErrorInj