Safe Haskell	Safe-Inferred
Language	Haskell2010

Plutarch.Extra.Record

Synopsis

mkRecord :: forall (r :: [PLabeledType]) (s :: S). RecordMorphism s '[] r -> Term s (PDataRecord r)
mkRecordConstr :: forall (r :: [PLabeledType]) (s :: S) (pt :: S -> Type). PlutusType pt => (forall s'. Term s' (PDataRecord r) -> pt s') -> RecordMorphism s '[] r -> Term s pt
(.=) :: forall (sym :: Symbol) (a :: S -> Type) (as :: [PLabeledType]) (s :: S). FieldName sym -> Term s (PAsData a) -> RecordMorphism s as ((sym := a) ': as)
(.&) :: forall (s :: S) (a :: [PLabeledType]) (b :: [PLabeledType]) (c :: [PLabeledType]). RecordMorphism s b c -> RecordMorphism s a b -> RecordMorphism s a c
data RecordMorphism (s :: S) (as :: [PLabeledType]) (bs :: [PLabeledType])
data FieldName (sym :: Symbol)

Documentation

Turn a constant RecordMorphism into a fully built PDataRecord.

Since: 1.3.0

Arguments

:: forall (r :: [PLabeledType]) (s :: S) (pt :: S -> Type). PlutusType pt
=> (forall s'. Term s' (PDataRecord r) -> pt s')	The constructor. This is just the Haskell-level constructor for the type. For `PMaybeData`, this would be `PDJust`, or `PNothing`.
-> RecordMorphism s '[] r	The morphism that builds the record.
-> Term s pt

mkRecord but for known data-types.

This allows you to dynamically construct a record type constructor.

mkRecordConstr
  PScriptContext
  ( #txInfo .= '(Your PTxInfo)'
      .& #purpose .= '(Your PScriptPurpose)'
  )

Is the same as

pconstant (ScriptContext '(Your TxInfo)' '(Your ScriptPurpose)')

Since: 1.3.0

Arguments

:: forall (sym :: Symbol) (a :: S -> Type) (as :: [PLabeledType]) (s :: S). FieldName sym	The field name. You can use `-XOverloadedLabels` to enable the syntax: `#hello ~ FieldName "hello"`
-> Term s (PAsData a)	The value at that field. This must be `PAsData`, because the underlying type is `Constr Integer [Data]`.
-> RecordMorphism s as ((sym := a) ': as)

Cons a labeled type as a RecordMorphism.

Since: 3.1.0

Compose two RecordMorphisms.

Since: 1.3.0

A morphism from one PDataRecord to another, representing some sort of consing of data.

Since: 1.3.0

Instances details

Category (RecordMorphism s :: [PLabeledType] -> [PLabeledType] -> TYPE LiftedRep) Source #	Since: 1.3.0
Instance details Defined in Plutarch.Extra.Record Methods id :: forall (a :: k). RecordMorphism s a a Source # (.) :: forall (b :: k) (c :: k) (a :: k). RecordMorphism s b c -> RecordMorphism s a b -> RecordMorphism s a c Source #

Like Proxy but local to this module.

Since: 1.3.0

Instances details

sym ~ sym' => IsLabel sym (FieldName sym) Source #

The use of two different Symbols here allows unification to happen, ensuring FieldName has a fully inferred Symbol.

For example, mkRecord (#foo .= pconstantData (42 :: Integer)) gets the correct type. Namely, Term s (PDataRecord '["foo" ':= PInteger]).

Since: 1.3.0

Instance details

Methods