Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Internal.PlutusType

Synopsis

class PlutusType (a :: PType)
type family PlutusTypeStratConstraint strategy :: PType -> Constraint
type PCon = PlutusType
type PMatch = PlutusType
pcon' :: forall s. PlutusType a => a s -> Term s (PInner a)
pmatch' :: forall s b. PlutusType a => Term s (PInner a) -> (a s -> Term s b) -> Term s b
pmatch :: PlutusType a => Term s a -> (a s -> Term s b) -> Term s b
pcon :: PlutusType a => a s -> Term s a
type family PInner a :: PType
class PlutusTypeStrat (strategy :: Type)
class (PInner a ~ DerivedPInner (DPTStrat a) a, PlutusTypeStrat (DPTStrat a), PlutusTypeStratConstraint (DPTStrat a) a, PlutusType a) => DerivePlutusType (a :: PType)
type family DPTStrat a :: Type
type family DerivedPInner strategy (a :: PType) :: PType
derivedPCon :: forall a s. (PlutusTypeStrat strategy, DerivePlutusType a, DPTStrat a ~ strategy) => a s -> Term s (DerivedPInner strategy a)
derivedPMatch :: forall a s b. (PlutusTypeStrat strategy, DerivePlutusType a, DPTStrat a ~ strategy) => Term s (DerivedPInner strategy a) -> (a s -> Term s b) -> Term s b
class (forall t. PVariant'' t => PVariant'' (a t)) => PVariant a
class (forall t. PCovariant'' t => PCovariant'' (a t)) => PCovariant a
class (forall t. PCovariant'' t => PContravariant'' (a t)) => PContravariant a
type family PVariant' a :: Constraint
type family PCovariant' a :: Constraint
type family PContravariant' a :: Constraint

Documentation

class PlutusType (a :: PType) Source #

Instances

Instances details

PlutusType PBuiltinBLS12_381_G1_Element Source #
Instance details Defined in Plutarch.BLS Associated Types type PInner PBuiltinBLS12_381_G1_Element :: PType Source # type PCovariant' PBuiltinBLS12_381_G1_Element Source # type PContravariant' PBuiltinBLS12_381_G1_Element Source # type PVariant' PBuiltinBLS12_381_G1_Element Source # Methods pcon' :: forall (s :: S). PBuiltinBLS12_381_G1_Element s -> Term s (PInner PBuiltinBLS12_381_G1_Element) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PBuiltinBLS12_381_G1_Element) -> (PBuiltinBLS12_381_G1_Element s -> Term s b) -> Term s b Source #
PlutusType PBuiltinBLS12_381_G2_Element Source #
Instance details Defined in Plutarch.BLS Associated Types type PInner PBuiltinBLS12_381_G2_Element :: PType Source # type PCovariant' PBuiltinBLS12_381_G2_Element Source # type PContravariant' PBuiltinBLS12_381_G2_Element Source # type PVariant' PBuiltinBLS12_381_G2_Element Source # Methods pcon' :: forall (s :: S). PBuiltinBLS12_381_G2_Element s -> Term s (PInner PBuiltinBLS12_381_G2_Element) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PBuiltinBLS12_381_G2_Element) -> (PBuiltinBLS12_381_G2_Element s -> Term s b) -> Term s b Source #
PlutusType PBuiltinBLS12_381_MlResult Source #
Instance details Defined in Plutarch.BLS Associated Types type PInner PBuiltinBLS12_381_MlResult :: PType Source # type PCovariant' PBuiltinBLS12_381_MlResult Source # type PContravariant' PBuiltinBLS12_381_MlResult Source # type PVariant' PBuiltinBLS12_381_MlResult Source # Methods pcon' :: forall (s :: S). PBuiltinBLS12_381_MlResult s -> Term s (PInner PBuiltinBLS12_381_MlResult) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PBuiltinBLS12_381_MlResult) -> (PBuiltinBLS12_381_MlResult s -> Term s b) -> Term s b Source #
PlutusType PBitString Source #
Instance details Defined in Plutarch.BitString Associated Types type PInner PBitString :: PType Source # type PCovariant' PBitString Source # type PContravariant' PBitString Source # type PVariant' PBitString Source # Methods pcon' :: forall (s :: S). PBitString s -> Term s (PInner PBitString) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PBitString) -> (PBitString s -> Term s b) -> Term s b Source #
PlutusType PData Source #
Instance details Defined in Plutarch.Builtin Associated Types type PInner PData :: PType Source # type PCovariant' PData Source # type PContravariant' PData Source # type PVariant' PData Source # Methods pcon' :: forall (s :: S). PData s -> Term s (PInner PData) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PData) -> (PData s -> Term s b) -> Term s b Source #
PlutusType PBool Source #	@since WIP
Instance details Defined in Plutarch.Builtin.Bool Associated Types type PInner PBool :: PType Source # type PCovariant' PBool Source # type PContravariant' PBool Source # type PVariant' PBool Source # Methods pcon' :: forall (s :: S). PBool s -> Term s (PInner PBool) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PBool) -> (PBool s -> Term s b) -> Term s b Source #
PlutusType PByte Source #
Instance details Defined in Plutarch.ByteString Associated Types type PInner PByte :: PType Source # type PCovariant' PByte Source # type PContravariant' PByte Source # type PVariant' PByte Source # Methods pcon' :: forall (s :: S). PByte s -> Term s (PInner PByte) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PByte) -> (PByte s -> Term s b) -> Term s b Source #
PlutusType PByteString Source #
Instance details Defined in Plutarch.ByteString Associated Types type PInner PByteString :: PType Source # type PCovariant' PByteString Source # type PContravariant' PByteString Source # type PVariant' PByteString Source # Methods pcon' :: forall (s :: S). PByteString s -> Term s (PInner PByteString) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PByteString) -> (PByteString s -> Term s b) -> Term s b Source #
PlutusType PLogicOpSemantics Source #
Instance details Defined in Plutarch.ByteString Associated Types type PInner PLogicOpSemantics :: PType Source # type PCovariant' PLogicOpSemantics Source # type PContravariant' PLogicOpSemantics Source # type PVariant' PLogicOpSemantics Source # Methods pcon' :: forall (s :: S). PLogicOpSemantics s -> Term s (PInner PLogicOpSemantics) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PLogicOpSemantics) -> (PLogicOpSemantics s -> Term s b) -> Term s b Source #
PlutusType PEndianness Source #
Instance details Defined in Plutarch.Convert Associated Types type PInner PEndianness :: PType Source # type PCovariant' PEndianness Source # type PContravariant' PEndianness Source # type PVariant' PEndianness Source # Methods pcon' :: forall (s :: S). PEndianness s -> Term s (PInner PEndianness) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PEndianness) -> (PEndianness s -> Term s b) -> Term s b Source #
PlutusType PInteger Source #
Instance details Defined in Plutarch.Integer Associated Types type PInner PInteger :: PType Source # type PCovariant' PInteger Source # type PContravariant' PInteger Source # type PVariant' PInteger Source # Methods pcon' :: forall (s :: S). PInteger s -> Term s (PInner PInteger) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PInteger) -> (PInteger s -> Term s b) -> Term s b Source #
PlutusType POpaque Source #
Instance details Defined in Plutarch.Internal.Other Associated Types type PInner POpaque :: PType Source # type PCovariant' POpaque Source # type PContravariant' POpaque Source # type PVariant' POpaque Source # Methods pcon' :: forall (s :: S). POpaque s -> Term s (PInner POpaque) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner POpaque) -> (POpaque s -> Term s b) -> Term s b Source #
PlutusType PPositive Source #
Instance details Defined in Plutarch.Positive Associated Types type PInner PPositive :: PType Source # type PCovariant' PPositive Source # type PContravariant' PPositive Source # type PVariant' PPositive Source # Methods pcon' :: forall (s :: S). PPositive s -> Term s (PInner PPositive) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PPositive) -> (PPositive s -> Term s b) -> Term s b Source #
PlutusType PRational Source #
Instance details Defined in Plutarch.Rational Associated Types type PInner PRational :: PType Source # type PCovariant' PRational Source # type PContravariant' PRational Source # type PVariant' PRational Source # Methods pcon' :: forall (s :: S). PRational s -> Term s (PInner PRational) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PRational) -> (PRational s -> Term s b) -> Term s b Source #
PlutusType PString Source #
Instance details Defined in Plutarch.String Associated Types type PInner PString :: PType Source # type PCovariant' PString Source # type PContravariant' PString Source # type PVariant' PString Source # Methods pcon' :: forall (s :: S). PString s -> Term s (PInner PString) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PString) -> (PString s -> Term s b) -> Term s b Source #
PIsData a => PlutusType (PAsData a) Source #
Instance details Defined in Plutarch.Builtin Associated Types type PInner (PAsData a) :: PType Source # type PCovariant' (PAsData a) Source # type PContravariant' (PAsData a) Source # type PVariant' (PAsData a) Source # Methods pcon' :: forall (s :: S). PAsData a s -> Term s (PInner (PAsData a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PAsData a)) -> (PAsData a s -> Term s b) -> Term s b Source #
Contains DefaultUni (PlutusRepr a) => PlutusType (PBuiltinList a) Source #
Instance details Defined in Plutarch.Builtin Associated Types type PInner (PBuiltinList a) :: PType Source # type PCovariant' (PBuiltinList a) Source # type PContravariant' (PBuiltinList a) Source # type PVariant' (PBuiltinList a) Source # Methods pcon' :: forall (s :: S). PBuiltinList a s -> Term s (PInner (PBuiltinList a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PBuiltinList a)) -> (PBuiltinList a s -> Term s b) -> Term s b Source #
PlutusType (PDataNewtype a) Source #	Since: 1.7.0
Instance details Defined in Plutarch.Builtin Associated Types type PInner (PDataNewtype a) :: PType Source # type PCovariant' (PDataNewtype a) Source # type PContravariant' (PDataNewtype a) Source # type PVariant' (PDataNewtype a) Source # Methods pcon' :: forall (s :: S). PDataNewtype a s -> Term s (PInner (PDataNewtype a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PDataNewtype a)) -> (PDataNewtype a s -> Term s b) -> Term s b Source #
SListI l => PlutusType (PDataRecord l) Source #
Instance details Defined in Plutarch.DataRepr.Internal Associated Types type PInner (PDataRecord l) :: PType Source # type PCovariant' (PDataRecord l) Source # type PContravariant' (PDataRecord l) Source # type PVariant' (PDataRecord l) Source # Methods pcon' :: forall (s :: S). PDataRecord l s -> Term s (PInner (PDataRecord l)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PDataRecord l)) -> (PDataRecord l s -> Term s b) -> Term s b Source #
SListI defs => PlutusType (PDataSum defs) Source #
Instance details Defined in Plutarch.DataRepr.Internal Associated Types type PInner (PDataSum defs) :: PType Source # type PCovariant' (PDataSum defs) Source # type PContravariant' (PDataSum defs) Source # type PVariant' (PDataSum defs) Source # Methods pcon' :: forall (s :: S). PDataSum defs s -> Term s (PInner (PDataSum defs)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PDataSum defs)) -> (PDataSum defs s -> Term s b) -> Term s b Source #
PlutusType (PTxList a) Source #
Instance details Defined in Plutarch.FFI Associated Types type PInner (PTxList a) :: PType Source # type PCovariant' (PTxList a) Source # type PContravariant' (PTxList a) Source # type PVariant' (PTxList a) Source # Methods pcon' :: forall (s :: S). PTxList a s -> Term s (PInner (PTxList a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PTxList a)) -> (PTxList a s -> Term s b) -> Term s b Source #
PlutusType (PTxMaybe a) Source #
Instance details Defined in Plutarch.FFI Associated Types type PInner (PTxMaybe a) :: PType Source # type PCovariant' (PTxMaybe a) Source # type PContravariant' (PTxMaybe a) Source # type PVariant' (PTxMaybe a) Source # Methods pcon' :: forall (s :: S). PTxMaybe a s -> Term s (PInner (PTxMaybe a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PTxMaybe a)) -> (PTxMaybe a s -> Term s b) -> Term s b Source #
PlutusType (PFix f) Source #
Instance details Defined in Plutarch.Internal.PlutusType Associated Types type PInner (PFix f) :: PType Source # type PCovariant' (PFix f) Source # type PContravariant' (PFix f) Source # type PVariant' (PFix f) Source # Methods pcon' :: forall (s :: S). PFix f s -> Term s (PInner (PFix f)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PFix f)) -> (PFix f s -> Term s b) -> Term s b Source #
PlutusType (PList a) Source #
Instance details Defined in Plutarch.List Associated Types type PInner (PList a) :: PType Source # type PCovariant' (PList a) Source # type PContravariant' (PList a) Source # type PVariant' (PList a) Source # Methods pcon' :: forall (s :: S). PList a s -> Term s (PInner (PList a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PList a)) -> (PList a s -> Term s b) -> Term s b Source #
PlutusType (PMaybe a) Source #
Instance details Defined in Plutarch.Maybe Associated Types type PInner (PMaybe a) :: PType Source # type PCovariant' (PMaybe a) Source # type PContravariant' (PMaybe a) Source # type PVariant' (PMaybe a) Source # Methods pcon' :: forall (s :: S). PMaybe a s -> Term s (PInner (PMaybe a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PMaybe a)) -> (PMaybe a s -> Term s b) -> Term s b Source #
PlutusType (PUnit :: S -> Type) Source #
Instance details Defined in Plutarch.Unit Associated Types type PInner PUnit :: PType Source # type PCovariant' PUnit Source # type PContravariant' PUnit Source # type PVariant' PUnit Source # Methods pcon' :: forall (s :: S). PUnit s -> Term s (PInner PUnit) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PUnit) -> (PUnit s -> Term s b) -> Term s b Source #
PlutusType (PBuiltinPair a b) Source #
Instance details Defined in Plutarch.Builtin Associated Types type PInner (PBuiltinPair a b) :: PType Source # type PCovariant' (PBuiltinPair a b) Source # type PContravariant' (PBuiltinPair a b) Source # type PVariant' (PBuiltinPair a b) Source # Methods pcon' :: forall (s :: S). PBuiltinPair a b s -> Term s (PInner (PBuiltinPair a b)) Source # pmatch' :: forall (s :: S) (b0 :: PType). Term s (PInner (PBuiltinPair a b)) -> (PBuiltinPair a b s -> Term s b0) -> Term s b0 Source #
PlutusType (PEither a b) Source #
Instance details Defined in Plutarch.Either Associated Types type PInner (PEither a b) :: PType Source # type PCovariant' (PEither a b) Source # type PContravariant' (PEither a b) Source # type PVariant' (PEither a b) Source # Methods pcon' :: forall (s :: S). PEither a b s -> Term s (PInner (PEither a b)) Source # pmatch' :: forall (s :: S) (b0 :: PType). Term s (PInner (PEither a b)) -> (PEither a b s -> Term s b0) -> Term s b0 Source #
PlutusType (PEitherData a b) Source #	@since WIP
Instance details Defined in Plutarch.Either Associated Types type PInner (PEitherData a b) :: PType Source # type PCovariant' (PEitherData a b) Source # type PContravariant' (PEitherData a b) Source # type PVariant' (PEitherData a b) Source # Methods pcon' :: forall (s :: S). PEitherData a b s -> Term s (PInner (PEitherData a b)) Source # pmatch' :: forall (s :: S) (b0 :: PType). Term s (PInner (PEitherData a b)) -> (PEitherData a b s -> Term s b0) -> Term s b0 Source #
PlutusType (DeriveBuiltinPLiftable a h) Source #
Instance details Defined in Plutarch.Internal.Lift Associated Types type PInner (DeriveBuiltinPLiftable a h) :: PType Source # type PCovariant' (DeriveBuiltinPLiftable a h) Source # type PContravariant' (DeriveBuiltinPLiftable a h) Source # type PVariant' (DeriveBuiltinPLiftable a h) Source # Methods pcon' :: forall (s :: S). DeriveBuiltinPLiftable a h s -> Term s (PInner (DeriveBuiltinPLiftable a h)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (DeriveBuiltinPLiftable a h)) -> (DeriveBuiltinPLiftable a h s -> Term s b) -> Term s b Source #
PlutusType (DeriveDataPLiftable a h) Source #
Instance details Defined in Plutarch.Internal.Lift Associated Types type PInner (DeriveDataPLiftable a h) :: PType Source # type PCovariant' (DeriveDataPLiftable a h) Source # type PContravariant' (DeriveDataPLiftable a h) Source # type PVariant' (DeriveDataPLiftable a h) Source # Methods pcon' :: forall (s :: S). DeriveDataPLiftable a h s -> Term s (PInner (DeriveDataPLiftable a h)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (DeriveDataPLiftable a h)) -> (DeriveDataPLiftable a h s -> Term s b) -> Term s b Source #
PlutusType (PForall f) Source #
Instance details Defined in Plutarch.Internal.PlutusType Associated Types type PInner (PForall f) :: PType Source # type PCovariant' (PForall f) Source # type PContravariant' (PForall f) Source # type PVariant' (PForall f) Source # Methods pcon' :: forall (s :: S). PForall f s -> Term s (PInner (PForall f)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PForall f)) -> (PForall f s -> Term s b) -> Term s b Source #
PlutusType (PSome f) Source #
Instance details Defined in Plutarch.Internal.PlutusType Associated Types type PInner (PSome f) :: PType Source # type PCovariant' (PSome f) Source # type PContravariant' (PSome f) Source # type PVariant' (PSome f) Source # Methods pcon' :: forall (s :: S). PSome f s -> Term s (PInner (PSome f)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PSome f)) -> (PSome f s -> Term s b) -> Term s b Source #
PlutusType (PScottEncoded a r) Source #
Instance details Defined in Plutarch.Internal.ScottEncoding Associated Types type PInner (PScottEncoded a r) :: PType Source # type PCovariant' (PScottEncoded a r) Source # type PContravariant' (PScottEncoded a r) Source # type PVariant' (PScottEncoded a r) Source # Methods pcon' :: forall (s :: S). PScottEncoded a r s -> Term s (PInner (PScottEncoded a r)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PScottEncoded a r)) -> (PScottEncoded a r s -> Term s b) -> Term s b Source #
PlutusType (a :--> b) Source #
Instance details Defined in Plutarch.Internal.PlutusType Associated Types type PInner (a :--> b) :: PType Source # type PCovariant' (a :--> b) Source # type PContravariant' (a :--> b) Source # type PVariant' (a :--> b) Source # Methods pcon' :: forall (s :: S). (a :--> b) s -> Term s (PInner (a :--> b)) Source # pmatch' :: forall (s :: S) (b0 :: PType). Term s (PInner (a :--> b)) -> ((a :--> b) s -> Term s b0) -> Term s b0 Source #
PlutusType (PPair a b) Source #
Instance details Defined in Plutarch.Pair Associated Types type PInner (PPair a b) :: PType Source # type PCovariant' (PPair a b) Source # type PContravariant' (PPair a b) Source # type PVariant' (PPair a b) Source # Methods pcon' :: forall (s :: S). PPair a b s -> Term s (PInner (PPair a b)) Source # pmatch' :: forall (s :: S) (b0 :: PType). Term s (PInner (PPair a b)) -> (PPair a b s -> Term s b0) -> Term s b0 Source #
PlutusType (DeriveNewtypePLiftable wrapper inner h) Source #
Instance details Defined in Plutarch.Internal.Lift Associated Types type PInner (DeriveNewtypePLiftable wrapper inner h) :: PType Source # type PCovariant' (DeriveNewtypePLiftable wrapper inner h) Source # type PContravariant' (DeriveNewtypePLiftable wrapper inner h) Source # type PVariant' (DeriveNewtypePLiftable wrapper inner h) Source # Methods pcon' :: forall (s :: S). DeriveNewtypePLiftable wrapper inner h s -> Term s (PInner (DeriveNewtypePLiftable wrapper inner h)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (DeriveNewtypePLiftable wrapper inner h)) -> (DeriveNewtypePLiftable wrapper inner h s -> Term s b) -> Term s b Source #

type family PlutusTypeStratConstraint strategy :: PType -> Constraint Source #

Instances

Instances details

type PlutusTypeStratConstraint PlutusTypeData Source #
Instance details Defined in Plutarch.DataRepr.Internal type PlutusTypeStratConstraint PlutusTypeData
type PlutusTypeStratConstraint PlutusTypeNewtype Source #
Instance details Defined in Plutarch.Internal.Newtype type PlutusTypeStratConstraint PlutusTypeNewtype
type PlutusTypeStratConstraint PlutusTypeScott Source #
Instance details Defined in Plutarch.Internal.ScottEncoding type PlutusTypeStratConstraint PlutusTypeScott

type PCon = PlutusType Source #

Deprecated: Use PlutusType

type PMatch = PlutusType Source #

Deprecated: Use PlutusType

pcon' :: forall s. PlutusType a => a s -> Term s (PInner a) Source #

pmatch' :: forall s b. PlutusType a => Term s (PInner a) -> (a s -> Term s b) -> Term s b Source #

pmatch :: PlutusType a => Term s a -> (a s -> Term s b) -> Term s b Source #

Pattern match over Plutarch Terms via a Haskell datatype

pcon :: PlutusType a => a s -> Term s a Source #

Construct a Plutarch Term via a Haskell datatype

type family PInner a :: PType Source #

Instances

Instances details

type PInner PBuiltinBLS12_381_G1_Element Source #
Instance details Defined in Plutarch.BLS type PInner PBuiltinBLS12_381_G1_Element = DerivedPInner (DPTStrat PBuiltinBLS12_381_G1_Element) PBuiltinBLS12_381_G1_Element
type PInner PBuiltinBLS12_381_G2_Element Source #
Instance details Defined in Plutarch.BLS type PInner PBuiltinBLS12_381_G2_Element = DerivedPInner (DPTStrat PBuiltinBLS12_381_G2_Element) PBuiltinBLS12_381_G2_Element
type PInner PBuiltinBLS12_381_MlResult Source #
Instance details Defined in Plutarch.BLS type PInner PBuiltinBLS12_381_MlResult = DerivedPInner (DPTStrat PBuiltinBLS12_381_MlResult) PBuiltinBLS12_381_MlResult
type PInner PBitString Source #	@since WIP
Instance details Defined in Plutarch.BitString type PInner PBitString = DerivedPInner (DPTStrat PBitString) PBitString
type PInner PData Source #
Instance details Defined in Plutarch.Builtin type PInner PData = PData
type PInner PBool Source #
Instance details Defined in Plutarch.Builtin.Bool type PInner PBool = PBool
type PInner PByte Source #	@since WIP
Instance details Defined in Plutarch.ByteString type PInner PByte = DerivedPInner (DPTStrat PByte) PByte
type PInner PByteString Source #
Instance details Defined in Plutarch.ByteString type PInner PByteString = DerivedPInner (DPTStrat PByteString) PByteString
type PInner PLogicOpSemantics Source #	@since WIP
Instance details Defined in Plutarch.ByteString type PInner PLogicOpSemantics = DerivedPInner (DPTStrat PLogicOpSemantics) PLogicOpSemantics
type PInner PEndianness Source #	@since WIP
Instance details Defined in Plutarch.Convert type PInner PEndianness = DerivedPInner (DPTStrat PEndianness) PEndianness
type PInner PInteger Source #
Instance details Defined in Plutarch.Integer type PInner PInteger = DerivedPInner (DPTStrat PInteger) PInteger
type PInner POpaque Source #
Instance details Defined in Plutarch.Internal.Other type PInner POpaque = POpaque
type PInner PPositive Source #
Instance details Defined in Plutarch.Positive type PInner PPositive = DerivedPInner (DPTStrat PPositive) PPositive
type PInner PRational Source #
Instance details Defined in Plutarch.Rational type PInner PRational = DerivedPInner (DPTStrat PRational) PRational
type PInner PString Source #
Instance details Defined in Plutarch.String type PInner PString = DerivedPInner (DPTStrat PString) PString
type PInner (PAsData a) Source #
Instance details Defined in Plutarch.Builtin type PInner (PAsData a)
type PInner (PBuiltinList a) Source #
Instance details Defined in Plutarch.Builtin type PInner (PBuiltinList a) = PBuiltinList a
type PInner (PDataNewtype a) Source #
Instance details Defined in Plutarch.Builtin type PInner (PDataNewtype a) = PData
type PInner (PDataRecord l) Source #
Instance details Defined in Plutarch.DataRepr.Internal type PInner (PDataRecord l) = PBuiltinList PData
type PInner (PDataSum defs) Source #
Instance details Defined in Plutarch.DataRepr.Internal type PInner (PDataSum defs) = PData
type PInner (PTxList a) Source #
Instance details Defined in Plutarch.FFI type PInner (PTxList a)
type PInner (PTxMaybe a) Source #
Instance details Defined in Plutarch.FFI type PInner (PTxMaybe a)
type PInner (PFix f) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PInner (PFix f) = f (PFix f)
type PInner (PList a) Source #
Instance details Defined in Plutarch.List type PInner (PList a) = DerivedPInner (DPTStrat (PList a)) (PList a)
type PInner (PMaybe a) Source #
Instance details Defined in Plutarch.Maybe type PInner (PMaybe a) = DerivedPInner (DPTStrat (PMaybe a)) (PMaybe a)
type PInner (PUnit :: S -> Type) Source #
Instance details Defined in Plutarch.Unit type PInner (PUnit :: S -> Type) = PUnit :: S -> Type
type PInner (PBuiltinPair a b) Source #
Instance details Defined in Plutarch.Builtin type PInner (PBuiltinPair a b) = PBuiltinPair a b
type PInner (PEither a b) Source #
Instance details Defined in Plutarch.Either type PInner (PEither a b) = DerivedPInner (DPTStrat (PEither a b)) (PEither a b)
type PInner (PEitherData a b) Source #
Instance details Defined in Plutarch.Either type PInner (PEitherData a b) = PData
type PInner (DeriveBuiltinPLiftable a h) Source #
Instance details Defined in Plutarch.Internal.Lift type PInner (DeriveBuiltinPLiftable a h) = DerivedPInner (DPTStrat (DeriveBuiltinPLiftable a h)) (DeriveBuiltinPLiftable a h)
type PInner (DeriveDataPLiftable a h) Source #
Instance details Defined in Plutarch.Internal.Lift type PInner (DeriveDataPLiftable a h) = DerivedPInner (DPTStrat (DeriveDataPLiftable a h)) (DeriveDataPLiftable a h)
type PInner (PForall f) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PInner (PForall f) = PForall f
type PInner (PSome f) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PInner (PSome f) = PSome f
type PInner (PScottEncoded a r) Source #
Instance details Defined in Plutarch.Internal.ScottEncoding type PInner (PScottEncoded a r)
type PInner (a :--> b) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PInner (a :--> b) = a :--> b
type PInner (PPair a b) Source #
Instance details Defined in Plutarch.Pair type PInner (PPair a b) = DerivedPInner (DPTStrat (PPair a b)) (PPair a b)
type PInner (DeriveNewtypePLiftable wrapper inner h) Source #
Instance details Defined in Plutarch.Internal.Lift type PInner (DeriveNewtypePLiftable wrapper inner h) = DerivedPInner (DPTStrat (DeriveNewtypePLiftable wrapper inner h)) (DeriveNewtypePLiftable wrapper inner h)

class PlutusTypeStrat (strategy :: Type) Source #

Minimal complete definition

derivedPCon, derivedPMatch

Instances

Instances details

PlutusTypeStrat PlutusTypeData Source #
Instance details Defined in Plutarch.DataRepr.Internal Associated Types type PlutusTypeStratConstraint PlutusTypeData :: PType -> Constraint Source # type DerivedPInner PlutusTypeData a :: PType Source # Methods derivedPCon :: forall a (s :: S). (DerivePlutusType a, DPTStrat a ~ PlutusTypeData) => a s -> Term s (DerivedPInner PlutusTypeData a) Source # derivedPMatch :: forall a (s :: S) (b :: PType). (DerivePlutusType a, DPTStrat a ~ PlutusTypeData) => Term s (DerivedPInner PlutusTypeData a) -> (a s -> Term s b) -> Term s b Source #
PlutusTypeStrat PlutusTypeNewtype Source #
Instance details Defined in Plutarch.Internal.Newtype Associated Types type PlutusTypeStratConstraint PlutusTypeNewtype :: PType -> Constraint Source # type DerivedPInner PlutusTypeNewtype a :: PType Source # Methods derivedPCon :: forall a (s :: S). (DerivePlutusType a, DPTStrat a ~ PlutusTypeNewtype) => a s -> Term s (DerivedPInner PlutusTypeNewtype a) Source # derivedPMatch :: forall a (s :: S) (b :: PType). (DerivePlutusType a, DPTStrat a ~ PlutusTypeNewtype) => Term s (DerivedPInner PlutusTypeNewtype a) -> (a s -> Term s b) -> Term s b Source #
PlutusTypeStrat PlutusTypeScott Source #
Instance details Defined in Plutarch.Internal.ScottEncoding Associated Types type PlutusTypeStratConstraint PlutusTypeScott :: PType -> Constraint Source # type DerivedPInner PlutusTypeScott a :: PType Source # Methods derivedPCon :: forall a (s :: S). (DerivePlutusType a, DPTStrat a ~ PlutusTypeScott) => a s -> Term s (DerivedPInner PlutusTypeScott a) Source # derivedPMatch :: forall a (s :: S) (b :: PType). (DerivePlutusType a, DPTStrat a ~ PlutusTypeScott) => Term s (DerivedPInner PlutusTypeScott a) -> (a s -> Term s b) -> Term s b Source #

class (PInner a ~ DerivedPInner (DPTStrat a) a, PlutusTypeStrat (DPTStrat a), PlutusTypeStratConstraint (DPTStrat a) a, PlutusType a) => DerivePlutusType (a :: PType) Source #

Instances

Instances details

DerivePlutusType PBuiltinBLS12_381_G1_Element Source #	Since: 1.9.0
Instance details Defined in Plutarch.BLS Associated Types type DPTStrat PBuiltinBLS12_381_G1_Element Source #
DerivePlutusType PBuiltinBLS12_381_G2_Element Source #	Since: 1.9.0
Instance details Defined in Plutarch.BLS Associated Types type DPTStrat PBuiltinBLS12_381_G2_Element Source #
DerivePlutusType PBuiltinBLS12_381_MlResult Source #	Since: 1.9.0
Instance details Defined in Plutarch.BLS Associated Types type DPTStrat PBuiltinBLS12_381_MlResult Source #
DerivePlutusType PBitString Source #	@since WIP
Instance details Defined in Plutarch.BitString Associated Types type DPTStrat PBitString Source #
DerivePlutusType PByte Source #	@since WIP
Instance details Defined in Plutarch.ByteString Associated Types type DPTStrat PByte Source #
DerivePlutusType PByteString Source #
Instance details Defined in Plutarch.ByteString Associated Types type DPTStrat PByteString Source #
DerivePlutusType PLogicOpSemantics Source #	@since WIP
Instance details Defined in Plutarch.ByteString Associated Types type DPTStrat PLogicOpSemantics Source #
DerivePlutusType PEndianness Source #	@since WIP
Instance details Defined in Plutarch.Convert Associated Types type DPTStrat PEndianness Source #
DerivePlutusType PInteger Source #
Instance details Defined in Plutarch.Integer Associated Types type DPTStrat PInteger Source #
DerivePlutusType PPositive Source #
Instance details Defined in Plutarch.Positive Associated Types type DPTStrat PPositive Source #
DerivePlutusType PRational Source #
Instance details Defined in Plutarch.Rational Associated Types type DPTStrat PRational Source #
DerivePlutusType PString Source #
Instance details Defined in Plutarch.String Associated Types type DPTStrat PString Source #
DerivePlutusType (PList a) Source #
Instance details Defined in Plutarch.List Associated Types type DPTStrat (PList a) Source #
DerivePlutusType (PMaybe a) Source #
Instance details Defined in Plutarch.Maybe Associated Types type DPTStrat (PMaybe a) Source #
DerivePlutusType (PEither a b) Source #
Instance details Defined in Plutarch.Either Associated Types type DPTStrat (PEither a b) Source #
DerivePlutusType (DeriveBuiltinPLiftable a h) Source #	@since WIP
Instance details Defined in Plutarch.Internal.Lift Associated Types type DPTStrat (DeriveBuiltinPLiftable a h) Source #
DerivePlutusType (DeriveDataPLiftable a h) Source #	@since WIP
Instance details Defined in Plutarch.Internal.Lift Associated Types type DPTStrat (DeriveDataPLiftable a h) Source #
DerivePlutusType (PPair a b) Source #
Instance details Defined in Plutarch.Pair Associated Types type DPTStrat (PPair a b) Source #
DerivePlutusType (DeriveNewtypePLiftable w i h) Source #	@since WIP
Instance details Defined in Plutarch.Internal.Lift Associated Types type DPTStrat (DeriveNewtypePLiftable w i h) Source #

type family DPTStrat a :: Type Source #

Instances

Instances details

type DPTStrat PBuiltinBLS12_381_G1_Element Source #
Instance details Defined in Plutarch.BLS type DPTStrat PBuiltinBLS12_381_G1_Element = PlutusTypeNewtype
type DPTStrat PBuiltinBLS12_381_G2_Element Source #
Instance details Defined in Plutarch.BLS type DPTStrat PBuiltinBLS12_381_G2_Element = PlutusTypeNewtype
type DPTStrat PBuiltinBLS12_381_MlResult Source #
Instance details Defined in Plutarch.BLS type DPTStrat PBuiltinBLS12_381_MlResult = PlutusTypeNewtype
type DPTStrat PBitString Source #
Instance details Defined in Plutarch.BitString type DPTStrat PBitString = PlutusTypeNewtype
type DPTStrat PByte Source #
Instance details Defined in Plutarch.ByteString type DPTStrat PByte = PlutusTypeNewtype
type DPTStrat PByteString Source #
Instance details Defined in Plutarch.ByteString type DPTStrat PByteString = PlutusTypeNewtype
type DPTStrat PLogicOpSemantics Source #
Instance details Defined in Plutarch.ByteString type DPTStrat PLogicOpSemantics = PlutusTypeNewtype
type DPTStrat PEndianness Source #
Instance details Defined in Plutarch.Convert type DPTStrat PEndianness = PlutusTypeNewtype
type DPTStrat PInteger Source #
Instance details Defined in Plutarch.Integer type DPTStrat PInteger = PlutusTypeNewtype
type DPTStrat PPositive Source #
Instance details Defined in Plutarch.Positive type DPTStrat PPositive = PlutusTypeNewtype
type DPTStrat PRational Source #
Instance details Defined in Plutarch.Rational type DPTStrat PRational = PlutusTypeScott
type DPTStrat PString Source #
Instance details Defined in Plutarch.String type DPTStrat PString = PlutusTypeNewtype
type DPTStrat (PList a) Source #
Instance details Defined in Plutarch.List type DPTStrat (PList a) = PlutusTypeScott
type DPTStrat (PMaybe a) Source #
Instance details Defined in Plutarch.Maybe type DPTStrat (PMaybe a) = PlutusTypeScott
type DPTStrat (PEither a b) Source #
Instance details Defined in Plutarch.Either type DPTStrat (PEither a b) = PlutusTypeScott
type DPTStrat (DeriveBuiltinPLiftable a h) Source #
Instance details Defined in Plutarch.Internal.Lift type DPTStrat (DeriveBuiltinPLiftable a h) = PlutusTypeNewtype
type DPTStrat (DeriveDataPLiftable a h) Source #
Instance details Defined in Plutarch.Internal.Lift type DPTStrat (DeriveDataPLiftable a h) = PlutusTypeNewtype
type DPTStrat (PPair a b) Source #
Instance details Defined in Plutarch.Pair type DPTStrat (PPair a b) = PlutusTypeScott
type DPTStrat (DeriveNewtypePLiftable w i h) Source #
Instance details Defined in Plutarch.Internal.Lift type DPTStrat (DeriveNewtypePLiftable w i h) = PlutusTypeNewtype

type family DerivedPInner strategy (a :: PType) :: PType Source #

Instances

Instances details

type DerivedPInner PlutusTypeData a Source #
Instance details Defined in Plutarch.DataRepr.Internal type DerivedPInner PlutusTypeData a
type DerivedPInner PlutusTypeNewtype a Source #
Instance details Defined in Plutarch.Internal.Newtype type DerivedPInner PlutusTypeNewtype a
type DerivedPInner PlutusTypeScott a Source #
Instance details Defined in Plutarch.Internal.ScottEncoding type DerivedPInner PlutusTypeScott a = PForall (PScottEncoded (PCode a))

derivedPCon :: forall a s. (PlutusTypeStrat strategy, DerivePlutusType a, DPTStrat a ~ strategy) => a s -> Term s (DerivedPInner strategy a) Source #

derivedPMatch :: forall a s b. (PlutusTypeStrat strategy, DerivePlutusType a, DPTStrat a ~ strategy) => Term s (DerivedPInner strategy a) -> (a s -> Term s b) -> Term s b Source #

class (forall t. PVariant'' t => PVariant'' (a t)) => PVariant a Source #

Instances

Instances details

(forall (t :: PType). PVariant'' t => PVariant'' (a t)) => PVariant a Source #
Instance details Defined in Plutarch.Internal.PlutusType

class (forall t. PCovariant'' t => PCovariant'' (a t)) => PCovariant a Source #

Instances

Instances details

(forall (t :: PType). PCovariant'' t => PCovariant'' (a t)) => PCovariant a Source #
Instance details Defined in Plutarch.Internal.PlutusType

class (forall t. PCovariant'' t => PContravariant'' (a t)) => PContravariant a Source #

Instances

Instances details

(forall (t :: PType). PCovariant'' t => PContravariant'' (a t)) => PContravariant a Source #
Instance details Defined in Plutarch.Internal.PlutusType

type family PVariant' a :: Constraint Source #

Instances

Instances details

type PVariant' PBuiltinBLS12_381_G1_Element Source #
Instance details Defined in Plutarch.BLS type PVariant' PBuiltinBLS12_381_G1_Element
type PVariant' PBuiltinBLS12_381_G2_Element Source #
Instance details Defined in Plutarch.BLS type PVariant' PBuiltinBLS12_381_G2_Element
type PVariant' PBuiltinBLS12_381_MlResult Source #
Instance details Defined in Plutarch.BLS type PVariant' PBuiltinBLS12_381_MlResult
type PVariant' PBitString Source #
Instance details Defined in Plutarch.BitString type PVariant' PBitString
type PVariant' PData Source #
Instance details Defined in Plutarch.Builtin type PVariant' PData = ()
type PVariant' PBool Source #
Instance details Defined in Plutarch.Builtin.Bool type PVariant' PBool
type PVariant' PByte Source #
Instance details Defined in Plutarch.ByteString type PVariant' PByte
type PVariant' PByteString Source #
Instance details Defined in Plutarch.ByteString type PVariant' PByteString
type PVariant' PLogicOpSemantics Source #
Instance details Defined in Plutarch.ByteString type PVariant' PLogicOpSemantics
type PVariant' PEndianness Source #
Instance details Defined in Plutarch.Convert type PVariant' PEndianness
type PVariant' PInteger Source #
Instance details Defined in Plutarch.Integer type PVariant' PInteger
type PVariant' POpaque Source #
Instance details Defined in Plutarch.Internal.Other type PVariant' POpaque = ()
type PVariant' PPositive Source #
Instance details Defined in Plutarch.Positive type PVariant' PPositive
type PVariant' PRational Source #
Instance details Defined in Plutarch.Rational type PVariant' PRational
type PVariant' PString Source #
Instance details Defined in Plutarch.String type PVariant' PString
type PVariant' (PAsData a) Source #
Instance details Defined in Plutarch.Builtin type PVariant' (PAsData a) = PVariant' a
type PVariant' (PBuiltinList a) Source #
Instance details Defined in Plutarch.Builtin type PVariant' (PBuiltinList a) = PVariant' a
type PVariant' (PDataNewtype a) Source #
Instance details Defined in Plutarch.Builtin type PVariant' (PDataNewtype a)
type PVariant' (PDataRecord l) Source #
Instance details Defined in Plutarch.DataRepr.Internal type PVariant' (PDataRecord l)
type PVariant' (PDataSum defs) Source #
Instance details Defined in Plutarch.DataRepr.Internal type PVariant' (PDataSum defs)
type PVariant' (PTxList a) Source #
Instance details Defined in Plutarch.FFI type PVariant' (PTxList a)
type PVariant' (PTxMaybe a) Source #
Instance details Defined in Plutarch.FFI type PVariant' (PTxMaybe a)
type PVariant' (PFix f) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' (PFix f)
type PVariant' (PList a) Source #
Instance details Defined in Plutarch.List type PVariant' (PList a)
type PVariant' (PMaybe a) Source #
Instance details Defined in Plutarch.Maybe type PVariant' (PMaybe a)
type PVariant' (PUnit :: S -> Type) Source #
Instance details Defined in Plutarch.Unit type PVariant' (PUnit :: S -> Type)
type PVariant' (PBuiltinPair a b) Source #
Instance details Defined in Plutarch.Builtin type PVariant' (PBuiltinPair a b) = (PVariant' a, PVariant' b)
type PVariant' (PEither a b) Source #
Instance details Defined in Plutarch.Either type PVariant' (PEither a b)
type PVariant' (PEitherData a b) Source #
Instance details Defined in Plutarch.Either type PVariant' (PEitherData a b)
type PVariant' (DeriveBuiltinPLiftable a h) Source #
Instance details Defined in Plutarch.Internal.Lift type PVariant' (DeriveBuiltinPLiftable a h)
type PVariant' (DeriveDataPLiftable a h) Source #
Instance details Defined in Plutarch.Internal.Lift type PVariant' (DeriveDataPLiftable a h)
type PVariant' (PForall f) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' (PForall f)
type PVariant' (PSome f) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' (PSome f)
type PVariant' (PScottEncoded a r) Source #
Instance details Defined in Plutarch.Internal.ScottEncoding type PVariant' (PScottEncoded a r)
type PVariant' (a :--> b) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' (a :--> b) = (PVariant' a, PVariant' b)
type PVariant' (PPair a b) Source #
Instance details Defined in Plutarch.Pair type PVariant' (PPair a b)
type PVariant' (DeriveNewtypePLiftable wrapper inner h) Source #
Instance details Defined in Plutarch.Internal.Lift type PVariant' (DeriveNewtypePLiftable wrapper inner h)

type family PCovariant' a :: Constraint Source #

Instances

Instances details

type PCovariant' PBuiltinBLS12_381_G1_Element Source #
Instance details Defined in Plutarch.BLS type PCovariant' PBuiltinBLS12_381_G1_Element
type PCovariant' PBuiltinBLS12_381_G2_Element Source #
Instance details Defined in Plutarch.BLS type PCovariant' PBuiltinBLS12_381_G2_Element
type PCovariant' PBuiltinBLS12_381_MlResult Source #
Instance details Defined in Plutarch.BLS type PCovariant' PBuiltinBLS12_381_MlResult
type PCovariant' PBitString Source #
Instance details Defined in Plutarch.BitString type PCovariant' PBitString
type PCovariant' PData Source #
Instance details Defined in Plutarch.Builtin type PCovariant' PData = ()
type PCovariant' PBool Source #
Instance details Defined in Plutarch.Builtin.Bool type PCovariant' PBool
type PCovariant' PByte Source #
Instance details Defined in Plutarch.ByteString type PCovariant' PByte
type PCovariant' PByteString Source #
Instance details Defined in Plutarch.ByteString type PCovariant' PByteString
type PCovariant' PLogicOpSemantics Source #
Instance details Defined in Plutarch.ByteString type PCovariant' PLogicOpSemantics
type PCovariant' PEndianness Source #
Instance details Defined in Plutarch.Convert type PCovariant' PEndianness
type PCovariant' PInteger Source #
Instance details Defined in Plutarch.Integer type PCovariant' PInteger
type PCovariant' POpaque Source #
Instance details Defined in Plutarch.Internal.Other type PCovariant' POpaque = ()
type PCovariant' PPositive Source #
Instance details Defined in Plutarch.Positive type PCovariant' PPositive
type PCovariant' PRational Source #
Instance details Defined in Plutarch.Rational type PCovariant' PRational
type PCovariant' PString Source #
Instance details Defined in Plutarch.String type PCovariant' PString
type PCovariant' (PAsData a) Source #
Instance details Defined in Plutarch.Builtin type PCovariant' (PAsData a) = PCovariant' a
type PCovariant' (PBuiltinList a) Source #
Instance details Defined in Plutarch.Builtin type PCovariant' (PBuiltinList a) = PCovariant' a
type PCovariant' (PDataNewtype a) Source #
Instance details Defined in Plutarch.Builtin type PCovariant' (PDataNewtype a)
type PCovariant' (PDataRecord l) Source #
Instance details Defined in Plutarch.DataRepr.Internal type PCovariant' (PDataRecord l)
type PCovariant' (PDataSum defs) Source #
Instance details Defined in Plutarch.DataRepr.Internal type PCovariant' (PDataSum defs)
type PCovariant' (PTxList a) Source #
Instance details Defined in Plutarch.FFI type PCovariant' (PTxList a)
type PCovariant' (PTxMaybe a) Source #
Instance details Defined in Plutarch.FFI type PCovariant' (PTxMaybe a)
type PCovariant' (PFix f) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' (PFix f)
type PCovariant' (PList a) Source #
Instance details Defined in Plutarch.List type PCovariant' (PList a)
type PCovariant' (PMaybe a) Source #
Instance details Defined in Plutarch.Maybe type PCovariant' (PMaybe a)
type PCovariant' (PUnit :: S -> Type) Source #
Instance details Defined in Plutarch.Unit type PCovariant' (PUnit :: S -> Type)
type PCovariant' (PBuiltinPair a b) Source #
Instance details Defined in Plutarch.Builtin type PCovariant' (PBuiltinPair a b) = (PCovariant' a, PCovariant' b)
type PCovariant' (PEither a b) Source #
Instance details Defined in Plutarch.Either type PCovariant' (PEither a b)
type PCovariant' (PEitherData a b) Source #
Instance details Defined in Plutarch.Either type PCovariant' (PEitherData a b)
type PCovariant' (DeriveBuiltinPLiftable a h) Source #
Instance details Defined in Plutarch.Internal.Lift type PCovariant' (DeriveBuiltinPLiftable a h)
type PCovariant' (DeriveDataPLiftable a h) Source #
Instance details Defined in Plutarch.Internal.Lift type PCovariant' (DeriveDataPLiftable a h)
type PCovariant' (PForall f) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' (PForall f)
type PCovariant' (PSome f) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' (PSome f)
type PCovariant' (PScottEncoded a r) Source #
Instance details Defined in Plutarch.Internal.ScottEncoding type PCovariant' (PScottEncoded a r)
type PCovariant' (a :--> b) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' (a :--> b) = (PContravariant' a, PCovariant' b)
type PCovariant' (PPair a b) Source #
Instance details Defined in Plutarch.Pair type PCovariant' (PPair a b)
type PCovariant' (DeriveNewtypePLiftable wrapper inner h) Source #
Instance details Defined in Plutarch.Internal.Lift type PCovariant' (DeriveNewtypePLiftable wrapper inner h)

type family PContravariant' a :: Constraint Source #

Instances

Instances details

type PContravariant' PBuiltinBLS12_381_G1_Element Source #
Instance details Defined in Plutarch.BLS type PContravariant' PBuiltinBLS12_381_G1_Element
type PContravariant' PBuiltinBLS12_381_G2_Element Source #
Instance details Defined in Plutarch.BLS type PContravariant' PBuiltinBLS12_381_G2_Element
type PContravariant' PBuiltinBLS12_381_MlResult Source #
Instance details Defined in Plutarch.BLS type PContravariant' PBuiltinBLS12_381_MlResult
type PContravariant' PBitString Source #
Instance details Defined in Plutarch.BitString type PContravariant' PBitString
type PContravariant' PData Source #
Instance details Defined in Plutarch.Builtin type PContravariant' PData = ()
type PContravariant' PBool Source #
Instance details Defined in Plutarch.Builtin.Bool type PContravariant' PBool
type PContravariant' PByte Source #
Instance details Defined in Plutarch.ByteString type PContravariant' PByte
type PContravariant' PByteString Source #
Instance details Defined in Plutarch.ByteString type PContravariant' PByteString
type PContravariant' PLogicOpSemantics Source #
Instance details Defined in Plutarch.ByteString type PContravariant' PLogicOpSemantics
type PContravariant' PEndianness Source #
Instance details Defined in Plutarch.Convert type PContravariant' PEndianness
type PContravariant' PInteger Source #
Instance details Defined in Plutarch.Integer type PContravariant' PInteger
type PContravariant' POpaque Source #
Instance details Defined in Plutarch.Internal.Other type PContravariant' POpaque = ()
type PContravariant' PPositive Source #
Instance details Defined in Plutarch.Positive type PContravariant' PPositive
type PContravariant' PRational Source #
Instance details Defined in Plutarch.Rational type PContravariant' PRational
type PContravariant' PString Source #
Instance details Defined in Plutarch.String type PContravariant' PString
type PContravariant' (PAsData a) Source #
Instance details Defined in Plutarch.Builtin type PContravariant' (PAsData a) = PContravariant' a
type PContravariant' (PBuiltinList a) Source #
Instance details Defined in Plutarch.Builtin type PContravariant' (PBuiltinList a) = PContravariant' a
type PContravariant' (PDataNewtype a) Source #
Instance details Defined in Plutarch.Builtin type PContravariant' (PDataNewtype a)
type PContravariant' (PDataRecord l) Source #
Instance details Defined in Plutarch.DataRepr.Internal type PContravariant' (PDataRecord l)
type PContravariant' (PDataSum defs) Source #
Instance details Defined in Plutarch.DataRepr.Internal type PContravariant' (PDataSum defs)
type PContravariant' (PTxList a) Source #
Instance details Defined in Plutarch.FFI type PContravariant' (PTxList a)
type PContravariant' (PTxMaybe a) Source #
Instance details Defined in Plutarch.FFI type PContravariant' (PTxMaybe a)
type PContravariant' (PFix f) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' (PFix f)
type PContravariant' (PList a) Source #
Instance details Defined in Plutarch.List type PContravariant' (PList a)
type PContravariant' (PMaybe a) Source #
Instance details Defined in Plutarch.Maybe type PContravariant' (PMaybe a)
type PContravariant' (PUnit :: S -> Type) Source #
Instance details Defined in Plutarch.Unit type PContravariant' (PUnit :: S -> Type)
type PContravariant' (PBuiltinPair a b) Source #
Instance details Defined in Plutarch.Builtin type PContravariant' (PBuiltinPair a b) = (PContravariant' a, PContravariant' b)
type PContravariant' (PEither a b) Source #
Instance details Defined in Plutarch.Either type PContravariant' (PEither a b)
type PContravariant' (PEitherData a b) Source #
Instance details Defined in Plutarch.Either type PContravariant' (PEitherData a b)
type PContravariant' (DeriveBuiltinPLiftable a h) Source #
Instance details Defined in Plutarch.Internal.Lift type PContravariant' (DeriveBuiltinPLiftable a h)
type PContravariant' (DeriveDataPLiftable a h) Source #
Instance details Defined in Plutarch.Internal.Lift type PContravariant' (DeriveDataPLiftable a h)
type PContravariant' (PForall f) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' (PForall f)
type PContravariant' (PSome f) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' (PSome f)
type PContravariant' (PScottEncoded a r) Source #
Instance details Defined in Plutarch.Internal.ScottEncoding type PContravariant' (PScottEncoded a r)
type PContravariant' (a :--> b) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' (a :--> b) = (PCovariant' a, PContravariant' b)
type PContravariant' (PPair a b) Source #
Instance details Defined in Plutarch.Pair type PContravariant' (PPair a b)
type PContravariant' (DeriveNewtypePLiftable wrapper inner h) Source #
Instance details Defined in Plutarch.Internal.Lift type PContravariant' (DeriveNewtypePLiftable wrapper inner h)