{-# LANGUAGE DerivingVia #-}
module PlutusLedgerApi.V1.ParamName
( ParamName (..)
, tagWithParamNames
) where
import Data.Ix
import GHC.Generics
import PlutusLedgerApi.Common.ParamName
data ParamName =
AddInteger'cpu'arguments'intercept
| AddInteger'cpu'arguments'slope
| AddInteger'memory'arguments'intercept
| AddInteger'memory'arguments'slope
| AppendByteString'cpu'arguments'intercept
| AppendByteString'cpu'arguments'slope
| AppendByteString'memory'arguments'intercept
| AppendByteString'memory'arguments'slope
| AppendString'cpu'arguments'intercept
| AppendString'cpu'arguments'slope
| AppendString'memory'arguments'intercept
| AppendString'memory'arguments'slope
| BData'cpu'arguments
| BData'memory'arguments
| Blake2b_256'cpu'arguments'intercept
| Blake2b_256'cpu'arguments'slope
| Blake2b_256'memory'arguments
| CekApplyCost'exBudgetCPU
| CekApplyCost'exBudgetMemory
| CekBuiltinCost'exBudgetCPU
| CekBuiltinCost'exBudgetMemory
| CekConstCost'exBudgetCPU
| CekConstCost'exBudgetMemory
| CekDelayCost'exBudgetCPU
| CekDelayCost'exBudgetMemory
| CekForceCost'exBudgetCPU
| CekForceCost'exBudgetMemory
| CekLamCost'exBudgetCPU
| CekLamCost'exBudgetMemory
| CekStartupCost'exBudgetCPU
| CekStartupCost'exBudgetMemory
| CekVarCost'exBudgetCPU
| CekVarCost'exBudgetMemory
| ChooseData'cpu'arguments
| ChooseData'memory'arguments
| ChooseList'cpu'arguments
| ChooseList'memory'arguments
| ChooseUnit'cpu'arguments
| ChooseUnit'memory'arguments
| ConsByteString'cpu'arguments'intercept
| ConsByteString'cpu'arguments'slope
| ConsByteString'memory'arguments'intercept
| ConsByteString'memory'arguments'slope
| ConstrData'cpu'arguments
| ConstrData'memory'arguments
| DecodeUtf8'cpu'arguments'intercept
| DecodeUtf8'cpu'arguments'slope
| DecodeUtf8'memory'arguments'intercept
| DecodeUtf8'memory'arguments'slope
| DivideInteger'cpu'arguments'constant
| DivideInteger'cpu'arguments'model'arguments'intercept
| DivideInteger'cpu'arguments'model'arguments'slope
| DivideInteger'memory'arguments'intercept
| DivideInteger'memory'arguments'minimum
| DivideInteger'memory'arguments'slope
| EncodeUtf8'cpu'arguments'intercept
| EncodeUtf8'cpu'arguments'slope
| EncodeUtf8'memory'arguments'intercept
| EncodeUtf8'memory'arguments'slope
| EqualsByteString'cpu'arguments'constant
| EqualsByteString'cpu'arguments'intercept
| EqualsByteString'cpu'arguments'slope
| EqualsByteString'memory'arguments
| EqualsData'cpu'arguments'intercept
| EqualsData'cpu'arguments'slope
| EqualsData'memory'arguments
| EqualsInteger'cpu'arguments'intercept
| EqualsInteger'cpu'arguments'slope
| EqualsInteger'memory'arguments
| EqualsString'cpu'arguments'constant
| EqualsString'cpu'arguments'intercept
| EqualsString'cpu'arguments'slope
| EqualsString'memory'arguments
| FstPair'cpu'arguments
| FstPair'memory'arguments
| HeadList'cpu'arguments
| HeadList'memory'arguments
| IData'cpu'arguments
| IData'memory'arguments
| IfThenElse'cpu'arguments
| IfThenElse'memory'arguments
| IndexByteString'cpu'arguments
| IndexByteString'memory'arguments
| LengthOfByteString'cpu'arguments
| LengthOfByteString'memory'arguments
| LessThanByteString'cpu'arguments'intercept
| LessThanByteString'cpu'arguments'slope
| LessThanByteString'memory'arguments
| LessThanEqualsByteString'cpu'arguments'intercept
| LessThanEqualsByteString'cpu'arguments'slope
| LessThanEqualsByteString'memory'arguments
| LessThanEqualsInteger'cpu'arguments'intercept
| LessThanEqualsInteger'cpu'arguments'slope
| LessThanEqualsInteger'memory'arguments
| LessThanInteger'cpu'arguments'intercept
| LessThanInteger'cpu'arguments'slope
| LessThanInteger'memory'arguments
| ListData'cpu'arguments
| ListData'memory'arguments
| MapData'cpu'arguments
| MapData'memory'arguments
| MkCons'cpu'arguments
| MkCons'memory'arguments
| MkNilData'cpu'arguments
| MkNilData'memory'arguments
| MkNilPairData'cpu'arguments
| MkNilPairData'memory'arguments
| MkPairData'cpu'arguments
| MkPairData'memory'arguments
| ModInteger'cpu'arguments'constant
| ModInteger'cpu'arguments'model'arguments'intercept
| ModInteger'cpu'arguments'model'arguments'slope
| ModInteger'memory'arguments'intercept
| ModInteger'memory'arguments'minimum
| ModInteger'memory'arguments'slope
| MultiplyInteger'cpu'arguments'intercept
| MultiplyInteger'cpu'arguments'slope
| MultiplyInteger'memory'arguments'intercept
| MultiplyInteger'memory'arguments'slope
| NullList'cpu'arguments
| NullList'memory'arguments
| QuotientInteger'cpu'arguments'constant
| QuotientInteger'cpu'arguments'model'arguments'intercept
| QuotientInteger'cpu'arguments'model'arguments'slope
| QuotientInteger'memory'arguments'intercept
| QuotientInteger'memory'arguments'minimum
| QuotientInteger'memory'arguments'slope
| RemainderInteger'cpu'arguments'constant
| RemainderInteger'cpu'arguments'model'arguments'intercept
| RemainderInteger'cpu'arguments'model'arguments'slope
| RemainderInteger'memory'arguments'intercept
| RemainderInteger'memory'arguments'minimum
| RemainderInteger'memory'arguments'slope
| Sha2_256'cpu'arguments'intercept
| Sha2_256'cpu'arguments'slope
| Sha2_256'memory'arguments
| Sha3_256'cpu'arguments'intercept
| Sha3_256'cpu'arguments'slope
| Sha3_256'memory'arguments
| SliceByteString'cpu'arguments'intercept
| SliceByteString'cpu'arguments'slope
| SliceByteString'memory'arguments'intercept
| SliceByteString'memory'arguments'slope
| SndPair'cpu'arguments
| SndPair'memory'arguments
| SubtractInteger'cpu'arguments'intercept
| SubtractInteger'cpu'arguments'slope
| SubtractInteger'memory'arguments'intercept
| SubtractInteger'memory'arguments'slope
| TailList'cpu'arguments
| TailList'memory'arguments
| Trace'cpu'arguments
| Trace'memory'arguments
| UnBData'cpu'arguments
| UnBData'memory'arguments
| UnConstrData'cpu'arguments
| UnConstrData'memory'arguments
| UnIData'cpu'arguments
| UnIData'memory'arguments
| UnListData'cpu'arguments
| UnListData'memory'arguments
| UnMapData'cpu'arguments
| UnMapData'memory'arguments
| VerifyEd25519Signature'cpu'arguments'intercept
| VerifyEd25519Signature'cpu'arguments'slope
| VerifyEd25519Signature'memory'arguments
deriving stock (ParamName -> ParamName -> Bool
(ParamName -> ParamName -> Bool)
-> (ParamName -> ParamName -> Bool) -> Eq ParamName
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: ParamName -> ParamName -> Bool
== :: ParamName -> ParamName -> Bool
$c/= :: ParamName -> ParamName -> Bool
/= :: ParamName -> ParamName -> Bool
Eq, Eq ParamName
Eq ParamName =>
(ParamName -> ParamName -> Ordering)
-> (ParamName -> ParamName -> Bool)
-> (ParamName -> ParamName -> Bool)
-> (ParamName -> ParamName -> Bool)
-> (ParamName -> ParamName -> Bool)
-> (ParamName -> ParamName -> ParamName)
-> (ParamName -> ParamName -> ParamName)
-> Ord ParamName
ParamName -> ParamName -> Bool
ParamName -> ParamName -> Ordering
ParamName -> ParamName -> ParamName
forall a.
Eq a =>
(a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
$ccompare :: ParamName -> ParamName -> Ordering
compare :: ParamName -> ParamName -> Ordering
$c< :: ParamName -> ParamName -> Bool
< :: ParamName -> ParamName -> Bool
$c<= :: ParamName -> ParamName -> Bool
<= :: ParamName -> ParamName -> Bool
$c> :: ParamName -> ParamName -> Bool
> :: ParamName -> ParamName -> Bool
$c>= :: ParamName -> ParamName -> Bool
>= :: ParamName -> ParamName -> Bool
$cmax :: ParamName -> ParamName -> ParamName
max :: ParamName -> ParamName -> ParamName
$cmin :: ParamName -> ParamName -> ParamName
min :: ParamName -> ParamName -> ParamName
Ord, Int -> ParamName
ParamName -> Int
ParamName -> [ParamName]
ParamName -> ParamName
ParamName -> ParamName -> [ParamName]
ParamName -> ParamName -> ParamName -> [ParamName]
(ParamName -> ParamName)
-> (ParamName -> ParamName)
-> (Int -> ParamName)
-> (ParamName -> Int)
-> (ParamName -> [ParamName])
-> (ParamName -> ParamName -> [ParamName])
-> (ParamName -> ParamName -> [ParamName])
-> (ParamName -> ParamName -> ParamName -> [ParamName])
-> Enum ParamName
forall a.
(a -> a)
-> (a -> a)
-> (Int -> a)
-> (a -> Int)
-> (a -> [a])
-> (a -> a -> [a])
-> (a -> a -> [a])
-> (a -> a -> a -> [a])
-> Enum a
$csucc :: ParamName -> ParamName
succ :: ParamName -> ParamName
$cpred :: ParamName -> ParamName
pred :: ParamName -> ParamName
$ctoEnum :: Int -> ParamName
toEnum :: Int -> ParamName
$cfromEnum :: ParamName -> Int
fromEnum :: ParamName -> Int
$cenumFrom :: ParamName -> [ParamName]
enumFrom :: ParamName -> [ParamName]
$cenumFromThen :: ParamName -> ParamName -> [ParamName]
enumFromThen :: ParamName -> ParamName -> [ParamName]
$cenumFromTo :: ParamName -> ParamName -> [ParamName]
enumFromTo :: ParamName -> ParamName -> [ParamName]
$cenumFromThenTo :: ParamName -> ParamName -> ParamName -> [ParamName]
enumFromThenTo :: ParamName -> ParamName -> ParamName -> [ParamName]
Enum, Ord ParamName
Ord ParamName =>
((ParamName, ParamName) -> [ParamName])
-> ((ParamName, ParamName) -> ParamName -> Int)
-> ((ParamName, ParamName) -> ParamName -> Int)
-> ((ParamName, ParamName) -> ParamName -> Bool)
-> ((ParamName, ParamName) -> Int)
-> ((ParamName, ParamName) -> Int)
-> Ix ParamName
(ParamName, ParamName) -> Int
(ParamName, ParamName) -> [ParamName]
(ParamName, ParamName) -> ParamName -> Bool
(ParamName, ParamName) -> ParamName -> Int
forall a.
Ord a =>
((a, a) -> [a])
-> ((a, a) -> a -> Int)
-> ((a, a) -> a -> Int)
-> ((a, a) -> a -> Bool)
-> ((a, a) -> Int)
-> ((a, a) -> Int)
-> Ix a
$crange :: (ParamName, ParamName) -> [ParamName]
range :: (ParamName, ParamName) -> [ParamName]
$cindex :: (ParamName, ParamName) -> ParamName -> Int
index :: (ParamName, ParamName) -> ParamName -> Int
$cunsafeIndex :: (ParamName, ParamName) -> ParamName -> Int
unsafeIndex :: (ParamName, ParamName) -> ParamName -> Int
$cinRange :: (ParamName, ParamName) -> ParamName -> Bool
inRange :: (ParamName, ParamName) -> ParamName -> Bool
$crangeSize :: (ParamName, ParamName) -> Int
rangeSize :: (ParamName, ParamName) -> Int
$cunsafeRangeSize :: (ParamName, ParamName) -> Int
unsafeRangeSize :: (ParamName, ParamName) -> Int
Ix, ParamName
ParamName -> ParamName -> Bounded ParamName
forall a. a -> a -> Bounded a
$cminBound :: ParamName
minBound :: ParamName
$cmaxBound :: ParamName
maxBound :: ParamName
Bounded, (forall x. ParamName -> Rep ParamName x)
-> (forall x. Rep ParamName x -> ParamName) -> Generic ParamName
forall x. Rep ParamName x -> ParamName
forall x. ParamName -> Rep ParamName x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. ParamName -> Rep ParamName x
from :: forall x. ParamName -> Rep ParamName x
$cto :: forall x. Rep ParamName x -> ParamName
to :: forall x. Rep ParamName x -> ParamName
Generic)
deriving Bounded ParamName
Enum ParamName
(Enum ParamName, Bounded ParamName) =>
(ParamName -> Text)
-> (Text -> Maybe ParamName) -> IsParamName ParamName
Text -> Maybe ParamName
ParamName -> Text
forall a.
(Enum a, Bounded a) =>
(a -> Text) -> (Text -> Maybe a) -> IsParamName a
$cshowParamName :: ParamName -> Text
showParamName :: ParamName -> Text
$creadParamName :: Text -> Maybe ParamName
readParamName :: Text -> Maybe ParamName
IsParamName via (GenericParamName ParamName)