Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Internal.PlutusType

Synopsis

class PlutusType (a :: PType)
type PInnermost a = PInnermost' (PInner a) a
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 (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
class PVariant' a => PVariant'' a
class PCovariant' a => PCovariant'' a
class PContravariant' a => PContravariant'' a
newtype DeriveNewtypePlutusType (a :: S -> Type) s = DeriveNewtypePlutusType {
- unDeriveNewtypePlutusType :: a s
}
newtype DeriveFakePlutusType (a :: S -> Type) (s :: S) = DeriveFakePlutusType (a s)

Documentation

class PlutusType (a :: PType) Source #

Minimal complete definition

pcon', pmatch'

Instances

Instances details

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 PBuiltinBLS12_381_G1_Element Source #
Instance details Defined in Plutarch.Internal.PlutusType 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.Internal.PlutusType 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.Internal.PlutusType 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 PBool Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.PlutusType 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.Internal.PlutusType 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.Internal.PlutusType 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 PEndianness Source #
Instance details Defined in Plutarch.Internal.PlutusType 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 PLogicOpSemantics Source #
Instance details Defined in Plutarch.Internal.PlutusType 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 PData Source #
Instance details Defined in Plutarch.Internal.PlutusType 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 PInteger Source #
Instance details Defined in Plutarch.Internal.PlutusType 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.PlutusType 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 PString Source #
Instance details Defined in Plutarch.Internal.PlutusType 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 #
PlutusType PUnit Source #
Instance details Defined in Plutarch.Internal.PlutusType 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 PNatural Source #
Instance details Defined in Plutarch.Internal.Numeric Associated Types type PInner PNatural :: PType Source # type PCovariant' PNatural Source # type PContravariant' PNatural Source # type PVariant' PNatural Source # Methods pcon' :: forall (s :: S). PNatural s -> Term s (PInner PNatural) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PNatural) -> (PNatural s -> Term s b) -> Term s b Source #
PlutusType PPositive Source #
Instance details Defined in Plutarch.Internal.Numeric 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 (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 #
PIsData a => PlutusType (PAsData a) Source #
Instance details Defined in Plutarch.Internal.PlutusType 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.Internal.PlutusType 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 (DeriveFakePlutusType a) Source #
Instance details Defined in Plutarch.Internal.PlutusType Associated Types type PInner (DeriveFakePlutusType a) :: PType Source # type PCovariant' (DeriveFakePlutusType a) Source # type PContravariant' (DeriveFakePlutusType a) Source # type PVariant' (DeriveFakePlutusType a) Source # Methods pcon' :: forall (s :: S). DeriveFakePlutusType a s -> Term s (PInner (DeriveFakePlutusType a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (DeriveFakePlutusType a)) -> (DeriveFakePlutusType a s -> Term s b) -> Term s b Source #
(pt ~ UnTermSingle (Head (Head (Code (a (Any :: S))))), forall (s :: S). H s a pt) => PlutusType (DeriveNewtypePlutusType a) Source #
Instance details Defined in Plutarch.Internal.PlutusType Associated Types type PInner (DeriveNewtypePlutusType a) :: PType Source # type PCovariant' (DeriveNewtypePlutusType a) Source # type PContravariant' (DeriveNewtypePlutusType a) Source # type PVariant' (DeriveNewtypePlutusType a) Source # Methods pcon' :: forall (s :: S). DeriveNewtypePlutusType a s -> Term s (PInner (DeriveNewtypePlutusType a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (DeriveNewtypePlutusType a)) -> (DeriveNewtypePlutusType a s -> Term s b) -> Term s b Source #
PlutusType (PAnd a) Source #
Instance details Defined in Plutarch.Internal.Semigroup Associated Types type PInner (PAnd a) :: PType Source # type PCovariant' (PAnd a) Source # type PContravariant' (PAnd a) Source # type PVariant' (PAnd a) Source # Methods pcon' :: forall (s :: S). PAnd a s -> Term s (PInner (PAnd a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PAnd a)) -> (PAnd a s -> Term s b) -> Term s b Source #
PlutusType (POr a) Source #
Instance details Defined in Plutarch.Internal.Semigroup Associated Types type PInner (POr a) :: PType Source # type PCovariant' (POr a) Source # type PContravariant' (POr a) Source # type PVariant' (POr a) Source # Methods pcon' :: forall (s :: S). POr a s -> Term s (PInner (POr a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (POr a)) -> (POr a s -> Term s b) -> Term s b Source #
PlutusType (PXor a) Source #
Instance details Defined in Plutarch.Internal.Semigroup Associated Types type PInner (PXor a) :: PType Source # type PCovariant' (PXor a) Source # type PContravariant' (PXor a) Source # type PVariant' (PXor a) Source # Methods pcon' :: forall (s :: S). PXor a s -> Term s (PInner (PXor a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PXor a)) -> (PXor a 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 #
(Generic (a (Any :: S)), '[struct'] ~ Code (a (Any :: S)), struct ~ UnTermRec struct', All PInnermostIsDataDataRepr struct, SListI struct, forall (s :: S). StructSameRepr s a '[struct], RecTypePrettyError (Code (a (Any :: S)))) => PlutusType (DeriveAsDataRec a) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Repr.Data Associated Types type PInner (DeriveAsDataRec a) :: PType Source # type PCovariant' (DeriveAsDataRec a) Source # type PContravariant' (DeriveAsDataRec a) Source # type PVariant' (DeriveAsDataRec a) Source # Methods pcon' :: forall (s :: S). DeriveAsDataRec a s -> Term s (PInner (DeriveAsDataRec a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (DeriveAsDataRec a)) -> (DeriveAsDataRec a s -> Term s b) -> Term s b Source #
(Generic (a (Any :: S)), struct ~ UnTermStruct (a (Any :: S)), All2 PInnermostIsDataDataRepr struct, SListI2 struct, forall (s :: S). StructSameRepr s a struct) => PlutusType (DeriveAsDataStruct a) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Repr.Data Associated Types type PInner (DeriveAsDataStruct a) :: PType Source # type PCovariant' (DeriveAsDataStruct a) Source # type PContravariant' (DeriveAsDataStruct a) Source # type PVariant' (DeriveAsDataStruct a) Source # Methods pcon' :: forall (s :: S). DeriveAsDataStruct a s -> Term s (PInner (DeriveAsDataStruct a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (DeriveAsDataStruct a)) -> (DeriveAsDataStruct a s -> Term s b) -> Term s b Source #
(SListI struct, All PInnermostIsDataDataRepr struct) => PlutusType (PDataRec struct) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Repr.Data Associated Types type PInner (PDataRec struct) :: PType Source # type PCovariant' (PDataRec struct) Source # type PContravariant' (PDataRec struct) Source # type PVariant' (PDataRec struct) Source # Methods pcon' :: forall (s :: S). PDataRec struct s -> Term s (PInner (PDataRec struct)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PDataRec struct)) -> (PDataRec struct s -> Term s b) -> Term s b Source #
(SListI2 struct, All2 PInnermostIsDataDataRepr struct) => PlutusType (PDataStruct struct) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Repr.Data Associated Types type PInner (PDataStruct struct) :: PType Source # type PCovariant' (PDataStruct struct) Source # type PContravariant' (PDataStruct struct) Source # type PVariant' (PDataStruct struct) Source # Methods pcon' :: forall (s :: S). PDataStruct struct s -> Term s (PInner (PDataStruct struct)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PDataStruct struct)) -> (PDataStruct struct s -> Term s b) -> Term s b Source #
(pt ~ UnTermSingle (Head (Head (Code (a (Any :: S))))), forall (s :: S). H s a pt) => PlutusType (DeriveNewtypePlutusType a) Source #
Instance details Defined in Plutarch.Repr.Newtype Associated Types type PInner (DeriveNewtypePlutusType a) :: PType Source # type PCovariant' (DeriveNewtypePlutusType a) Source # type PContravariant' (DeriveNewtypePlutusType a) Source # type PVariant' (DeriveNewtypePlutusType a) Source # Methods pcon' :: forall (s :: S). DeriveNewtypePlutusType a s -> Term s (PInner (DeriveNewtypePlutusType a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (DeriveNewtypePlutusType a)) -> (DeriveNewtypePlutusType a s -> Term s b) -> Term s b Source #
(Generic (a (Any :: S)), '[struct'] ~ Code (a (Any :: S)), struct ~ UnTermRec struct', SListI struct, forall (s :: S). StructSameRepr s a '[struct], RecTypePrettyError (Code (a (Any :: S)))) => PlutusType (DeriveAsSOPRec a) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Repr.SOP Associated Types type PInner (DeriveAsSOPRec a) :: PType Source # type PCovariant' (DeriveAsSOPRec a) Source # type PContravariant' (DeriveAsSOPRec a) Source # type PVariant' (DeriveAsSOPRec a) Source # Methods pcon' :: forall (s :: S). DeriveAsSOPRec a s -> Term s (PInner (DeriveAsSOPRec a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (DeriveAsSOPRec a)) -> (DeriveAsSOPRec a s -> Term s b) -> Term s b Source #
(Generic (a (Any :: S)), struct ~ UnTermStruct (a (Any :: S)), SListI2 struct, forall (s :: S). StructSameRepr s a struct, PSOPStructConstraint struct) => PlutusType (DeriveAsSOPStruct a) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Repr.SOP Associated Types type PInner (DeriveAsSOPStruct a) :: PType Source # type PCovariant' (DeriveAsSOPStruct a) Source # type PContravariant' (DeriveAsSOPStruct a) Source # type PVariant' (DeriveAsSOPStruct a) Source # Methods pcon' :: forall (s :: S). DeriveAsSOPStruct a s -> Term s (PInner (DeriveAsSOPStruct a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (DeriveAsSOPStruct a)) -> (DeriveAsSOPStruct a s -> Term s b) -> Term s b Source #
SListI struct => PlutusType (PSOPRec struct) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Repr.SOP Associated Types type PInner (PSOPRec struct) :: PType Source # type PCovariant' (PSOPRec struct) Source # type PContravariant' (PSOPRec struct) Source # type PVariant' (PSOPRec struct) Source # Methods pcon' :: forall (s :: S). PSOPRec struct s -> Term s (PInner (PSOPRec struct)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PSOPRec struct)) -> (PSOPRec struct s -> Term s b) -> Term s b Source #
(SListI2 struct, PSOPStructConstraint struct) => PlutusType (PSOPStruct struct) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Repr.SOP Associated Types type PInner (PSOPStruct struct) :: PType Source # type PCovariant' (PSOPStruct struct) Source # type PContravariant' (PSOPStruct struct) Source # type PVariant' (PSOPStruct struct) Source # Methods pcon' :: forall (s :: S). PSOPStruct struct s -> Term s (PInner (PSOPStruct struct)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PSOPStruct struct)) -> (PSOPStruct struct s -> Term s b) -> Term s b Source #
(Generic (a (Any :: S)), '[struct'] ~ Code (a (Any :: S)), struct ~ UnTermRec struct', SListI struct, forall (s :: S). StructSameRepr s a '[struct], RecTypePrettyError (Code (a (Any :: S)))) => PlutusType (DeriveAsScottRec a) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Repr.Scott Associated Types type PInner (DeriveAsScottRec a) :: PType Source # type PCovariant' (DeriveAsScottRec a) Source # type PContravariant' (DeriveAsScottRec a) Source # type PVariant' (DeriveAsScottRec a) Source # Methods pcon' :: forall (s :: S). DeriveAsScottRec a s -> Term s (PInner (DeriveAsScottRec a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (DeriveAsScottRec a)) -> (DeriveAsScottRec a s -> Term s b) -> Term s b Source #
(Generic (a (Any :: S)), struct ~ UnTermStruct (a (Any :: S)), SListI2 struct, forall (s :: S). StructSameRepr s a struct, PScottStructConstraint struct) => PlutusType (DeriveAsScottStruct a) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Repr.Scott Associated Types type PInner (DeriveAsScottStruct a) :: PType Source # type PCovariant' (DeriveAsScottStruct a) Source # type PContravariant' (DeriveAsScottStruct a) Source # type PVariant' (DeriveAsScottStruct a) Source # Methods pcon' :: forall (s :: S). DeriveAsScottStruct a s -> Term s (PInner (DeriveAsScottStruct a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (DeriveAsScottStruct a)) -> (DeriveAsScottStruct a s -> Term s b) -> Term s b Source #
SListI struct => PlutusType (PScottRec struct) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Repr.Scott Associated Types type PInner (PScottRec struct) :: PType Source # type PCovariant' (PScottRec struct) Source # type PContravariant' (PScottRec struct) Source # type PVariant' (PScottRec struct) Source # Methods pcon' :: forall (s :: S). PScottRec struct s -> Term s (PInner (PScottRec struct)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PScottRec struct)) -> (PScottRec struct s -> Term s b) -> Term s b Source #
(SListI2 struct, PScottStructConstraint struct) => PlutusType (PScottStruct struct) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Repr.Scott Associated Types type PInner (PScottStruct struct) :: PType Source # type PCovariant' (PScottStruct struct) Source # type PContravariant' (PScottStruct struct) Source # type PVariant' (PScottStruct struct) Source # Methods pcon' :: forall (s :: S). PScottStruct struct s -> Term s (PInner (PScottStruct struct)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PScottStruct struct)) -> (PScottStruct struct s -> Term s b) -> Term s b Source #
(forall (s :: S). TagTypeConstraints s a struct) => PlutusType (DeriveTagPlutusType a) Source #	This derives tag-only PlutusType automatically. Resulted instances will use `PInteger` as underlying type, making this much more efficient than using regular DataScottSOP based encoding. As name suggests, types with no-argument constructors can use this. Example: @@ data PFoo s = A \| B \| C \| D \| E deriving stock (GHC.Generic, Show) deriving anyclass (PEq, PIsData) deriving (PlutusType) via DeriveTagPlutusType PFoo instance SOP.Generic (PFoo s) @@ Since: 1.10.0
Instance details Defined in Plutarch.Repr.Tag Associated Types type PInner (DeriveTagPlutusType a) :: PType Source # type PCovariant' (DeriveTagPlutusType a) Source # type PContravariant' (DeriveTagPlutusType a) Source # type PVariant' (DeriveTagPlutusType a) Source # Methods pcon' :: forall (s :: S). DeriveTagPlutusType a s -> Term s (PInner (DeriveTagPlutusType a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (DeriveTagPlutusType a)) -> (DeriveTagPlutusType a s -> Term s b) -> Term s b Source #
PlutusType (PTag struct) Source #
Instance details Defined in Plutarch.Repr.Tag Associated Types type PInner (PTag struct) :: PType Source # type PCovariant' (PTag struct) Source # type PContravariant' (PTag struct) Source # type PVariant' (PTag struct) Source # Methods pcon' :: forall (s :: S). PTag struct s -> Term s (PInner (PTag struct)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PTag struct)) -> (PTag struct s -> Term s b) -> Term s b Source #
PlutusType (PBuiltinPair a b) Source #
Instance details Defined in Plutarch.Internal.PlutusType 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: 1.10.0
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 (DeriveNewtypePLiftable wrapper h) Source #
Instance details Defined in Plutarch.Internal.Lift Associated Types type PInner (DeriveNewtypePLiftable wrapper h) :: PType Source # type PCovariant' (DeriveNewtypePLiftable wrapper h) Source # type PContravariant' (DeriveNewtypePLiftable wrapper h) Source # type PVariant' (DeriveNewtypePLiftable wrapper h) Source # Methods pcon' :: forall (s :: S). DeriveNewtypePLiftable wrapper h s -> Term s (PInner (DeriveNewtypePLiftable wrapper h)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (DeriveNewtypePLiftable wrapper h)) -> (DeriveNewtypePLiftable wrapper 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 (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 (DerivePLiftableAsRepr wrapper h) Source #
Instance details Defined in Plutarch.Repr.Derive Associated Types type PInner (DerivePLiftableAsRepr wrapper h) :: PType Source # type PCovariant' (DerivePLiftableAsRepr wrapper h) Source # type PContravariant' (DerivePLiftableAsRepr wrapper h) Source # type PVariant' (DerivePLiftableAsRepr wrapper h) Source # Methods pcon' :: forall (s :: S). DerivePLiftableAsRepr wrapper h s -> Term s (PInner (DerivePLiftableAsRepr wrapper h)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (DerivePLiftableAsRepr wrapper h)) -> (DerivePLiftableAsRepr wrapper h s -> Term s b) -> Term s b Source #
PlutusType (DeriveTagPLiftable a h) Source #
Instance details Defined in Plutarch.Repr.Tag Associated Types type PInner (DeriveTagPLiftable a h) :: PType Source # type PCovariant' (DeriveTagPLiftable a h) Source # type PContravariant' (DeriveTagPLiftable a h) Source # type PVariant' (DeriveTagPLiftable a h) Source # Methods pcon' :: forall (s :: S). DeriveTagPLiftable a h s -> Term s (PInner (DeriveTagPLiftable a h)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (DeriveTagPLiftable a h)) -> (DeriveTagPLiftable a h s -> Term s b) -> Term s b Source #

type PInnermost a = PInnermost' (PInner a) a Source #

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 PBitString Source #	Since: 1.10.0
Instance details Defined in Plutarch.BitString type PInner PBitString = PInner (DeriveNewtypePlutusType PBitString)
type PInner PBuiltinBLS12_381_G1_Element Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.PlutusType type PInner PBuiltinBLS12_381_G1_Element = PInner (DeriveNewtypePlutusType PBuiltinBLS12_381_G1_Element)
type PInner PBuiltinBLS12_381_G2_Element Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.PlutusType type PInner PBuiltinBLS12_381_G2_Element = PInner (DeriveNewtypePlutusType PBuiltinBLS12_381_G2_Element)
type PInner PBuiltinBLS12_381_MlResult Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.PlutusType type PInner PBuiltinBLS12_381_MlResult = PInner (DeriveNewtypePlutusType PBuiltinBLS12_381_MlResult)
type PInner PBool Source #
Instance details Defined in Plutarch.Internal.PlutusType type PInner PBool = PBool
type PInner PByte Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.PlutusType type PInner PByte = PInner (DeriveNewtypePlutusType PByte)
type PInner PByteString Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.PlutusType type PInner PByteString = PInner (DeriveNewtypePlutusType PByteString)
type PInner PEndianness Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.PlutusType type PInner PEndianness = PInner (DeriveNewtypePlutusType PEndianness)
type PInner PLogicOpSemantics Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.PlutusType type PInner PLogicOpSemantics = PInner (DeriveNewtypePlutusType PLogicOpSemantics)
type PInner PData Source #
Instance details Defined in Plutarch.Internal.PlutusType type PInner PData = PData
type PInner PInteger Source #
Instance details Defined in Plutarch.Internal.PlutusType type PInner PInteger = PInner (DeriveNewtypePlutusType PInteger)
type PInner POpaque Source #
Instance details Defined in Plutarch.Internal.PlutusType type PInner POpaque = POpaque
type PInner PString Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.PlutusType type PInner PString = PInner (DeriveNewtypePlutusType PString)
type PInner PUnit Source #
Instance details Defined in Plutarch.Internal.PlutusType type PInner PUnit = PUnit
type PInner PNatural Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Numeric type PInner PNatural = PInner (DeriveNewtypePlutusType PNatural)
type PInner PPositive Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Numeric type PInner PPositive = PInner (DeriveNewtypePlutusType PPositive)
type PInner PRational Source #
Instance details Defined in Plutarch.Rational type PInner PRational = PInner (DeriveAsSOPRec PRational)
type PInner (PDataNewtype a) Source #
Instance details Defined in Plutarch.Builtin type PInner (PDataNewtype a) = PData
type PInner (PAsData a) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PInner (PAsData a) = PData
type PInner (PBuiltinList a) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PInner (PBuiltinList a) = PBuiltinList a
type PInner (DeriveFakePlutusType a) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PInner (DeriveFakePlutusType a) = TypeError ('ShowType a ':<>: 'Text " derived PlutusType with DeriveFakePlutusType. This type is not meant to be used as PlutusType.") :: PType
type PInner (DeriveNewtypePlutusType a) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PInner (DeriveNewtypePlutusType a)
type PInner (PAnd a) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup type PInner (PAnd a) = PInner (DeriveNewtypePlutusType (PAnd a))
type PInner (POr a) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup type PInner (POr a) = PInner (DeriveNewtypePlutusType (POr a))
type PInner (PXor a) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup type PInner (PXor a) = PInner (DeriveNewtypePlutusType (PXor a))
type PInner (PList a) Source #	Since: 1.10.0
Instance details Defined in Plutarch.List type PInner (PList a) = PInner (DeriveAsSOPStruct (PList a))
type PInner (PMaybe a) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Maybe type PInner (PMaybe a) = PInner (DeriveAsSOPStruct (PMaybe a))
type PInner (DeriveAsDataRec a) Source #
Instance details Defined in Plutarch.Repr.Data type PInner (DeriveAsDataRec a) = PDataRec (UnTermRec (Head (Code (a (Any :: S)))))
type PInner (DeriveAsDataStruct a) Source #
Instance details Defined in Plutarch.Repr.Data type PInner (DeriveAsDataStruct a) = PDataStruct (UnTermStruct (a (Any :: S)))
type PInner (PDataRec struct) Source #
Instance details Defined in Plutarch.Repr.Data type PInner (PDataRec struct) = PBuiltinList PData
type PInner (PDataStruct struct) Source #
Instance details Defined in Plutarch.Repr.Data type PInner (PDataStruct struct) = PData
type PInner (DeriveNewtypePlutusType a) Source #
Instance details Defined in Plutarch.Repr.Newtype type PInner (DeriveNewtypePlutusType a)
type PInner (DeriveAsSOPRec a) Source #
Instance details Defined in Plutarch.Repr.SOP type PInner (DeriveAsSOPRec a) = PSOPRec (UnTermRec (Head (Code (a (Any :: S)))))
type PInner (DeriveAsSOPStruct a) Source #
Instance details Defined in Plutarch.Repr.SOP type PInner (DeriveAsSOPStruct a) = PSOPStruct (UnTermStruct (a (Any :: S)))
type PInner (PSOPRec struct) Source #
Instance details Defined in Plutarch.Repr.SOP type PInner (PSOPRec struct) = POpaque
type PInner (PSOPStruct struct) Source #
Instance details Defined in Plutarch.Repr.SOP type PInner (PSOPStruct struct) = POpaque
type PInner (DeriveAsScottRec a) Source #
Instance details Defined in Plutarch.Repr.Scott type PInner (DeriveAsScottRec a) = PScottRec (UnTermRec (Head (Code (a (Any :: S)))))
type PInner (DeriveAsScottStruct a) Source #
Instance details Defined in Plutarch.Repr.Scott type PInner (DeriveAsScottStruct a) = PScottStruct (UnTermStruct (a (Any :: S)))
type PInner (PScottRec struct) Source #
Instance details Defined in Plutarch.Repr.Scott type PInner (PScottRec struct) = PForall (PScottRecInner struct)
type PInner (PScottStruct struct) Source #
Instance details Defined in Plutarch.Repr.Scott type PInner (PScottStruct struct) = PForall (PScottStructInner struct)
type PInner (DeriveTagPlutusType a) Source #
Instance details Defined in Plutarch.Repr.Tag type PInner (DeriveTagPlutusType a) = PInteger
type PInner (PTag struct) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Repr.Tag type PInner (PTag struct) = PInner (DeriveNewtypePlutusType (PTag struct))
type PInner (PBuiltinPair a b) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PInner (PBuiltinPair a b) = PBuiltinPair a b
type PInner (PEither a b) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Either type PInner (PEither a b) = PInner (DeriveAsSOPStruct (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 #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Lift type PInner (DeriveBuiltinPLiftable a h) = PInner (DeriveFakePlutusType (DeriveBuiltinPLiftable a h))
type PInner (DeriveDataPLiftable a h) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Lift type PInner (DeriveDataPLiftable a h) = PInner (DeriveFakePlutusType (DeriveDataPLiftable a h))
type PInner (DeriveNewtypePLiftable wrapper h) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Lift type PInner (DeriveNewtypePLiftable wrapper h) = PInner (DeriveFakePlutusType (DeriveNewtypePLiftable wrapper h))
type PInner (PForall f) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PInner (PForall f) = PForall f
type PInner (a :--> b) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PInner (a :--> b) = a :--> b
type PInner (PPair a b) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Pair type PInner (PPair a b) = PInner (DeriveAsSOPStruct (PPair a b))
type PInner (DerivePLiftableAsRepr wrapper h) Source #
Instance details Defined in Plutarch.Repr.Derive type PInner (DerivePLiftableAsRepr wrapper h) = PInner (DeriveFakePlutusType (DerivePLiftableAsRepr wrapper h))
type PInner (DeriveTagPLiftable a h) Source #	@since WIP
Instance details Defined in Plutarch.Repr.Tag type PInner (DeriveTagPLiftable a h) = PInner (DeriveFakePlutusType (DeriveTagPLiftable a h))

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' PBitString Source #
Instance details Defined in Plutarch.BitString type PVariant' PBitString = PVariant' (DeriveNewtypePlutusType PBitString)
type PVariant' PBuiltinBLS12_381_G1_Element Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' PBuiltinBLS12_381_G1_Element = PVariant' (DeriveNewtypePlutusType PBuiltinBLS12_381_G1_Element)
type PVariant' PBuiltinBLS12_381_G2_Element Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' PBuiltinBLS12_381_G2_Element = PVariant' (DeriveNewtypePlutusType PBuiltinBLS12_381_G2_Element)
type PVariant' PBuiltinBLS12_381_MlResult Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' PBuiltinBLS12_381_MlResult = PVariant' (DeriveNewtypePlutusType PBuiltinBLS12_381_MlResult)
type PVariant' PBool Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' PBool = All2 PVariant'' (PCode PBool)
type PVariant' PByte Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' PByte = PVariant' (DeriveNewtypePlutusType PByte)
type PVariant' PByteString Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' PByteString = PVariant' (DeriveNewtypePlutusType PByteString)
type PVariant' PEndianness Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' PEndianness = PVariant' (DeriveNewtypePlutusType PEndianness)
type PVariant' PLogicOpSemantics Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' PLogicOpSemantics = PVariant' (DeriveNewtypePlutusType PLogicOpSemantics)
type PVariant' PData Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' PData = ()
type PVariant' PInteger Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' PInteger = PVariant' (DeriveNewtypePlutusType PInteger)
type PVariant' POpaque Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' POpaque = ()
type PVariant' PString Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' PString = PVariant' (DeriveNewtypePlutusType PString)
type PVariant' PUnit Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' PUnit = All2 PVariant'' (PCode PUnit)
type PVariant' PNatural Source #
Instance details Defined in Plutarch.Internal.Numeric type PVariant' PNatural = PVariant' (DeriveNewtypePlutusType PNatural)
type PVariant' PPositive Source #
Instance details Defined in Plutarch.Internal.Numeric type PVariant' PPositive = PVariant' (DeriveNewtypePlutusType PPositive)
type PVariant' PRational Source #
Instance details Defined in Plutarch.Rational type PVariant' PRational = PVariant' (DeriveAsSOPRec PRational)
type PVariant' (PDataNewtype a) Source #
Instance details Defined in Plutarch.Builtin type PVariant' (PDataNewtype a) = All2 PVariant'' (PCode (PDataNewtype a))
type PVariant' (PAsData a) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' (PAsData a) = PVariant' a
type PVariant' (PBuiltinList a) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' (PBuiltinList a) = PVariant' a
type PVariant' (DeriveFakePlutusType a) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' (DeriveFakePlutusType a)
type PVariant' (DeriveNewtypePlutusType a) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' (DeriveNewtypePlutusType a) = PVariant' a
type PVariant' (PAnd a) Source #
Instance details Defined in Plutarch.Internal.Semigroup type PVariant' (PAnd a) = PVariant' (DeriveNewtypePlutusType (PAnd a))
type PVariant' (POr a) Source #
Instance details Defined in Plutarch.Internal.Semigroup type PVariant' (POr a) = PVariant' (DeriveNewtypePlutusType (POr a))
type PVariant' (PXor a) Source #
Instance details Defined in Plutarch.Internal.Semigroup type PVariant' (PXor a) = PVariant' (DeriveNewtypePlutusType (PXor a))
type PVariant' (PList a) Source #
Instance details Defined in Plutarch.List type PVariant' (PList a) = PVariant' (DeriveAsSOPStruct (PList a))
type PVariant' (PMaybe a) Source #
Instance details Defined in Plutarch.Maybe type PVariant' (PMaybe a) = PVariant' (DeriveAsSOPStruct (PMaybe a))
type PVariant' (DeriveAsDataRec a) Source #
Instance details Defined in Plutarch.Repr.Data type PVariant' (DeriveAsDataRec a) = PVariant' a
type PVariant' (DeriveAsDataStruct a) Source #
Instance details Defined in Plutarch.Repr.Data type PVariant' (DeriveAsDataStruct a) = PVariant' a
type PVariant' (PDataRec struct) Source #
Instance details Defined in Plutarch.Repr.Data type PVariant' (PDataRec struct) = All PVariant'' struct
type PVariant' (PDataStruct struct) Source #
Instance details Defined in Plutarch.Repr.Data type PVariant' (PDataStruct struct) = All2 PVariant'' struct
type PVariant' (DeriveNewtypePlutusType a) Source #
Instance details Defined in Plutarch.Repr.Newtype type PVariant' (DeriveNewtypePlutusType a) = PVariant' a
type PVariant' (DeriveAsSOPRec a) Source #
Instance details Defined in Plutarch.Repr.SOP type PVariant' (DeriveAsSOPRec a) = PVariant' a
type PVariant' (DeriveAsSOPStruct a) Source #
Instance details Defined in Plutarch.Repr.SOP type PVariant' (DeriveAsSOPStruct a) = PVariant' a
type PVariant' (PSOPRec struct) Source #
Instance details Defined in Plutarch.Repr.SOP type PVariant' (PSOPRec struct) = All PVariant'' struct
type PVariant' (PSOPStruct struct) Source #
Instance details Defined in Plutarch.Repr.SOP type PVariant' (PSOPStruct struct) = All2 PVariant'' struct
type PVariant' (DeriveAsScottRec a) Source #
Instance details Defined in Plutarch.Repr.Scott type PVariant' (DeriveAsScottRec a) = PVariant' a
type PVariant' (DeriveAsScottStruct a) Source #
Instance details Defined in Plutarch.Repr.Scott type PVariant' (DeriveAsScottStruct a) = PVariant' a
type PVariant' (PScottRec struct) Source #
Instance details Defined in Plutarch.Repr.Scott type PVariant' (PScottRec struct) = All PVariant'' struct
type PVariant' (PScottStruct struct) Source #
Instance details Defined in Plutarch.Repr.Scott type PVariant' (PScottStruct struct) = All2 PVariant'' struct
type PVariant' (DeriveTagPlutusType a) Source #
Instance details Defined in Plutarch.Repr.Tag type PVariant' (DeriveTagPlutusType a) = PVariant' a
type PVariant' (PTag struct) Source #
Instance details Defined in Plutarch.Repr.Tag type PVariant' (PTag struct) = PVariant' (DeriveNewtypePlutusType (PTag struct))
type PVariant' (PBuiltinPair a b) Source #
Instance details Defined in Plutarch.Internal.PlutusType 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) = PVariant' (DeriveAsSOPStruct (PEither a b))
type PVariant' (PEitherData a b) Source #
Instance details Defined in Plutarch.Either type PVariant' (PEitherData a b) = All2 PVariant'' (PCode (PEitherData a b))
type PVariant' (DeriveBuiltinPLiftable a h) Source #
Instance details Defined in Plutarch.Internal.Lift type PVariant' (DeriveBuiltinPLiftable a h) = PVariant' (DeriveFakePlutusType (DeriveBuiltinPLiftable a h))
type PVariant' (DeriveDataPLiftable a h) Source #
Instance details Defined in Plutarch.Internal.Lift type PVariant' (DeriveDataPLiftable a h) = PVariant' (DeriveFakePlutusType (DeriveDataPLiftable a h))
type PVariant' (DeriveNewtypePLiftable wrapper h) Source #
Instance details Defined in Plutarch.Internal.Lift type PVariant' (DeriveNewtypePLiftable wrapper h) = PVariant' (DeriveFakePlutusType (DeriveNewtypePLiftable wrapper h))
type PVariant' (PForall f) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' (PForall f) = All2 PVariant'' (PCode (PForall f))
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) = PVariant' (DeriveAsSOPStruct (PPair a b))
type PVariant' (DerivePLiftableAsRepr wrapper h) Source #
Instance details Defined in Plutarch.Repr.Derive type PVariant' (DerivePLiftableAsRepr wrapper h) = PVariant' (DeriveFakePlutusType (DerivePLiftableAsRepr wrapper h))
type PVariant' (DeriveTagPLiftable a h) Source #
Instance details Defined in Plutarch.Repr.Tag type PVariant' (DeriveTagPLiftable a h) = PVariant' (DeriveFakePlutusType (DeriveTagPLiftable a h))

type family PCovariant' a :: Constraint Source #

Instances

Instances details

type PCovariant' PBitString Source #
Instance details Defined in Plutarch.BitString type PCovariant' PBitString = PCovariant' (DeriveNewtypePlutusType PBitString)
type PCovariant' PBuiltinBLS12_381_G1_Element Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' PBuiltinBLS12_381_G1_Element = PCovariant' (DeriveNewtypePlutusType PBuiltinBLS12_381_G1_Element)
type PCovariant' PBuiltinBLS12_381_G2_Element Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' PBuiltinBLS12_381_G2_Element = PCovariant' (DeriveNewtypePlutusType PBuiltinBLS12_381_G2_Element)
type PCovariant' PBuiltinBLS12_381_MlResult Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' PBuiltinBLS12_381_MlResult = PCovariant' (DeriveNewtypePlutusType PBuiltinBLS12_381_MlResult)
type PCovariant' PBool Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' PBool = All2 PCovariant'' (PCode PBool)
type PCovariant' PByte Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' PByte = PCovariant' (DeriveNewtypePlutusType PByte)
type PCovariant' PByteString Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' PByteString = PCovariant' (DeriveNewtypePlutusType PByteString)
type PCovariant' PEndianness Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' PEndianness = PCovariant' (DeriveNewtypePlutusType PEndianness)
type PCovariant' PLogicOpSemantics Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' PLogicOpSemantics = PCovariant' (DeriveNewtypePlutusType PLogicOpSemantics)
type PCovariant' PData Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' PData = ()
type PCovariant' PInteger Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' PInteger = PCovariant' (DeriveNewtypePlutusType PInteger)
type PCovariant' POpaque Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' POpaque = ()
type PCovariant' PString Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' PString = PCovariant' (DeriveNewtypePlutusType PString)
type PCovariant' PUnit Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' PUnit = All2 PCovariant'' (PCode PUnit)
type PCovariant' PNatural Source #
Instance details Defined in Plutarch.Internal.Numeric type PCovariant' PNatural = PCovariant' (DeriveNewtypePlutusType PNatural)
type PCovariant' PPositive Source #
Instance details Defined in Plutarch.Internal.Numeric type PCovariant' PPositive = PCovariant' (DeriveNewtypePlutusType PPositive)
type PCovariant' PRational Source #
Instance details Defined in Plutarch.Rational type PCovariant' PRational = PCovariant' (DeriveAsSOPRec PRational)
type PCovariant' (PDataNewtype a) Source #
Instance details Defined in Plutarch.Builtin type PCovariant' (PDataNewtype a) = All2 PCovariant'' (PCode (PDataNewtype a))
type PCovariant' (PAsData a) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' (PAsData a) = PCovariant' a
type PCovariant' (PBuiltinList a) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' (PBuiltinList a) = PCovariant' a
type PCovariant' (DeriveFakePlutusType a) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' (DeriveFakePlutusType a)
type PCovariant' (DeriveNewtypePlutusType a) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' (DeriveNewtypePlutusType a) = PCovariant' a
type PCovariant' (PAnd a) Source #
Instance details Defined in Plutarch.Internal.Semigroup type PCovariant' (PAnd a) = PCovariant' (DeriveNewtypePlutusType (PAnd a))
type PCovariant' (POr a) Source #
Instance details Defined in Plutarch.Internal.Semigroup type PCovariant' (POr a) = PCovariant' (DeriveNewtypePlutusType (POr a))
type PCovariant' (PXor a) Source #
Instance details Defined in Plutarch.Internal.Semigroup type PCovariant' (PXor a) = PCovariant' (DeriveNewtypePlutusType (PXor a))
type PCovariant' (PList a) Source #
Instance details Defined in Plutarch.List type PCovariant' (PList a) = PCovariant' (DeriveAsSOPStruct (PList a))
type PCovariant' (PMaybe a) Source #
Instance details Defined in Plutarch.Maybe type PCovariant' (PMaybe a) = PCovariant' (DeriveAsSOPStruct (PMaybe a))
type PCovariant' (DeriveAsDataRec a) Source #
Instance details Defined in Plutarch.Repr.Data type PCovariant' (DeriveAsDataRec a) = PCovariant' a
type PCovariant' (DeriveAsDataStruct a) Source #
Instance details Defined in Plutarch.Repr.Data type PCovariant' (DeriveAsDataStruct a) = PCovariant' a
type PCovariant' (PDataRec struct) Source #
Instance details Defined in Plutarch.Repr.Data type PCovariant' (PDataRec struct) = All PCovariant'' struct
type PCovariant' (PDataStruct struct) Source #
Instance details Defined in Plutarch.Repr.Data type PCovariant' (PDataStruct struct) = All2 PCovariant'' struct
type PCovariant' (DeriveNewtypePlutusType a) Source #
Instance details Defined in Plutarch.Repr.Newtype type PCovariant' (DeriveNewtypePlutusType a) = PCovariant' a
type PCovariant' (DeriveAsSOPRec a) Source #
Instance details Defined in Plutarch.Repr.SOP type PCovariant' (DeriveAsSOPRec a) = PCovariant' a
type PCovariant' (DeriveAsSOPStruct a) Source #
Instance details Defined in Plutarch.Repr.SOP type PCovariant' (DeriveAsSOPStruct a) = PCovariant' a
type PCovariant' (PSOPRec struct) Source #
Instance details Defined in Plutarch.Repr.SOP type PCovariant' (PSOPRec struct) = All PCovariant'' struct
type PCovariant' (PSOPStruct struct) Source #
Instance details Defined in Plutarch.Repr.SOP type PCovariant' (PSOPStruct struct) = All2 PCovariant'' struct
type PCovariant' (DeriveAsScottRec a) Source #
Instance details Defined in Plutarch.Repr.Scott type PCovariant' (DeriveAsScottRec a) = PCovariant' a
type PCovariant' (DeriveAsScottStruct a) Source #
Instance details Defined in Plutarch.Repr.Scott type PCovariant' (DeriveAsScottStruct a) = PCovariant' a
type PCovariant' (PScottRec struct) Source #
Instance details Defined in Plutarch.Repr.Scott type PCovariant' (PScottRec struct) = All PCovariant'' struct
type PCovariant' (PScottStruct struct) Source #
Instance details Defined in Plutarch.Repr.Scott type PCovariant' (PScottStruct struct) = All2 PCovariant'' struct
type PCovariant' (DeriveTagPlutusType a) Source #
Instance details Defined in Plutarch.Repr.Tag type PCovariant' (DeriveTagPlutusType a) = PCovariant' a
type PCovariant' (PTag struct) Source #
Instance details Defined in Plutarch.Repr.Tag type PCovariant' (PTag struct) = PCovariant' (DeriveNewtypePlutusType (PTag struct))
type PCovariant' (PBuiltinPair a b) Source #
Instance details Defined in Plutarch.Internal.PlutusType 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) = PCovariant' (DeriveAsSOPStruct (PEither a b))
type PCovariant' (PEitherData a b) Source #
Instance details Defined in Plutarch.Either type PCovariant' (PEitherData a b) = All2 PCovariant'' (PCode (PEitherData a b))
type PCovariant' (DeriveBuiltinPLiftable a h) Source #
Instance details Defined in Plutarch.Internal.Lift type PCovariant' (DeriveBuiltinPLiftable a h) = PCovariant' (DeriveFakePlutusType (DeriveBuiltinPLiftable a h))
type PCovariant' (DeriveDataPLiftable a h) Source #
Instance details Defined in Plutarch.Internal.Lift type PCovariant' (DeriveDataPLiftable a h) = PCovariant' (DeriveFakePlutusType (DeriveDataPLiftable a h))
type PCovariant' (DeriveNewtypePLiftable wrapper h) Source #
Instance details Defined in Plutarch.Internal.Lift type PCovariant' (DeriveNewtypePLiftable wrapper h) = PCovariant' (DeriveFakePlutusType (DeriveNewtypePLiftable wrapper h))
type PCovariant' (PForall f) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' (PForall f) = All2 PCovariant'' (PCode (PForall f))
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) = PCovariant' (DeriveAsSOPStruct (PPair a b))
type PCovariant' (DerivePLiftableAsRepr wrapper h) Source #
Instance details Defined in Plutarch.Repr.Derive type PCovariant' (DerivePLiftableAsRepr wrapper h) = PCovariant' (DeriveFakePlutusType (DerivePLiftableAsRepr wrapper h))
type PCovariant' (DeriveTagPLiftable a h) Source #
Instance details Defined in Plutarch.Repr.Tag type PCovariant' (DeriveTagPLiftable a h) = PCovariant' (DeriveFakePlutusType (DeriveTagPLiftable a h))

type family PContravariant' a :: Constraint Source #

Instances

Instances details

type PContravariant' PBitString Source #
Instance details Defined in Plutarch.BitString type PContravariant' PBitString = PContravariant' (DeriveNewtypePlutusType PBitString)
type PContravariant' PBuiltinBLS12_381_G1_Element Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' PBuiltinBLS12_381_G1_Element = PContravariant' (DeriveNewtypePlutusType PBuiltinBLS12_381_G1_Element)
type PContravariant' PBuiltinBLS12_381_G2_Element Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' PBuiltinBLS12_381_G2_Element = PContravariant' (DeriveNewtypePlutusType PBuiltinBLS12_381_G2_Element)
type PContravariant' PBuiltinBLS12_381_MlResult Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' PBuiltinBLS12_381_MlResult = PContravariant' (DeriveNewtypePlutusType PBuiltinBLS12_381_MlResult)
type PContravariant' PBool Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' PBool = All2 PContravariant'' (PCode PBool)
type PContravariant' PByte Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' PByte = PContravariant' (DeriveNewtypePlutusType PByte)
type PContravariant' PByteString Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' PByteString = PContravariant' (DeriveNewtypePlutusType PByteString)
type PContravariant' PEndianness Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' PEndianness = PContravariant' (DeriveNewtypePlutusType PEndianness)
type PContravariant' PLogicOpSemantics Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' PLogicOpSemantics = PContravariant' (DeriveNewtypePlutusType PLogicOpSemantics)
type PContravariant' PData Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' PData = ()
type PContravariant' PInteger Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' PInteger = PContravariant' (DeriveNewtypePlutusType PInteger)
type PContravariant' POpaque Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' POpaque = ()
type PContravariant' PString Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' PString = PContravariant' (DeriveNewtypePlutusType PString)
type PContravariant' PUnit Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' PUnit = All2 PContravariant'' (PCode PUnit)
type PContravariant' PNatural Source #
Instance details Defined in Plutarch.Internal.Numeric type PContravariant' PNatural = PContravariant' (DeriveNewtypePlutusType PNatural)
type PContravariant' PPositive Source #
Instance details Defined in Plutarch.Internal.Numeric type PContravariant' PPositive = PContravariant' (DeriveNewtypePlutusType PPositive)
type PContravariant' PRational Source #
Instance details Defined in Plutarch.Rational type PContravariant' PRational = PContravariant' (DeriveAsSOPRec PRational)
type PContravariant' (PDataNewtype a) Source #
Instance details Defined in Plutarch.Builtin type PContravariant' (PDataNewtype a) = All2 PContravariant'' (PCode (PDataNewtype a))
type PContravariant' (PAsData a) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' (PAsData a) = PContravariant' a
type PContravariant' (PBuiltinList a) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' (PBuiltinList a) = PContravariant' a
type PContravariant' (DeriveFakePlutusType a) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' (DeriveFakePlutusType a)
type PContravariant' (DeriveNewtypePlutusType a) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' (DeriveNewtypePlutusType a) = PContravariant' a
type PContravariant' (PAnd a) Source #
Instance details Defined in Plutarch.Internal.Semigroup type PContravariant' (PAnd a) = PContravariant' (DeriveNewtypePlutusType (PAnd a))
type PContravariant' (POr a) Source #
Instance details Defined in Plutarch.Internal.Semigroup type PContravariant' (POr a) = PContravariant' (DeriveNewtypePlutusType (POr a))
type PContravariant' (PXor a) Source #
Instance details Defined in Plutarch.Internal.Semigroup type PContravariant' (PXor a) = PContravariant' (DeriveNewtypePlutusType (PXor a))
type PContravariant' (PList a) Source #
Instance details Defined in Plutarch.List type PContravariant' (PList a) = PContravariant' (DeriveAsSOPStruct (PList a))
type PContravariant' (PMaybe a) Source #
Instance details Defined in Plutarch.Maybe type PContravariant' (PMaybe a) = PContravariant' (DeriveAsSOPStruct (PMaybe a))
type PContravariant' (DeriveAsDataRec a) Source #
Instance details Defined in Plutarch.Repr.Data type PContravariant' (DeriveAsDataRec a) = PContravariant' a
type PContravariant' (DeriveAsDataStruct a) Source #
Instance details Defined in Plutarch.Repr.Data type PContravariant' (DeriveAsDataStruct a) = PContravariant' a
type PContravariant' (PDataRec struct) Source #
Instance details Defined in Plutarch.Repr.Data type PContravariant' (PDataRec struct) = All PContravariant'' struct
type PContravariant' (PDataStruct struct) Source #
Instance details Defined in Plutarch.Repr.Data type PContravariant' (PDataStruct struct) = All2 PContravariant'' struct
type PContravariant' (DeriveNewtypePlutusType a) Source #
Instance details Defined in Plutarch.Repr.Newtype type PContravariant' (DeriveNewtypePlutusType a) = PContravariant' a
type PContravariant' (DeriveAsSOPRec a) Source #
Instance details Defined in Plutarch.Repr.SOP type PContravariant' (DeriveAsSOPRec a) = PContravariant' a
type PContravariant' (DeriveAsSOPStruct a) Source #
Instance details Defined in Plutarch.Repr.SOP type PContravariant' (DeriveAsSOPStruct a) = PContravariant' a
type PContravariant' (PSOPRec struct) Source #
Instance details Defined in Plutarch.Repr.SOP type PContravariant' (PSOPRec struct) = All PContravariant'' struct
type PContravariant' (PSOPStruct struct) Source #
Instance details Defined in Plutarch.Repr.SOP type PContravariant' (PSOPStruct struct) = All2 PContravariant'' struct
type PContravariant' (DeriveAsScottRec a) Source #
Instance details Defined in Plutarch.Repr.Scott type PContravariant' (DeriveAsScottRec a) = PContravariant' a
type PContravariant' (DeriveAsScottStruct a) Source #
Instance details Defined in Plutarch.Repr.Scott type PContravariant' (DeriveAsScottStruct a) = PContravariant' a
type PContravariant' (PScottRec struct) Source #
Instance details Defined in Plutarch.Repr.Scott type PContravariant' (PScottRec struct) = All PContravariant'' struct
type PContravariant' (PScottStruct struct) Source #
Instance details Defined in Plutarch.Repr.Scott type PContravariant' (PScottStruct struct) = All2 PContravariant'' struct
type PContravariant' (DeriveTagPlutusType a) Source #
Instance details Defined in Plutarch.Repr.Tag type PContravariant' (DeriveTagPlutusType a) = PContravariant' a
type PContravariant' (PTag struct) Source #
Instance details Defined in Plutarch.Repr.Tag type PContravariant' (PTag struct) = PContravariant' (DeriveNewtypePlutusType (PTag struct))
type PContravariant' (PBuiltinPair a b) Source #
Instance details Defined in Plutarch.Internal.PlutusType 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) = PContravariant' (DeriveAsSOPStruct (PEither a b))
type PContravariant' (PEitherData a b) Source #
Instance details Defined in Plutarch.Either type PContravariant' (PEitherData a b) = All2 PContravariant'' (PCode (PEitherData a b))
type PContravariant' (DeriveBuiltinPLiftable a h) Source #
Instance details Defined in Plutarch.Internal.Lift type PContravariant' (DeriveBuiltinPLiftable a h) = PContravariant' (DeriveFakePlutusType (DeriveBuiltinPLiftable a h))
type PContravariant' (DeriveDataPLiftable a h) Source #
Instance details Defined in Plutarch.Internal.Lift type PContravariant' (DeriveDataPLiftable a h) = PContravariant' (DeriveFakePlutusType (DeriveDataPLiftable a h))
type PContravariant' (DeriveNewtypePLiftable wrapper h) Source #
Instance details Defined in Plutarch.Internal.Lift type PContravariant' (DeriveNewtypePLiftable wrapper h) = PContravariant' (DeriveFakePlutusType (DeriveNewtypePLiftable wrapper h))
type PContravariant' (PForall f) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' (PForall f) = All2 PContravariant'' (PCode (PForall f))
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) = PContravariant' (DeriveAsSOPStruct (PPair a b))
type PContravariant' (DerivePLiftableAsRepr wrapper h) Source #
Instance details Defined in Plutarch.Repr.Derive type PContravariant' (DerivePLiftableAsRepr wrapper h) = PContravariant' (DeriveFakePlutusType (DerivePLiftableAsRepr wrapper h))
type PContravariant' (DeriveTagPLiftable a h) Source #
Instance details Defined in Plutarch.Repr.Tag type PContravariant' (DeriveTagPLiftable a h) = PContravariant' (DeriveFakePlutusType (DeriveTagPLiftable a h))

class PVariant' a => PVariant'' a Source #

Instances

Instances details

PVariant' a => PVariant'' a Source #
Instance details Defined in Plutarch.Internal.PlutusType

class PCovariant' a => PCovariant'' a Source #

Instances

Instances details

PCovariant' a => PCovariant'' a Source #
Instance details Defined in Plutarch.Internal.PlutusType

class PContravariant' a => PContravariant'' a Source #

Instances

Instances details

PContravariant' a => PContravariant'' a Source #
Instance details Defined in Plutarch.Internal.PlutusType

newtype DeriveNewtypePlutusType (a :: S -> Type) s Source #

Since: 1.10.0

Constructors

DeriveNewtypePlutusType
Fields unDeriveNewtypePlutusType :: a s Since: 1.10.0

Instances

Instances details

(pt ~ UnTermSingle (Head (Head (Code (a (Any :: S))))), forall (s :: S). H s a pt) => PlutusType (DeriveNewtypePlutusType a) Source #
Instance details Defined in Plutarch.Internal.PlutusType Associated Types type PInner (DeriveNewtypePlutusType a) :: PType Source # type PCovariant' (DeriveNewtypePlutusType a) Source # type PContravariant' (DeriveNewtypePlutusType a) Source # type PVariant' (DeriveNewtypePlutusType a) Source # Methods pcon' :: forall (s :: S). DeriveNewtypePlutusType a s -> Term s (PInner (DeriveNewtypePlutusType a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (DeriveNewtypePlutusType a)) -> (DeriveNewtypePlutusType a s -> Term s b) -> Term s b Source #
type PContravariant' (DeriveNewtypePlutusType a) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' (DeriveNewtypePlutusType a) = PContravariant' a
type PCovariant' (DeriveNewtypePlutusType a) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' (DeriveNewtypePlutusType a) = PCovariant' a
type PInner (DeriveNewtypePlutusType a) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PInner (DeriveNewtypePlutusType a)
type PVariant' (DeriveNewtypePlutusType a) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' (DeriveNewtypePlutusType a) = PVariant' a

newtype DeriveFakePlutusType (a :: S -> Type) (s :: S) Source #

This is a cursed derivation strategy that will give you PlutusType with no questions asked. This is occasionally helpful for deriving PlutusType for another derivation strategy wrapper whose target instance requires PlutusType as superclass.

See PLiftable

Constructors

DeriveFakePlutusType (a s)

Instances

Instances details

PlutusType (DeriveFakePlutusType a) Source #
Instance details Defined in Plutarch.Internal.PlutusType Associated Types type PInner (DeriveFakePlutusType a) :: PType Source # type PCovariant' (DeriveFakePlutusType a) Source # type PContravariant' (DeriveFakePlutusType a) Source # type PVariant' (DeriveFakePlutusType a) Source # Methods pcon' :: forall (s :: S). DeriveFakePlutusType a s -> Term s (PInner (DeriveFakePlutusType a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (DeriveFakePlutusType a)) -> (DeriveFakePlutusType a s -> Term s b) -> Term s b Source #
type PContravariant' (DeriveFakePlutusType a) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' (DeriveFakePlutusType a)
type PCovariant' (DeriveFakePlutusType a) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' (DeriveFakePlutusType a)
type PInner (DeriveFakePlutusType a) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PInner (DeriveFakePlutusType a) = TypeError ('ShowType a ':<>: 'Text " derived PlutusType with DeriveFakePlutusType. This type is not meant to be used as PlutusType.") :: PType
type PVariant' (DeriveFakePlutusType a) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' (DeriveFakePlutusType a)