Moduleplutus-tx-1.70.0.0
PlutusTx.Blueprint.Definition.Unroll
- 1 type
- 1 class
- Packageplutus-tx-1.70.0.0
- Exports6
- LicenceApache-2.0
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."
)
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."
)