uvmhs-0.0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

UVMHS.Lib.Errors

Documentation

oops :: (Monad m, MonadReader r m, HasLens r e, MonadError e m) => m a Source #

data GError Source #

Constructors

GError 

Fields

Instances

Instances details
Pretty GError Source # 
Instance details

Defined in UVMHS.Lib.Errors

Methods

pretty :: GError -> Doc Source #

errSetTyp :: (Monad m, MonadReader r m, HasLens r GError) => (() -> 𝕊) -> m a -> m a Source #

errSetLoc :: (Monad m, MonadReader r m, HasLens r GError) => (() -> 𝑃 SrcCxt) -> m a -> m a Source #

errSetMsg :: (Monad m, MonadReader r m, HasLens r GError) => (() -> 𝕊) -> m a -> m a Source #

errSetCxt :: (Monad m, MonadReader r m, HasLens r GError) => (() -> Doc) -> m a -> m a Source #

errModCxt :: (Monad m, MonadReader r m, HasLens r GError) => (Doc -> Doc) -> m a -> m a Source #