plutus-tx-1.36.0.0: Libraries for Plutus Tx and its prelude
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusTx.Blueprint.Definition.Derive

Synopsis

Documentation

deriveDefinitions ∷ ∀ ts. DefinitionsFor (UnrollAll ts) ⇒ Definitions (UnrollAll ts) Source #

Derive a Definitions value for a list of types.

definitionRef ∷ ∀ t ts. HasBlueprintDefinition t ⇒ Schema ts Source #

Construct a Schema that is a reference to a schema definition.

type DefinitionsFor ts = DefinitionsFor' ts ts Source #

This class and its two instances are used internally to derive Definitions for a given list of types.

class DefinitionsFor' referencedTypes acc where Source #

Methods

definitionsFor'Definitions referencedTypes Source #

Instances

Instances details
DefinitionsFor' referencedTypes ('[] ∷ [k]) Source # 
Instance details

Defined in PlutusTx.Blueprint.Definition.Derive

Methods

definitionsFor'Definitions referencedTypes Source #

(HasBlueprintDefinition t, HasBlueprintSchema t referencedTypes, DefinitionsFor' referencedTypes ts) ⇒ DefinitionsFor' referencedTypes (t ': ts ∷ [Type]) Source # 
Instance details

Defined in PlutusTx.Blueprint.Definition.Derive

Methods

definitionsFor'Definitions referencedTypes Source #