Moduleplutus-tx-1.70.0.0

PlutusTx.Blueprint.Definition.Derive

Synopsis

valuedefinitionRef :: HasBlueprintDefinition t => Schema ts

valuedefinitionsFor :: DefinitionsFor ts => Definitions ts

valuederiveDefinitions :: DefinitionsFor (UnrollAll ts) => Definitions (UnrollAll ts)

typetype DefinitionsFor (ts :: [Type]) = DefinitionsFor' ts ts

classclass DefinitionsFor' (referencedTypes :: [Type]) (acc :: k) where

Instances2DefinitionsFor'

DefinitionsFor' referencedTypes '[]Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Derive
(HasBlueprintDefinition t, HasBlueprintSchema t referencedTypes, DefinitionsFor' referencedTypes ts) => DefinitionsFor' referencedTypes (t ': ts)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Derive