Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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