Safe Haskell	None
Language	GHC2021

Plutarch.DataRepr.Internal

Description

Deprecated: Use the new mechanism instead

Synopsis

newtype PDataSum (defs :: [[PLabeledType]]) (s :: S) = PDataSum (NS (Compose (Term s) PDataRecord) defs)
punDataSum :: forall (s :: S) (def :: [PLabeledType]). Term s (PDataSum '[def] :--> PDataRecord def)
ptryIndexDataSum :: forall (n :: Nat) (s :: S) (def :: [PLabeledType]) (defs :: [[PLabeledType]]). KnownNat n => Proxy n -> Term s (PDataSum (def ': defs) :--> PDataRecord (IndexList n (def ': defs)))
pdcons :: forall (label :: Symbol) (a :: S -> Type) (l :: [PLabeledType]) (s :: S). Term s (PAsData a :--> (PDataRecord l :--> PDataRecord ((label ':= a) ': l)))
pdnil :: forall (s :: S). Term s (PDataRecord ('[] :: [PLabeledType]))
data DataReprHandlers (out :: S -> Type) (defs :: [[PLabeledType]]) (s :: S) where
- DRHNil :: forall (out :: S -> Type) (s :: S). DataReprHandlers out ('[] :: [[PLabeledType]]) s
- DRHCons :: forall (s :: S) (def :: [PLabeledType]) (out :: S -> Type) (defs1 :: [[PLabeledType]]). (Term s (PDataRecord def) -> Term s out) -> DataReprHandlers out defs1 s -> DataReprHandlers out (def ': defs1) s
data PDataRecord (as :: [PLabeledType]) (s :: S) where
- PDCons :: forall (name_x :: PLabeledType) (x :: S -> Type) (xs :: [PLabeledType]) (s :: S). PUnLabel name_x ~ x => Term s (PAsData x) -> Term s (PDataRecord xs) -> PDataRecord (name_x ': xs) s
- PDNil :: forall (s :: S). PDataRecord ('[] :: [PLabeledType]) s
data PLabeledType = Symbol := (S -> Type)
type family PLabelIndex (name :: Symbol) (as :: [PLabeledType]) :: Nat where ...
type family PUnLabel (a :: PLabeledType) :: S -> Type where ...
type family PLookupLabel (name :: Symbol) (as :: [PLabeledType]) :: S -> Type where ...
pindexDataRecord :: forall (n :: Nat) (s :: S) (as :: [PLabeledType]). KnownNat n => Proxy n -> Term s (PDataRecord as) -> Term s (PAsData (PUnLabel (IndexList n as)))
pdropDataRecord :: forall (n :: Nat) (s :: S) (xs :: [PLabeledType]). KnownNat n => Proxy n -> Term s (PDataRecord xs) -> Term s (PDataRecord (Drop n xs))
newtype DualReprHandler (s :: S) (out :: S -> Type) (def :: [PLabeledType]) = DualRepr (Term s (PDataRecord def) -> Term s (PDataRecord def) -> Term s out)
data PlutusTypeData

Documentation

newtype PDataSum (defs :: [[PLabeledType]]) (s :: S) Source #

A sum of PDataRecords. The underlying representation is the Constr constructor, where the integer is the index of the variant and the list is the record.

Constructors

PDataSum (NS (Compose (Term s) PDataRecord) defs)

Instances

Instances details

PTryFrom PData (PDataSum ys) => PTryFrom PData (PAsData (PDataSum ys)) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Associated Types

type PTryFromExcess PData (PAsData (PDataSum ys))
Instance details Defined in Plutarch.DataRepr.Internal type PTryFromExcess PData (PAsData (PDataSum ys)) = Const () :: S -> Type

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData (PDataSum ys)), Reduce (PTryFromExcess PData (PAsData (PDataSum ys)) s)) -> Term s r) -> Term s r Source #

SumValidation 0 ys => PTryFrom PData (PDataSum ys) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Associated Types

type PTryFromExcess PData (PDataSum ys)
Instance details Defined in Plutarch.DataRepr.Internal type PTryFromExcess PData (PDataSum ys) = Const () :: S -> Type

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PDataSum ys), Reduce (PTryFromExcess PData (PDataSum ys) s)) -> Term s r) -> Term s r Source #

PDataFields (PDataSum '[as]) Source #

Instance details

Defined in Plutarch.DataRepr.Internal.Field

Associated Types

type PFields (PDataSum '[as])
Instance details Defined in Plutarch.DataRepr.Internal.Field type PFields (PDataSum '[as]) = as

Methods

ptoFields :: forall (s :: S). Term s (PDataSum '[as]) -> Term s (PDataRecord (PFields (PDataSum '[as]))) Source #

PEq (PDataSum defs) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Methods

(#==) :: forall (s :: S). Term s (PDataSum defs) -> Term s (PDataSum defs) -> Term s PBool Source #

PIsData (PDataSum defs) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData (PDataSum defs)) -> Term s (PDataSum defs) Source #

pdataImpl :: forall (s :: S). Term s (PDataSum defs) -> Term s PData Source #

All (Compose POrd PDataRecord) defs => POrd (PDataSum defs) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Methods

(#<=) :: forall (s :: S). Term s (PDataSum defs) -> Term s (PDataSum defs) -> Term s PBool Source #

(#<) :: forall (s :: S). Term s (PDataSum defs) -> Term s (PDataSum defs) -> Term s PBool Source #

pmax :: forall (s :: S). Term s (PDataSum defs) -> Term s (PDataSum defs) -> Term s (PDataSum defs) Source #

pmin :: forall (s :: S). Term s (PDataSum defs) -> Term s (PDataSum defs) -> Term s (PDataSum defs) Source #

SListI defs => PlutusType (PDataSum defs) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Associated Types

type PInner (PDataSum defs)
Instance details Defined in Plutarch.DataRepr.Internal type PInner (PDataSum defs) = PData

Methods

pcon' :: forall (s :: S). PDataSum defs s -> Term s (PInner (PDataSum defs)) Source #

pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner (PDataSum defs)) -> (PDataSum defs s -> Term s b) -> Term s b Source #

(All (Top :: [PLabeledType] -> Constraint) defs, All (Compose PShow PDataRecord) defs) => PShow (PDataSum defs) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Methods

pshow' :: forall (s :: S). Bool -> Term s (PDataSum defs) -> Term s PString Source #

type PTryFromExcess PData (PAsData (PDataSum ys)) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

type PTryFromExcess PData (PAsData (PDataSum ys)) = Const () :: S -> Type

type PTryFromExcess PData (PDataSum ys) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

type PTryFromExcess PData (PDataSum ys) = Const () :: S -> Type

type PFields (PDataSum '[as]) Source #

Instance details

Defined in Plutarch.DataRepr.Internal.Field

type PFields (PDataSum '[as]) = as

type PInner (PDataSum defs) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

type PInner (PDataSum defs) = PData

punDataSum :: forall (s :: S) (def :: [PLabeledType]). Term s (PDataSum '[def] :--> PDataRecord def) Source #

If there is only a single variant, then we can safely extract it.

ptryIndexDataSum :: forall (n :: Nat) (s :: S) (def :: [PLabeledType]) (defs :: [[PLabeledType]]). KnownNat n => Proxy n -> Term s (PDataSum (def ': defs) :--> PDataRecord (IndexList n (def ': defs))) Source #

Try getting the nth variant. Errs if it's another variant.

pdcons :: forall (label :: Symbol) (a :: S -> Type) (l :: [PLabeledType]) (s :: S). Term s (PAsData a :--> (PDataRecord l :--> PDataRecord ((label ':= a) ': l))) Source #

Cons a field to a data record.

You can specify the label to associate with the field using type applications-

foo :: Term s (PDataRecord '[ "fooField" ':= PByteString ])
foo = pdcons @"fooField" # pdata (phexByteStr "ab") # pdnil

pdnil :: forall (s :: S). Term s (PDataRecord ('[] :: [PLabeledType])) Source #

An empty PDataRecord.

data DataReprHandlers (out :: S -> Type) (defs :: [[PLabeledType]]) (s :: S) where Source #

Constructors

DRHNil :: forall (out :: S -> Type) (s :: S). DataReprHandlers out ('[] :: [[PLabeledType]]) s
DRHCons :: forall (s :: S) (def :: [PLabeledType]) (out :: S -> Type) (defs1 :: [[PLabeledType]]). (Term s (PDataRecord def) -> Term s out) -> DataReprHandlers out defs1 s -> DataReprHandlers out (def ': defs1) s

data PDataRecord (as :: [PLabeledType]) (s :: S) where Source #

A "record" of `exists a. PAsData a`. The underlying representation is `PBuiltinList PData`.

Constructors

PDCons :: forall (name_x :: PLabeledType) (x :: S -> Type) (xs :: [PLabeledType]) (s :: S). PUnLabel name_x ~ x => Term s (PAsData x) -> Term s (PDataRecord xs) -> PDataRecord (name_x ': xs) s
PDNil :: forall (s :: S). PDataRecord ('[] :: [PLabeledType]) s

Instances

Instances details

(PTryFrom (PBuiltinList PData) (PDataRecord as), PTryFromExcess (PBuiltinList PData) (PDataRecord as) ~ HRecP ase) => PTryFrom PData (PAsData (PDataRecord as)) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Associated Types

type PTryFromExcess PData (PAsData (PDataRecord as))
Instance details Defined in Plutarch.DataRepr.Internal type PTryFromExcess PData (PAsData (PDataRecord as))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData (PDataRecord as)), Reduce (PTryFromExcess PData (PAsData (PDataRecord as)) s)) -> Term s r) -> Term s r Source #

PDataFields (PDataRecord as) Source #

Instance details

Defined in Plutarch.DataRepr.Internal.Field

Associated Types

type PFields (PDataRecord as)
Instance details Defined in Plutarch.DataRepr.Internal.Field type PFields (PDataRecord as) = as

Methods

ptoFields :: forall (s :: S). Term s (PDataRecord as) -> Term s (PDataRecord (PFields (PDataRecord as))) Source #

PEq (PDataRecord xs) Source #

This uses data equality. PEq instances of elements don't make any difference.

Instance details

Defined in Plutarch.DataRepr.Internal

Methods

(#==) :: forall (s :: S). Term s (PDataRecord xs) -> Term s (PDataRecord xs) -> Term s PBool Source #

PIsData (PDataRecord xs) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData (PDataRecord xs)) -> Term s (PDataRecord xs) Source #

pdataImpl :: forall (s :: S). Term s (PDataRecord xs) -> Term s PData Source #

(SListI xs, POrd x, PIsData x, POrd (PDataRecord (x' ': xs))) => POrd (PDataRecord ((label ':= x) ': (x' ': xs))) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Methods

(#<=) :: forall (s :: S). Term s (PDataRecord ((label ':= x) ': (x' ': xs))) -> Term s (PDataRecord ((label ':= x) ': (x' ': xs))) -> Term s PBool Source #

(#<) :: forall (s :: S). Term s (PDataRecord ((label ':= x) ': (x' ': xs))) -> Term s (PDataRecord ((label ':= x) ': (x' ': xs))) -> Term s PBool Source #

pmax :: forall (s :: S). Term s (PDataRecord ((label ':= x) ': (x' ': xs))) -> Term s (PDataRecord ((label ':= x) ': (x' ': xs))) -> Term s (PDataRecord ((label ':= x) ': (x' ': xs))) Source #

pmin :: forall (s :: S). Term s (PDataRecord ((label ':= x) ': (x' ': xs))) -> Term s (PDataRecord ((label ':= x) ': (x' ': xs))) -> Term s (PDataRecord ((label ':= x) ': (x' ': xs))) Source #

(POrd x, PIsData x) => POrd (PDataRecord '[label ':= x]) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Methods

(#<=) :: forall (s :: S). Term s (PDataRecord '[label ':= x]) -> Term s (PDataRecord '[label ':= x]) -> Term s PBool Source #

(#<) :: forall (s :: S). Term s (PDataRecord '[label ':= x]) -> Term s (PDataRecord '[label ':= x]) -> Term s PBool Source #

pmax :: forall (s :: S). Term s (PDataRecord '[label ':= x]) -> Term s (PDataRecord '[label ':= x]) -> Term s (PDataRecord '[label ':= x]) Source #

pmin :: forall (s :: S). Term s (PDataRecord '[label ':= x]) -> Term s (PDataRecord '[label ':= x]) -> Term s (PDataRecord '[label ':= x]) Source #

POrd (PDataRecord ('[] :: [PLabeledType])) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Methods

(#<=) :: forall (s :: S). Term s (PDataRecord ('[] :: [PLabeledType])) -> Term s (PDataRecord ('[] :: [PLabeledType])) -> Term s PBool Source #

(#<) :: forall (s :: S). Term s (PDataRecord ('[] :: [PLabeledType])) -> Term s (PDataRecord ('[] :: [PLabeledType])) -> Term s PBool Source #

pmax :: forall (s :: S). Term s (PDataRecord ('[] :: [PLabeledType])) -> Term s (PDataRecord ('[] :: [PLabeledType])) -> Term s (PDataRecord ('[] :: [PLabeledType])) Source #

pmin :: forall (s :: S). Term s (PDataRecord ('[] :: [PLabeledType])) -> Term s (PDataRecord ('[] :: [PLabeledType])) -> Term s (PDataRecord ('[] :: [PLabeledType])) Source #

SListI l => PlutusType (PDataRecord l) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Associated Types

type PInner (PDataRecord l)
Instance details Defined in Plutarch.DataRepr.Internal type PInner (PDataRecord l) = PBuiltinList PData

Methods

pcon' :: forall (s :: S). PDataRecord l s -> Term s (PInner (PDataRecord l)) Source #

pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner (PDataRecord l)) -> (PDataRecord l s -> Term s b) -> Term s b Source #

(All (Top :: PLabeledType -> Constraint) xs, KnownSymbol label, PIsData x, PShow x, PShow (PDataRecordShowHelper xs)) => PShow (PDataRecord ((label ':= x) ': xs)) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Methods

pshow' :: forall (s :: S). Bool -> Term s (PDataRecord ((label ':= x) ': xs)) -> Term s PString Source #

PShow (PDataRecord ('[] :: [PLabeledType])) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Methods

pshow' :: forall (s :: S). Bool -> Term s (PDataRecord ('[] :: [PLabeledType])) -> Term s PString Source #

(Helper2 (PSubtype' PData pty) pty, PTryFrom (PBuiltinList PData) (PDataRecord as), PTryFromExcess (PBuiltinList PData) (PDataRecord as) ~ HRecP ase) => PTryFrom (PBuiltinList PData) (PDataRecord ((name ':= pty) ': as)) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Associated Types

type PTryFromExcess (PBuiltinList PData) (PDataRecord ((name ':= pty) ': as))
Instance details Defined in Plutarch.DataRepr.Internal type PTryFromExcess (PBuiltinList PData) (PDataRecord ((name ':= pty) ': as))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s (PBuiltinList PData) -> ((Term s (PDataRecord ((name ':= pty) ': as)), Reduce (PTryFromExcess (PBuiltinList PData) (PDataRecord ((name ':= pty) ': as)) s)) -> Term s r) -> Term s r Source #

PTryFrom (PBuiltinList PData) (PDataRecord ('[] :: [PLabeledType])) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Associated Types

type PTryFromExcess (PBuiltinList PData) (PDataRecord ('[] :: [PLabeledType]))
Instance details Defined in Plutarch.DataRepr.Internal type PTryFromExcess (PBuiltinList PData) (PDataRecord ('[] :: [PLabeledType]))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s (PBuiltinList PData) -> ((Term s (PDataRecord ('[] :: [PLabeledType])), Reduce (PTryFromExcess (PBuiltinList PData) (PDataRecord ('[] :: [PLabeledType])) s)) -> Term s r) -> Term s r Source #

type PTryFromExcess PData (PAsData (PDataRecord as)) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

type PTryFromExcess PData (PAsData (PDataRecord as))

type PFields (PDataRecord as) Source #

Instance details

Defined in Plutarch.DataRepr.Internal.Field

type PFields (PDataRecord as) = as

type PInner (PDataRecord l) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

type PInner (PDataRecord l) = PBuiltinList PData

type PTryFromExcess (PBuiltinList PData) (PDataRecord ((name ':= pty) ': as)) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

type PTryFromExcess (PBuiltinList PData) (PDataRecord ((name ':= pty) ': as))

type PTryFromExcess (PBuiltinList PData) (PDataRecord ('[] :: [PLabeledType])) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

type PTryFromExcess (PBuiltinList PData) (PDataRecord ('[] :: [PLabeledType]))

data PLabeledType Source #

Constructors

Symbol := (S -> Type)

Instances

Instances details

PDataFields (PDataSum '[as]) Source #

Instance details

Defined in Plutarch.DataRepr.Internal.Field

Associated Types

type PFields (PDataSum '[as])
Instance details Defined in Plutarch.DataRepr.Internal.Field type PFields (PDataSum '[as]) = as

Methods

ptoFields :: forall (s :: S). Term s (PDataSum '[as]) -> Term s (PDataRecord (PFields (PDataSum '[as]))) Source #

(SListI xs, POrd x, PIsData x, POrd (PDataRecord (x' ': xs))) => POrd (PDataRecord ((label ':= x) ': (x' ': xs))) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Methods

(#<=) :: forall (s :: S). Term s (PDataRecord ((label ':= x) ': (x' ': xs))) -> Term s (PDataRecord ((label ':= x) ': (x' ': xs))) -> Term s PBool Source #

(#<) :: forall (s :: S). Term s (PDataRecord ((label ':= x) ': (x' ': xs))) -> Term s (PDataRecord ((label ':= x) ': (x' ': xs))) -> Term s PBool Source #

pmax :: forall (s :: S). Term s (PDataRecord ((label ':= x) ': (x' ': xs))) -> Term s (PDataRecord ((label ':= x) ': (x' ': xs))) -> Term s (PDataRecord ((label ':= x) ': (x' ': xs))) Source #

pmin :: forall (s :: S). Term s (PDataRecord ((label ':= x) ': (x' ': xs))) -> Term s (PDataRecord ((label ':= x) ': (x' ': xs))) -> Term s (PDataRecord ((label ':= x) ': (x' ': xs))) Source #

(POrd x, PIsData x) => POrd (PDataRecord '[label ':= x]) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Methods

(#<=) :: forall (s :: S). Term s (PDataRecord '[label ':= x]) -> Term s (PDataRecord '[label ':= x]) -> Term s PBool Source #

(#<) :: forall (s :: S). Term s (PDataRecord '[label ':= x]) -> Term s (PDataRecord '[label ':= x]) -> Term s PBool Source #

pmax :: forall (s :: S). Term s (PDataRecord '[label ':= x]) -> Term s (PDataRecord '[label ':= x]) -> Term s (PDataRecord '[label ':= x]) Source #

pmin :: forall (s :: S). Term s (PDataRecord '[label ':= x]) -> Term s (PDataRecord '[label ':= x]) -> Term s (PDataRecord '[label ':= x]) Source #

POrd (PDataRecord ('[] :: [PLabeledType])) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Methods

(#<=) :: forall (s :: S). Term s (PDataRecord ('[] :: [PLabeledType])) -> Term s (PDataRecord ('[] :: [PLabeledType])) -> Term s PBool Source #

(#<) :: forall (s :: S). Term s (PDataRecord ('[] :: [PLabeledType])) -> Term s (PDataRecord ('[] :: [PLabeledType])) -> Term s PBool Source #

pmax :: forall (s :: S). Term s (PDataRecord ('[] :: [PLabeledType])) -> Term s (PDataRecord ('[] :: [PLabeledType])) -> Term s (PDataRecord ('[] :: [PLabeledType])) Source #

pmin :: forall (s :: S). Term s (PDataRecord ('[] :: [PLabeledType])) -> Term s (PDataRecord ('[] :: [PLabeledType])) -> Term s (PDataRecord ('[] :: [PLabeledType])) Source #

(All (Top :: PLabeledType -> Constraint) xs, KnownSymbol label, PIsData x, PShow x, PShow (PDataRecordShowHelper xs)) => PShow (PDataRecord ((label ':= x) ': xs)) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Methods

pshow' :: forall (s :: S). Bool -> Term s (PDataRecord ((label ':= x) ': xs)) -> Term s PString Source #

PShow (PDataRecord ('[] :: [PLabeledType])) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Methods

pshow' :: forall (s :: S). Bool -> Term s (PDataRecord ('[] :: [PLabeledType])) -> Term s PString Source #

(Helper2 (PSubtype' PData pty) pty, PTryFrom (PBuiltinList PData) (PDataRecord as), PTryFromExcess (PBuiltinList PData) (PDataRecord as) ~ HRecP ase) => PTryFrom (PBuiltinList PData) (PDataRecord ((name ':= pty) ': as)) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Associated Types

type PTryFromExcess (PBuiltinList PData) (PDataRecord ((name ':= pty) ': as))
Instance details Defined in Plutarch.DataRepr.Internal type PTryFromExcess (PBuiltinList PData) (PDataRecord ((name ':= pty) ': as))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s (PBuiltinList PData) -> ((Term s (PDataRecord ((name ':= pty) ': as)), Reduce (PTryFromExcess (PBuiltinList PData) (PDataRecord ((name ':= pty) ': as)) s)) -> Term s r) -> Term s r Source #

PTryFrom (PBuiltinList PData) (PDataRecord ('[] :: [PLabeledType])) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Associated Types

type PTryFromExcess (PBuiltinList PData) (PDataRecord ('[] :: [PLabeledType]))
Instance details Defined in Plutarch.DataRepr.Internal type PTryFromExcess (PBuiltinList PData) (PDataRecord ('[] :: [PLabeledType]))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s (PBuiltinList PData) -> ((Term s (PDataRecord ('[] :: [PLabeledType])), Reduce (PTryFromExcess (PBuiltinList PData) (PDataRecord ('[] :: [PLabeledType])) s)) -> Term s r) -> Term s r Source #

type PFields (PDataSum '[as]) Source #

Instance details

Defined in Plutarch.DataRepr.Internal.Field

type PFields (PDataSum '[as]) = as

type PTryFromExcess (PBuiltinList PData) (PDataRecord ((name ':= pty) ': as)) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

type PTryFromExcess (PBuiltinList PData) (PDataRecord ((name ':= pty) ': as))

type PTryFromExcess (PBuiltinList PData) (PDataRecord ('[] :: [PLabeledType])) Source #

Instance details

Defined in Plutarch.DataRepr.Internal

type PTryFromExcess (PBuiltinList PData) (PDataRecord ('[] :: [PLabeledType]))

type family PLabelIndex (name :: Symbol) (as :: [PLabeledType]) :: Nat where ... Source #

Equations

PLabelIndex name ((name ':= _1) ': _2) = 0
PLabelIndex name (_1 ': as) = PLabelIndex name as + 1

type family PUnLabel (a :: PLabeledType) :: S -> Type where ... Source #

Equations

PUnLabel (_1 ':= a) = a

type family PLookupLabel (name :: Symbol) (as :: [PLabeledType]) :: S -> Type where ... Source #

Equations

PLookupLabel name ((name ':= a) ': _1) = a
PLookupLabel name (_1 ': as) = PLookupLabel name as

pindexDataRecord :: forall (n :: Nat) (s :: S) (as :: [PLabeledType]). KnownNat n => Proxy n -> Term s (PDataRecord as) -> Term s (PAsData (PUnLabel (IndexList n as))) Source #

Safely index a PDataRecord.

pdropDataRecord :: forall (n :: Nat) (s :: S) (xs :: [PLabeledType]). KnownNat n => Proxy n -> Term s (PDataRecord xs) -> Term s (PDataRecord (Drop n xs)) Source #

Safely drop the first n items of a PDataRecord.

newtype DualReprHandler (s :: S) (out :: S -> Type) (def :: [PLabeledType]) Source #

Constructors

DualRepr (Term s (PDataRecord def) -> Term s (PDataRecord def) -> Term s out)

data PlutusTypeData Source #

Instances

Instances details

PlutusTypeStrat PlutusTypeData Source #

Instance details

Defined in Plutarch.DataRepr.Internal

Associated Types

type PlutusTypeStratConstraint PlutusTypeData
Instance details Defined in Plutarch.DataRepr.Internal type PlutusTypeStratConstraint PlutusTypeData
type DerivedPInner PlutusTypeData a
Instance details Defined in Plutarch.DataRepr.Internal type DerivedPInner PlutusTypeData a

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 :: S -> Type). (DerivePlutusType a, DPTStrat a ~ PlutusTypeData) => Term s (DerivedPInner PlutusTypeData a) -> (a s -> Term s b) -> Term s b Source #

type PlutusTypeStratConstraint PlutusTypeData Source #

Instance details

Defined in Plutarch.DataRepr.Internal

type PlutusTypeStratConstraint PlutusTypeData

type DerivedPInner PlutusTypeData a Source #

Instance details

Defined in Plutarch.DataRepr.Internal

type DerivedPInner PlutusTypeData a