Wrapper for deriving ToData, FromData using the List constructor of Data to represent a Product type.

It is recommended to use PlutusTypeDataList when deriving PlutusType as it provides some basic safety by ensuring Plutarch types have an Inner type of PDataRecord.

Uses gProductToBuiltinData, gproductFromBuiltinData.

Example

import qualified Generics.SOP as SOP

data Foo =
  Foo Integer [Integer]
  deriving stock (Generic)
  deriving anyclass (SOP.Generic)
  deriving (FromData, ToData) via (ProductIsData Foo)
  deriving (PConstantDecl) via (DerivePConstantViaDataList Foo PFoo)

instance PUnsafeLiftDecl PFoo where type PLifted PFoo = Foo

newtype PFoo s
    = PFoo
      ( Term s
          ( PDataRecord
              '[ "abc" ':= PInteger
               , "def" ':= PBuiltinList (PAsData PInteger)
               ]
          )
      )
  deriving stock (Generic)
  deriving anyclass (SOP.Generic)
  deriving anyclass (PlutusType, PIsData)

instance DerivePlutusType PFoo where
   type DPTStrat _ = PlutusTypeDataList

Since: 3.8.0

Wrapper for deriving ToData, FromData using an Integer representation via Enum.

Since: 1.1.0

Since: 3.8.0

Variant of PConstantViaData using the List repr from ProductIsData

Wrapper for deriving PConstantDecl using an Integer representation via Enum.

Since: 1.1.0

Since: 3.5.0

Pattern match over the integer-repr of a Bounded Enum type.

Since: 1.1.0

Pattern match PData as a Bounded Enum. Useful for Redeemers.

Since: 1.1.0