| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusTx.Blueprint.Definition.Derive
Synopsis
- deriveDefinitions :: forall ts. DefinitionsFor (UnrollAll ts) => Definitions (UnrollAll ts)
- definitionRef :: forall t ts. HasBlueprintDefinition t => Schema ts
- type DefinitionsFor ts = DefinitionsFor' ts ts
- definitionsFor :: forall ts. DefinitionsFor ts => Definitions ts
- class DefinitionsFor' referencedTypes acc where
- definitionsFor' :: Definitions referencedTypes
Documentation
deriveDefinitions :: forall ts. DefinitionsFor (UnrollAll ts) => Definitions (UnrollAll ts) #
Derive a Definitions value for a list of types.
definitionRef :: forall t ts. HasBlueprintDefinition t => Schema ts #
Construct a Schema that is a reference to a schema definition.
type DefinitionsFor ts = DefinitionsFor' ts ts #
This class and its two instances are used internally to derive Definitions
for a given list of types.
definitionsFor :: forall ts. DefinitionsFor ts => Definitions ts #
class DefinitionsFor' referencedTypes acc where #
Methods
definitionsFor' :: Definitions referencedTypes #
Instances
| DefinitionsFor' referencedTypes ('[] :: [k]) # | |
Defined in PlutusTx.Blueprint.Definition.Derive Methods definitionsFor' :: Definitions referencedTypes # | |
| (HasBlueprintDefinition t, HasBlueprintSchema t referencedTypes, DefinitionsFor' referencedTypes ts) => DefinitionsFor' referencedTypes (t ': ts :: [Type]) # | |
Defined in PlutusTx.Blueprint.Definition.Derive Methods definitionsFor' :: Definitions referencedTypes # | |