Moduleplutus-tx-1.70.0.0
PlutusTx.Blueprint.Definition
- 6 types
- 2 classes
- 12 values
- Packageplutus-tx-1.70.0.0
- Exports26
- LicenceApache-2.0
Methods
definitionsFor' :: Definitions referencedTypes
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
Instances9Eq, Data, Ord, Show, Generic, Semigroup, …
Eq DefinitionIdDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.IdData DefinitionIdDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.IdOrd DefinitionIdDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.IdShow DefinitionIdDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.IdGeneric DefinitionIdDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.IdSemigroup DefinitionIdDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.IdToJSON DefinitionIdDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.IdToJSONKey DefinitionIdDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Idtype Rep DefinitionId = D1 ('MetaDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Id"DefinitionId"
"PlutusTx.Blueprint.Definition.Id"
"plutus-tx-1.70.0.0-6Ae79dzJelpIrjL4E9N8Jt"
'True) (C1 ('MetaCons"MkDefinitionId"
'PrefixI 'True) (S1 ('MetaSel ('Just"definitionIdToText"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))
Constructors
Instances1Show
Show (Definition t ts)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Internal
Constructors
NoDefinitions :: Definitions tsAddDefinition :: Definition t ts -> Definitions ts -> Definitions ts
Instances1Show
Show (Definitions ts)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Internal
Equations
HasSchemaDefinition' x (x ': xs) _1 = ()HasSchemaDefinition' x (_1 ': xs) xs0 = HasSchemaDefinition' x xs xs0HasSchemaDefinition' n xs xs0 = TypeError (('ShowType n ':<>: 'Text" type was not found in the list of types having schema definitions: "
) ':<>: 'ShowType xs0)
Methods
Instances18HasBlueprintDefinition, …
HasBlueprintDefinition VoidDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.UnrollHasBlueprintDefinition IntegerDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.UnrollHasBlueprintDefinition BoolDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.UnrollHasBlueprintDefinition IntDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.UnrollHasBlueprintDefinition BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.UnrollHasBlueprintDefinition BuiltinDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.UnrollHasBlueprintDefinition BuiltinStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.UnrollHasBlueprintDefinition BuiltinUnitDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.UnrollHasBlueprintDefinition RationalDefined in plutus-tx-1.70.0.0 · PlutusTx.RatioHasBlueprintDefinition ()Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.UnrollHasBlueprintDefinition a => HasBlueprintDefinition (Maybe a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.UnrollHasBlueprintDefinition a => HasBlueprintDefinition (BuiltinList a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.UnrollHasBlueprintDefinition a => HasBlueprintDefinition [a]Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unroll(Typeable a, Typeable b) => HasBlueprintDefinition (These a b)Defined in plutus-tx-1.70.0.0 · PlutusTx.These(HasBlueprintDefinition a, HasBlueprintDefinition b) => HasBlueprintDefinition (BuiltinPair a b)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unroll(HasBlueprintDefinition a, HasBlueprintDefinition b) => HasBlueprintDefinition (a, b)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unroll(HasBlueprintDefinition k, HasBlueprintDefinition v) => HasBlueprintDefinition (Map k v)Defined in plutus-tx-1.70.0.0 · PlutusTx.AssocMap(HasBlueprintDefinition a, HasBlueprintDefinition b, HasBlueprintDefinition c) => HasBlueprintDefinition (a, b, c)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unroll
Equations
RepIsStuckError x = TypeError ((((('Text"Cannot derive generic representation for type '"
':<>: 'ShowType x) ':<>: 'Text"'."
) ':$$: 'Text"Add 'deriving Generic' to enable automatic blueprint unrolling,"
) ':$$: 'Text"or provide a manual 'HasBlueprintDefinition' instance with"
) ':$$: 'Text"an explicit 'Unroll' type instance."
)
Instances18Unroll, …
type Unroll Void = '[Void]Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unrolltype Unroll Integer = '[Integer]Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unrolltype Unroll Bool = '[Bool]Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unrolltype Unroll Int = '[Int]Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unrolltype Unroll BuiltinByteString = '[BuiltinByteString]Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unrolltype Unroll BuiltinData = '[BuiltinData]Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unrolltype Unroll BuiltinString = '[BuiltinString]Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unrolltype Unroll BuiltinUnit = '[BuiltinUnit]Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unrolltype Unroll Rational = '[Rational, Integer]Defined in plutus-tx-1.70.0.0 · PlutusTx.Ratiotype Unroll (Maybe a) = Insert (Maybe a) (Unrolled a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unrolltype Unroll (Map k v) = '[Map k v, k, v]Defined in plutus-tx-1.70.0.0 · PlutusTx.AssocMaptype Unroll (BuiltinList a) = Insert (BuiltinList a) (Unrolled a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unrolltype Unroll (BuiltinPair a b) = Insert (BuiltinPair a b) (Unrolled a ++ Unrolled b)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unrolltype Unroll (These a b) = Insert (These a b) (GUnroll (IfStuckRep (RepIsStuckError (These a b)) (Rep (These a b))))Defined in plutus-tx-1.70.0.0 · PlutusTx.Thesetype Unroll () = '[()]Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unrolltype Unroll (a, b) = Insert (a, b) (Unrolled a ++ Unrolled b)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unrolltype Unroll (a, b, c) = Insert (a, b, c) (Unrolled a ++ (Unrolled b ++ Unrolled c))Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unrolltype Unroll [a] = Insert [a] (Unrolled a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unroll
Equations
UnrollIsStuckError x = TypeError ((((((((((('Text"Cannot unroll type '"
':<>: 'ShowType x) ':<>: 'Text"'."
) ':$$: 'Text"The 'Unroll' type family is stuck because:"
) ':$$: 'Text" - The type may be abstract (a type variable), or"
) ':$$: 'Text" - It lacks a 'HasBlueprintDefinition' instance, or"
) ':$$: 'Text" - It lacks a 'Generic' instance for default unrolling."
) ':$$: 'Text""
) ':$$: 'Text"Tip: 'DefinitionsFor (UnrollAll ts)' requires all types in 'ts'"
) ':$$: 'Text"to be concrete at compile time. Polymorphic constraints like"
) ':$$: 'Text"'DefinitionsFor (UnrollAll '[a])' cannot be used as superclass"
) ':$$: 'Text"constraints because 'a' is not known when the class is defined."
)