Safe Haskell	Safe-Inferred
Language	Haskell2010

Ply.Plutarch.Class

Synopsis

type family PlyArgOf a = r | r -> a

Documentation

type family PlyArgOf a = r | r -> a Source #

PlyArgOf yields the corresponding Haskell type for a given Plutarch type.

Instances

Instances details

type PlyArgOf PAddress Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf PAddress = Address
type PlyArgOf PCredential Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf PCredential = Credential
type PlyArgOf PStakingCredential Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf PStakingCredential = StakingCredential
type PlyArgOf PScriptContext Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf PScriptContext = ScriptContext
type PlyArgOf PScriptPurpose Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf PScriptPurpose = ScriptPurpose
type PlyArgOf PTxInfo Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf PTxInfo = TxInfo
type PlyArgOf PPubKeyHash Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf PPubKeyHash = PubKeyHash
type PlyArgOf PDCert Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf PDCert = DCert
type PlyArgOf PDatum Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf PDatum = Datum
type PlyArgOf PDatumHash Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf PDatumHash = DatumHash
type PlyArgOf PRedeemer Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf PRedeemer = Redeemer
type PlyArgOf PRedeemerHash Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf PRedeemerHash = RedeemerHash
type PlyArgOf PScriptHash Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf PScriptHash = ScriptHash
type PlyArgOf PPOSIXTime Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf PPOSIXTime = POSIXTime
type PlyArgOf PTxId Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf PTxId = TxId
type PlyArgOf PTxInInfo Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf PTxInInfo = TxInInfo
type PlyArgOf PTxOut Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf PTxOut = TxOut
type PlyArgOf PTxOutRef Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf PTxOutRef = TxOutRef
type PlyArgOf PCurrencySymbol Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf PCurrencySymbol = CurrencySymbol
type PlyArgOf PTokenName Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf PTokenName = TokenName
type PlyArgOf PBool Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf PBool = Bool
type PlyArgOf PData Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf PData = Data
type PlyArgOf PByteString Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf PByteString = ByteString
type PlyArgOf PInteger Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf PInteger = Integer
type PlyArgOf PString Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf PString = Text
type PlyArgOf PRationalData Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf PRationalData = Rational
type PlyArgOf (PExtended a) Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf (PExtended a) = Extended (PlyArgOf a)
type PlyArgOf (PInterval a) Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf (PInterval a) = Interval (PlyArgOf a)
type PlyArgOf (PLowerBound a) Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf (PLowerBound a) = LowerBound (PlyArgOf a)
type PlyArgOf (PUpperBound a) Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf (PUpperBound a) = UpperBound (PlyArgOf a)
type PlyArgOf (PMaybeData a) Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf (PMaybeData a) = Maybe (PlyArgOf a)
type PlyArgOf (PAsData a) Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf (PAsData a) = AsData (PlyArgOf a)
type PlyArgOf (PBuiltinList a) Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf (PBuiltinList a) = [PlyArgOf a]
type PlyArgOf (PUnit :: S -> Type) Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf (PUnit :: S -> Type) = ()
type PlyArgOf (PValue 'Sorted 'NonZero) Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf (PValue 'Sorted 'NonZero) = Value
type PlyArgOf (PBuiltinPair a b) Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf (PBuiltinPair a b) = (PlyArgOf a, PlyArgOf b)
type PlyArgOf (PMap 'Sorted a b) Source #
Instance details Defined in Ply.Plutarch.Class type PlyArgOf (PMap 'Sorted a b) = Map (PlyArgOf a) (PlyArgOf b)