| 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) Source #
Derive a Definitions value for a list of types.
definitionRef :: forall 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.
definitionsFor :: forall ts. DefinitionsFor ts => Definitions ts Source #
class DefinitionsFor' referencedTypes acc where Source #
Methods
definitionsFor' :: Definitions referencedTypes Source #
Instances
| DefinitionsFor' referencedTypes ('[] :: [k]) Source # | |
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 # | |
Defined in PlutusTx.Blueprint.Definition.Derive Methods definitionsFor' :: Definitions referencedTypes Source # | |