Moduleplutus-tx-1.70.0.0
PlutusTx.Blueprint.Schema
- 7 types
- 4 values
- Packageplutus-tx-1.70.0.0
- Exports11
- LicenceApache-2.0
Constructors
Instances6Eq, Data, Ord, Show, Generic, Rep
Eq BytesSchemaDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaData BytesSchemaDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaOrd BytesSchemaDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaShow BytesSchemaDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaGeneric BytesSchemaDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Schematype Rep BytesSchema = D1 ('MetaDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Schema"BytesSchema"
"PlutusTx.Blueprint.Schema"
"plutus-tx-1.70.0.0-6Ae79dzJelpIrjL4E9N8Jt"
'False) (C1 ('MetaCons"MkBytesSchema"
'PrefixI 'True) (S1 ('MetaSel ('Just"enum"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ByteString]) :*: (S1 ('MetaSel ('Just"minLength"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Natural)) :*: S1 ('MetaSel ('Just"maxLength"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Natural)))))
Constructors
MkConstructorSchemaindex :: NaturalfieldSchemas :: [Schema referencedTypes]
Instances6Eq, Data, Ord, Show, Generic, Rep
Eq (ConstructorSchema referencedTypes)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaTypeable referencedTypes => Data (ConstructorSchema referencedTypes)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaOrd (ConstructorSchema referencedTypes)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaShow (ConstructorSchema referencedTypes)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaGeneric (ConstructorSchema referencedTypes)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Schematype Rep (ConstructorSchema referencedTypes) = D1 ('MetaDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Schema"ConstructorSchema"
"PlutusTx.Blueprint.Schema"
"plutus-tx-1.70.0.0-6Ae79dzJelpIrjL4E9N8Jt"
'False) (C1 ('MetaCons"MkConstructorSchema"
'PrefixI 'True) (S1 ('MetaSel ('Just"index"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Natural) :*: S1 ('MetaSel ('Just"fieldSchemas"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Schema referencedTypes])))
Constructors
Instances6Eq, Data, Ord, Show, Generic, Rep
Eq IntegerSchemaDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaData IntegerSchemaDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaOrd IntegerSchemaDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaShow IntegerSchemaDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaGeneric IntegerSchemaDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Schematype Rep IntegerSchema = D1 ('MetaDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Schema"IntegerSchema"
"PlutusTx.Blueprint.Schema"
"plutus-tx-1.70.0.0-6Ae79dzJelpIrjL4E9N8Jt"
'False) (C1 ('MetaCons"MkIntegerSchema"
'PrefixI 'True) ((S1 ('MetaSel ('Just"multipleOf"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Integer)) :*: S1 ('MetaSel ('Just"minimum"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Integer))) :*: (S1 ('MetaSel ('Just"maximum"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Integer)) :*: (S1 ('MetaSel ('Just"exclusiveMinimum"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Integer)) :*: S1 ('MetaSel ('Just"exclusiveMaximum"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Integer))))))
Constructors
Instances6Eq, Data, Ord, Show, Generic, Rep
Eq (ListSchema referencedTypes)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaTypeable referencedTypes => Data (ListSchema referencedTypes)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaOrd (ListSchema referencedTypes)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaShow (ListSchema referencedTypes)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaGeneric (ListSchema referencedTypes)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Schematype Rep (ListSchema referencedTypes) = D1 ('MetaDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Schema"ListSchema"
"PlutusTx.Blueprint.Schema"
"plutus-tx-1.70.0.0-6Ae79dzJelpIrjL4E9N8Jt"
'False) (C1 ('MetaCons"MkListSchema"
'PrefixI 'True) ((S1 ('MetaSel ('Just"itemSchema"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Schema referencedTypes)) :*: S1 ('MetaSel ('Just"minItems"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Natural))) :*: (S1 ('MetaSel ('Just"maxItems"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Natural)) :*: S1 ('MetaSel ('Just"uniqueItems"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Bool)))))
Instances6Eq, Data, Ord, Show, Generic, Rep
Eq (MapSchema referencedTypes)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaTypeable referencedTypes => Data (MapSchema referencedTypes)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaOrd (MapSchema referencedTypes)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaShow (MapSchema referencedTypes)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaGeneric (MapSchema referencedTypes)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Schematype Rep (MapSchema referencedTypes) = D1 ('MetaDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Schema"MapSchema"
"PlutusTx.Blueprint.Schema"
"plutus-tx-1.70.0.0-6Ae79dzJelpIrjL4E9N8Jt"
'False) (C1 ('MetaCons"MkMapSchema"
'PrefixI 'True) ((S1 ('MetaSel ('Just"keySchema"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Schema referencedTypes)) :*: S1 ('MetaSel ('Just"valueSchema"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Schema referencedTypes))) :*: (S1 ('MetaSel ('Just"minItems"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Natural)) :*: S1 ('MetaSel ('Just"maxItems"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Natural)))))
Constructors
Instances6Eq, Data, Ord, Show, Generic, Rep
Eq (PairSchema referencedTypes)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaTypeable referencedTypes => Data (PairSchema referencedTypes)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaOrd (PairSchema referencedTypes)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaShow (PairSchema referencedTypes)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaGeneric (PairSchema referencedTypes)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Schematype Rep (PairSchema referencedTypes) = D1 ('MetaDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Schema"PairSchema"
"PlutusTx.Blueprint.Schema"
"plutus-tx-1.70.0.0-6Ae79dzJelpIrjL4E9N8Jt"
'False) (C1 ('MetaCons"MkPairSchema"
'PrefixI 'True) (S1 ('MetaSel ('Just"left"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Schema referencedTypes)) :*: S1 ('MetaSel ('Just"right"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Schema referencedTypes))))
Constructors
SchemaInteger SchemaInfo IntegerSchemaSchemaBytes SchemaInfo BytesSchemaSchemaList SchemaInfo (ListSchema referencedTypes)SchemaListTuple SchemaInfo [Schema referencedTypes]SchemaMap SchemaInfo (MapSchema referencedTypes)SchemaConstructor SchemaInfo (ConstructorSchema referencedTypes)SchemaBuiltInData SchemaInfoSchemaBuiltInUnit SchemaInfoSchemaBuiltInBoolean SchemaInfoSchemaBuiltInInteger SchemaInfoSchemaBuiltInBytes SchemaInfoSchemaBuiltInString SchemaInfoSchemaBuiltInPair SchemaInfo (PairSchema referencedTypes)SchemaBuiltInList SchemaInfo (Schema referencedTypes)SchemaOneOf (NonEmpty (Schema referencedTypes))SchemaAnyOf (NonEmpty (Schema referencedTypes))SchemaAllOf (NonEmpty (Schema referencedTypes))SchemaNot (Schema referencedTypes)SchemaDefinitionRef DefinitionId
Instances8Eq, Data, Ord, Show, Generic, ToJSON, …
Eq (Schema referencedTypes)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaTypeable referencedTypes => Data (Schema referencedTypes)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaOrd (Schema referencedTypes)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaShow (Schema referencedTypes)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaGeneric (Schema referencedTypes)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaToJSON (Schema referencedTypes)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.SchemaTypeable referencedTypes => Plated (Schema referencedTypes)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Schematype Rep (Schema referencedTypes) = D1 ('MetaDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Schema"Schema"
"PlutusTx.Blueprint.Schema"
"plutus-tx-1.70.0.0-6Ae79dzJelpIrjL4E9N8Jt"
'False) ((((C1 ('MetaCons"SchemaInteger"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaInfo) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 IntegerSchema)) :+: C1 ('MetaCons"SchemaBytes"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaInfo) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 BytesSchema))) :+: (C1 ('MetaCons"SchemaList"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaInfo) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (ListSchema referencedTypes))) :+: C1 ('MetaCons"SchemaListTuple"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaInfo) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Schema referencedTypes])))) :+: ((C1 ('MetaCons"SchemaMap"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaInfo) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (MapSchema referencedTypes))) :+: C1 ('MetaCons"SchemaConstructor"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaInfo) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (ConstructorSchema referencedTypes)))) :+: (C1 ('MetaCons"SchemaBuiltInData"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaInfo)) :+: (C1 ('MetaCons"SchemaBuiltInUnit"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaInfo)) :+: C1 ('MetaCons"SchemaBuiltInBoolean"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaInfo)))))) :+: (((C1 ('MetaCons"SchemaBuiltInInteger"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaInfo)) :+: C1 ('MetaCons"SchemaBuiltInBytes"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaInfo))) :+: (C1 ('MetaCons"SchemaBuiltInString"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaInfo)) :+: (C1 ('MetaCons"SchemaBuiltInPair"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaInfo) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PairSchema referencedTypes))) :+: C1 ('MetaCons"SchemaBuiltInList"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaInfo) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Schema referencedTypes)))))) :+: ((C1 ('MetaCons"SchemaOneOf"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NonEmpty (Schema referencedTypes)))) :+: C1 ('MetaCons"SchemaAnyOf"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NonEmpty (Schema referencedTypes))))) :+: (C1 ('MetaCons"SchemaAllOf"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NonEmpty (Schema referencedTypes)))) :+: (C1 ('MetaCons"SchemaNot"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Schema referencedTypes))) :+: C1 ('MetaCons"SchemaDefinitionRef"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 DefinitionId)))))))