{-# LANGUAGE OverloadedStrings #-}
{-# OPTIONS_GHC -fno-omit-interface-pragmas #-}
module PlutusTx.ErrorCodes where
import Data.Map (Map)
import Data.Map qualified as Map
import PlutusTx.Builtins as Builtins
import Prelude (String)
plutusPreludeErrorCodes :: Map Builtins.BuiltinString String
plutusPreludeErrorCodes :: Map BuiltinString String
plutusPreludeErrorCodes = [(BuiltinString, String)] -> Map BuiltinString String
forall k a. Ord k => [(k, a)] -> Map k a
Map.fromList
[ (BuiltinString
"PT1", String
"TH Generation of Indexed Data Error")
, (BuiltinString
"PT2", String
"PlutusTx.IsData.Class.unsafeFromBuiltinData: Void is not supported")
, (BuiltinString
"PT3", String
"PlutusTx.Ratio: zero denominator")
, (BuiltinString
"PT5", String
"PlutusTx.Prelude.check: input is 'False'")
, (BuiltinString
"PT6", String
"PlutusTx.List.!!: negative index")
, (BuiltinString
"PT7", String
"PlutusTx.List.!!: index too large")
, (BuiltinString
"PT8", String
"PlutusTx.List.head: empty list")
, (BuiltinString
"PT9", String
"PlutusTx.List.tail: empty list")
, (BuiltinString
"PT10", String
"PlutusTx.Enum.().succ: bad argument")
, (BuiltinString
"PT11", String
"PlutusTx.Enum.().pred: bad argument")
, (BuiltinString
"PT12", String
"PlutusTx.Enum.().toEnum: bad argument")
, (BuiltinString
"PT13", String
"PlutusTx.Enum.Bool.succ: bad argument")
, (BuiltinString
"PT14", String
"PlutusTx.Enum.Bool.pred: bad argument")
, (BuiltinString
"PT15", String
"PlutusTx.Enum.Bool.toEnum: bad argument")
, (BuiltinString
"PT16", String
"PlutusTx.Enum.Ordering.succ: bad argument")
, (BuiltinString
"PT17", String
"PlutusTx.Enum.Ordering.pred: bad argument")
, (BuiltinString
"PT18", String
"PlutusTx.Enum.Ordering.toEnum: bad argument")
, (BuiltinString
"PT19", String
"PlutusTx.List.last: empty list")
, (BuiltinString
"PT20", String
"PlutusTx.Ratio.recip: reciprocal of zero")
, (BuiltinString
"PT21", String
"PlutusTx.BuiltinList.!!: negative index")
, (BuiltinString
"PT22", String
"PlutusTx.BuiltinList.!!: index too large")
, (BuiltinString
"PT23", String
"PlutusTx.BuiltinList.head: empty list")
, (BuiltinString
"PT24", String
"PlutusTx.BuiltinList.tail: empty list")
, (BuiltinString
"PT25", String
"PlutusTx.BuiltinList.last: empty list")
]
reconstructCaseError :: Builtins.BuiltinString
reconstructCaseError :: BuiltinString
reconstructCaseError = BuiltinString
"PT1"
{-# INLINEABLE reconstructCaseError #-}
voidIsNotSupportedError :: Builtins.BuiltinString
voidIsNotSupportedError :: BuiltinString
voidIsNotSupportedError = BuiltinString
"PT2"
{-# INLINEABLE voidIsNotSupportedError #-}
ratioHasZeroDenominatorError :: Builtins.BuiltinString
ratioHasZeroDenominatorError :: BuiltinString
ratioHasZeroDenominatorError = BuiltinString
"PT3"
{-# INLINEABLE ratioHasZeroDenominatorError #-}
checkHasFailedError :: Builtins.BuiltinString
checkHasFailedError :: BuiltinString
checkHasFailedError = BuiltinString
"PT5"
{-# INLINEABLE checkHasFailedError #-}
negativeIndexError :: Builtins.BuiltinString
negativeIndexError :: BuiltinString
negativeIndexError = BuiltinString
"PT6"
{-# INLINEABLE negativeIndexError #-}
indexTooLargeError :: Builtins.BuiltinString
indexTooLargeError :: BuiltinString
indexTooLargeError = BuiltinString
"PT7"
{-# INLINEABLE indexTooLargeError #-}
headEmptyListError :: Builtins.BuiltinString
headEmptyListError :: BuiltinString
headEmptyListError = BuiltinString
"PT8"
{-# INLINEABLE headEmptyListError #-}
tailEmptyListError :: Builtins.BuiltinString
tailEmptyListError :: BuiltinString
tailEmptyListError = BuiltinString
"PT9"
{-# INLINEABLE tailEmptyListError #-}
succVoidBadArgumentError :: Builtins.BuiltinString
succVoidBadArgumentError :: BuiltinString
succVoidBadArgumentError = BuiltinString
"PT10"
{-# INLINEABLE succVoidBadArgumentError #-}
predVoidBadArgumentError :: Builtins.BuiltinString
predVoidBadArgumentError :: BuiltinString
predVoidBadArgumentError = BuiltinString
"PT11"
{-# INLINEABLE predVoidBadArgumentError #-}
toEnumVoidBadArgumentError :: Builtins.BuiltinString
toEnumVoidBadArgumentError :: BuiltinString
toEnumVoidBadArgumentError = BuiltinString
"PT12"
{-# INLINEABLE toEnumVoidBadArgumentError #-}
succBoolBadArgumentError :: Builtins.BuiltinString
succBoolBadArgumentError :: BuiltinString
succBoolBadArgumentError = BuiltinString
"PT13"
{-# INLINEABLE succBoolBadArgumentError #-}
predBoolBadArgumentError :: Builtins.BuiltinString
predBoolBadArgumentError :: BuiltinString
predBoolBadArgumentError = BuiltinString
"PT14"
{-# INLINEABLE predBoolBadArgumentError #-}
toEnumBoolBadArgumentError :: Builtins.BuiltinString
toEnumBoolBadArgumentError :: BuiltinString
toEnumBoolBadArgumentError = BuiltinString
"PT15"
{-# INLINEABLE toEnumBoolBadArgumentError #-}
succOrderingBadArgumentError :: Builtins.BuiltinString
succOrderingBadArgumentError :: BuiltinString
succOrderingBadArgumentError = BuiltinString
"PT16"
{-# INLINEABLE succOrderingBadArgumentError #-}
predOrderingBadArgumentError :: Builtins.BuiltinString
predOrderingBadArgumentError :: BuiltinString
predOrderingBadArgumentError = BuiltinString
"PT17"
{-# INLINEABLE predOrderingBadArgumentError #-}
toEnumOrderingBadArgumentError :: Builtins.BuiltinString
toEnumOrderingBadArgumentError :: BuiltinString
toEnumOrderingBadArgumentError = BuiltinString
"PT18"
{-# INLINEABLE toEnumOrderingBadArgumentError #-}
lastEmptyListError :: Builtins.BuiltinString
lastEmptyListError :: BuiltinString
lastEmptyListError = BuiltinString
"PT19"
{-# INLINEABLE lastEmptyListError #-}
reciprocalOfZeroError :: Builtins.BuiltinString
reciprocalOfZeroError :: BuiltinString
reciprocalOfZeroError = BuiltinString
"PT20"
{-# INLINEABLE reciprocalOfZeroError #-}
builtinListNegativeIndexError :: Builtins.BuiltinString
builtinListNegativeIndexError :: BuiltinString
builtinListNegativeIndexError = BuiltinString
"PT21"
{-# INLINEABLE builtinListNegativeIndexError #-}
builtinListIndexTooLargeError :: Builtins.BuiltinString
builtinListIndexTooLargeError :: BuiltinString
builtinListIndexTooLargeError = BuiltinString
"PT22"
{-# INLINABLE builtinListIndexTooLargeError #-}
headEmptyBuiltinListError :: Builtins.BuiltinString
headEmptyBuiltinListError :: BuiltinString
headEmptyBuiltinListError = BuiltinString
"PT23"
{-# INLINABLE headEmptyBuiltinListError #-}
tailEmptyBuiltinListError :: Builtins.BuiltinString
tailEmptyBuiltinListError :: BuiltinString
tailEmptyBuiltinListError = BuiltinString
"PT24"
{-# INLINABLE tailEmptyBuiltinListError #-}
lastEmptyBuiltinListError :: Builtins.BuiltinString
lastEmptyBuiltinListError :: BuiltinString
lastEmptyBuiltinListError = BuiltinString
"PT25"
{-# INLINABLE lastEmptyBuiltinListError #-}