Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- deriveDefinitions ∷ ∀ ts. DefinitionsFor (UnrollAll ts) ⇒ Definitions (UnrollAll ts)
- definitionRef ∷ ∀ t ts. HasBlueprintDefinition t ⇒ Schema ts
- type DefinitionsFor ts = DefinitionsFor' ts ts
- definitionsFor ∷ ∀ ts. DefinitionsFor ts ⇒ Definitions ts
- class DefinitionsFor' referencedTypes acc where
- definitionsFor' ∷ Definitions referencedTypes
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.
definitionsFor ∷ ∀ ts. DefinitionsFor ts ⇒ Definitions ts Source #
class DefinitionsFor' referencedTypes acc where Source #
definitionsFor' ∷ Definitions referencedTypes Source #
Instances
DefinitionsFor' referencedTypes ('[] ∷ [k]) Source # | |
Defined in PlutusTx.Blueprint.Definition.Derive definitionsFor' ∷ Definitions referencedTypes Source # | |
(HasBlueprintDefinition t, HasBlueprintSchema t referencedTypes, DefinitionsFor' referencedTypes ts) ⇒ DefinitionsFor' referencedTypes (t ': ts ∷ [Type]) Source # | |
Defined in PlutusTx.Blueprint.Definition.Derive definitionsFor' ∷ Definitions referencedTypes Source # |