{-# 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.List.indexBuiltinList: negative index")
, (BuiltinString
"PT22", String
"PlutusTx.List.indexBuiltinList: index too large")
]
{-# INLINABLE reconstructCaseError #-}
reconstructCaseError :: Builtins.BuiltinString
reconstructCaseError :: BuiltinString
reconstructCaseError = BuiltinString
"PT1"
{-# INLINABLE voidIsNotSupportedError #-}
voidIsNotSupportedError :: Builtins.BuiltinString
voidIsNotSupportedError :: BuiltinString
voidIsNotSupportedError = BuiltinString
"PT2"
{-# INLINABLE ratioHasZeroDenominatorError #-}
ratioHasZeroDenominatorError :: Builtins.BuiltinString
ratioHasZeroDenominatorError :: BuiltinString
ratioHasZeroDenominatorError = BuiltinString
"PT3"
{-# INLINABLE checkHasFailedError #-}
checkHasFailedError :: Builtins.BuiltinString
checkHasFailedError :: BuiltinString
checkHasFailedError = BuiltinString
"PT5"
{-# INLINABLE negativeIndexError #-}
negativeIndexError :: Builtins.BuiltinString
negativeIndexError :: BuiltinString
negativeIndexError = BuiltinString
"PT6"
{-# INLINABLE indexTooLargeError #-}
indexTooLargeError :: Builtins.BuiltinString
indexTooLargeError :: BuiltinString
indexTooLargeError = BuiltinString
"PT7"
{-# INLINABLE headEmptyListError #-}
headEmptyListError :: Builtins.BuiltinString
headEmptyListError :: BuiltinString
headEmptyListError = BuiltinString
"PT8"
{-# INLINABLE tailEmptyListError #-}
tailEmptyListError :: Builtins.BuiltinString
tailEmptyListError :: BuiltinString
tailEmptyListError = BuiltinString
"PT9"
{-# INLINABLE succVoidBadArgumentError #-}
succVoidBadArgumentError :: Builtins.BuiltinString
succVoidBadArgumentError :: BuiltinString
succVoidBadArgumentError = BuiltinString
"PT10"
{-# INLINABLE predVoidBadArgumentError #-}
predVoidBadArgumentError :: Builtins.BuiltinString
predVoidBadArgumentError :: BuiltinString
predVoidBadArgumentError = BuiltinString
"PT11"
{-# INLINABLE toEnumVoidBadArgumentError #-}
toEnumVoidBadArgumentError :: Builtins.BuiltinString
toEnumVoidBadArgumentError :: BuiltinString
toEnumVoidBadArgumentError = BuiltinString
"PT12"
{-# INLINABLE succBoolBadArgumentError #-}
succBoolBadArgumentError :: Builtins.BuiltinString
succBoolBadArgumentError :: BuiltinString
succBoolBadArgumentError = BuiltinString
"PT13"
{-# INLINABLE predBoolBadArgumentError #-}
predBoolBadArgumentError :: Builtins.BuiltinString
predBoolBadArgumentError :: BuiltinString
predBoolBadArgumentError = BuiltinString
"PT14"
{-# INLINABLE toEnumBoolBadArgumentError #-}
toEnumBoolBadArgumentError :: Builtins.BuiltinString
toEnumBoolBadArgumentError :: BuiltinString
toEnumBoolBadArgumentError = BuiltinString
"PT15"
{-# INLINABLE succOrderingBadArgumentError #-}
succOrderingBadArgumentError :: Builtins.BuiltinString
succOrderingBadArgumentError :: BuiltinString
succOrderingBadArgumentError = BuiltinString
"PT16"
{-# INLINABLE predOrderingBadArgumentError #-}
predOrderingBadArgumentError :: Builtins.BuiltinString
predOrderingBadArgumentError :: BuiltinString
predOrderingBadArgumentError = BuiltinString
"PT17"
{-# INLINABLE toEnumOrderingBadArgumentError #-}
toEnumOrderingBadArgumentError :: Builtins.BuiltinString
toEnumOrderingBadArgumentError :: BuiltinString
toEnumOrderingBadArgumentError = BuiltinString
"PT18"
{-# INLINABLE lastEmptyListError #-}
lastEmptyListError :: Builtins.BuiltinString
lastEmptyListError :: BuiltinString
lastEmptyListError = BuiltinString
"PT19"
{-# INLINABLE reciprocalOfZeroError #-}
reciprocalOfZeroError :: Builtins.BuiltinString
reciprocalOfZeroError :: BuiltinString
reciprocalOfZeroError = BuiltinString
"PT20"
{-# INLINABLE builtinListNegativeIndexError #-}
builtinListNegativeIndexError :: Builtins.BuiltinString
builtinListNegativeIndexError :: BuiltinString
builtinListNegativeIndexError = BuiltinString
"PT21"
{-# INLINABLE builtinListIndexTooLargeError #-}
builtinListIndexTooLargeError :: Builtins.BuiltinString
builtinListIndexTooLargeError :: BuiltinString
builtinListIndexTooLargeError = BuiltinString
"PT22"