| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
PlutusTx.Blueprint.Definition.Derive
Synopsis
- deriveDefinitions :: forall (ts :: [Type]). DefinitionsFor (UnrollAll ts) => Definitions (UnrollAll ts)
- definitionRef :: forall t (ts :: [Type]). HasBlueprintDefinition t => Schema ts
- type DefinitionsFor (ts :: [Type]) = DefinitionsFor' ts ts
- definitionsFor :: forall (ts :: [Type]). DefinitionsFor ts => Definitions ts
- class DefinitionsFor' (referencedTypes :: [Type]) (acc :: k) where
- definitionsFor' :: Definitions referencedTypes
Documentation
deriveDefinitions :: forall (ts :: [Type]). DefinitionsFor (UnrollAll ts) => Definitions (UnrollAll ts) Source #
Derive a Definitions value for a list of types.
definitionRef :: forall t (ts :: [Type]). HasBlueprintDefinition t => Schema ts Source #
Construct a Schema that is a reference to a schema definition.
type DefinitionsFor (ts :: [Type]) = 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 :: [Type]). DefinitionsFor ts => Definitions ts Source #
class DefinitionsFor' (referencedTypes :: [Type]) (acc :: k) where Source #
Methods
definitionsFor' :: Definitions referencedTypes Source #
Instances
| DefinitionsFor' referencedTypes ('[] :: [a]) 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 # | |