| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusTx.ErrorCodes
Synopsis
- plutusPreludeErrorCodes ∷ Map BuiltinString String
- reconstructCaseError ∷ BuiltinString
- voidIsNotSupportedError ∷ BuiltinString
- ratioHasZeroDenominatorError ∷ BuiltinString
- checkHasFailedError ∷ BuiltinString
- negativeIndexError ∷ BuiltinString
- indexTooLargeError ∷ BuiltinString
- headEmptyListError ∷ BuiltinString
- tailEmptyListError ∷ BuiltinString
- succVoidBadArgumentError ∷ BuiltinString
- predVoidBadArgumentError ∷ BuiltinString
- toEnumVoidBadArgumentError ∷ BuiltinString
- succBoolBadArgumentError ∷ BuiltinString
- predBoolBadArgumentError ∷ BuiltinString
- toEnumBoolBadArgumentError ∷ BuiltinString
- succOrderingBadArgumentError ∷ BuiltinString
- predOrderingBadArgumentError ∷ BuiltinString
- toEnumOrderingBadArgumentError ∷ BuiltinString
- lastEmptyListError ∷ BuiltinString
- reciprocalOfZeroError ∷ BuiltinString
- builtinListNegativeIndexError ∷ BuiltinString
- builtinListIndexTooLargeError ∷ BuiltinString
Documentation
plutusPreludeErrorCodes ∷ Map BuiltinString String Source #
All error codes used in the plutus prelude associated with a human-readable description.
reconstructCaseError ∷ BuiltinString Source #
The error happens in TH generation of indexed data
voidIsNotSupportedError ∷ BuiltinString Source #
Error case of unsafeFromBuiltinData
ratioHasZeroDenominatorError ∷ BuiltinString Source #
Ratio number can't have a zero denominator
checkHasFailedError ∷ BuiltinString Source #
check input is False
negativeIndexError ∷ BuiltinString Source #
PlutusTx.List.!!: negative index
indexTooLargeError ∷ BuiltinString Source #
PlutusTx.List.!!: index too large
headEmptyListError ∷ BuiltinString Source #
PlutusTx.List.head: empty list
tailEmptyListError ∷ BuiltinString Source #
PlutusTx.List.tail: empty list
succVoidBadArgumentError ∷ BuiltinString Source #
PlutusTx.Enum.().succ: bad argument
predVoidBadArgumentError ∷ BuiltinString Source #
PlutusTx.Enum.().pred: bad argument
toEnumVoidBadArgumentError ∷ BuiltinString Source #
PlutusTx.Enum.().toEnum: bad argument
succBoolBadArgumentError ∷ BuiltinString Source #
PlutusTx.Enum.Bool.succ: bad argument
predBoolBadArgumentError ∷ BuiltinString Source #
PlutusTx.Enum.Bool.pred: bad argument
toEnumBoolBadArgumentError ∷ BuiltinString Source #
PlutusTx.Enum.Bool.toEnum: bad argument
succOrderingBadArgumentError ∷ BuiltinString Source #
PlutusTx.Enum.Ordering.succ: bad argument
predOrderingBadArgumentError ∷ BuiltinString Source #
PlutusTx.Enum.Ordering.pred: bad argument
toEnumOrderingBadArgumentError ∷ BuiltinString Source #
PlutusTx.Enum.Ordering.toEnum: bad argument
lastEmptyListError ∷ BuiltinString Source #
PlutusTx.List.last: empty list
reciprocalOfZeroError ∷ BuiltinString Source #
PlutusTx.Ratio.recip: reciprocal of zero
builtinListNegativeIndexError ∷ BuiltinString Source #
PlutusTx.List.indexBuiltinList: negative index
builtinListIndexTooLargeError ∷ BuiltinString Source #
PlutusTx.List.indexBuiltinList: index too large