plutus-tx-plugin-1.60.0.0: The Plutus Tx compiler and GHC plugin
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusTx.Compiler.Error

Synopsis

data WithContext c e #

An error with some (nested) context. The integer argument to WithContextC represents the priority of the context when displaying it. Lower numbers are more prioritised.

Constructors

NoContext e 
WithContextC Doc ann #

withContext :: MonadError (WithContext c e) m => Int -> c -> m a -> m a #

withContextM :: MonadError (WithContext c e) m => Int -> m c -> m a -> m a #

throwPlain :: MonadError (WithContext c e) m => e -> m a #

pruneContext :: Int -> WithContext c e -> WithContext c e #

mapContext :: (c -> c') -> WithContext c e -> WithContext c' e #