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

PlutusTx.Compiler.Error

Synopsis

Documentation

type CompileError uni fun ann = WithContext Text (Error uni fun ann) Source #

data Error uni fun a Source #

Instances

Instances details
(PrettyUni uni, Pretty fun, Pretty a) ⇒ PrettyBy PrettyConfigPlc (Error uni fun a) Source # 
Instance details

Defined in PlutusTx.Compiler.Error

Methods

prettyByPrettyConfigPlcError uni fun a → Doc ann Source #

prettyListByPrettyConfigPlc → [Error uni fun a] → Doc ann Source #

(PrettyUni uni, Pretty fun, Pretty a) ⇒ Pretty (Error uni fun a) Source # 
Instance details

Defined in PlutusTx.Compiler.Error

Methods

prettyError uni fun a → Doc ann Source #

prettyList ∷ [Error uni fun a] → Doc ann Source #

data WithContext c e Source #

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 Int c (WithContext c e) 

Instances

Instances details
Functor (WithContext c) Source # 
Instance details

Defined in PlutusTx.Compiler.Error

Methods

fmap ∷ (a → b) → WithContext c a → WithContext c b Source #

(<$) ∷ a → WithContext c b → WithContext c a Source #

(Pretty c, Pretty e) ⇒ Pretty (WithContext c e) Source # 
Instance details

Defined in PlutusTx.Compiler.Error

Methods

prettyWithContext c e → Doc ann Source #

prettyList ∷ [WithContext c e] → Doc ann Source #

withContextMonadError (WithContext c e) m ⇒ Int → c → m a → m a Source #

withContextMMonadError (WithContext c e) m ⇒ Int → m c → m a → m a Source #

throwPlainMonadError (WithContext c e) m ⇒ e → m a Source #