plutus-tx-1.30.0.0: Libraries for Plutus Tx and its prelude
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusTx.Blueprint.Schema

Synopsis

Documentation

data Schema (referencedTypes ∷ [Type]) Source #

Blueprint schema definition, as defined by the CIP-0057: https://github.com/cardano-foundation/CIPs/tree/master/CIP-0057#core-vocabulary

The referencedTypes phantom type parameter is used to track the types used in the contract making sure their schemas are included in the blueprint and that they are referenced in a type-safe way.

Instances

Instances details
ToJSON (Schema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Methods

toJSONSchema referencedTypes → Value

toEncodingSchema referencedTypes → Encoding

toJSONList ∷ [Schema referencedTypes] → Value

toEncodingList ∷ [Schema referencedTypes] → Encoding

omitFieldSchema referencedTypes → Bool

Typeable referencedTypes ⇒ Data (Schema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Schema referencedTypes → c (Schema referencedTypes) Source #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c (Schema referencedTypes) Source #

toConstrSchema referencedTypes → Constr Source #

dataTypeOfSchema referencedTypes → DataType Source #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c (Schema referencedTypes)) Source #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c (Schema referencedTypes)) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → Schema referencedTypes → Schema referencedTypes Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Schema referencedTypes → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Schema referencedTypes → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → Schema referencedTypes → [u] Source #

gmapQiInt → (∀ d. Data d ⇒ d → u) → Schema referencedTypes → u Source #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → Schema referencedTypes → m (Schema referencedTypes) Source #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Schema referencedTypes → m (Schema referencedTypes) Source #

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Schema referencedTypes → m (Schema referencedTypes) Source #

Generic (Schema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Associated Types

type Rep (Schema referencedTypes) ∷ TypeType Source #

Methods

fromSchema referencedTypes → Rep (Schema referencedTypes) x Source #

toRep (Schema referencedTypes) x → Schema referencedTypes Source #

Show (Schema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Methods

showsPrecIntSchema referencedTypes → ShowS Source #

showSchema referencedTypes → String Source #

showList ∷ [Schema referencedTypes] → ShowS Source #

Eq (Schema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Methods

(==)Schema referencedTypes → Schema referencedTypes → Bool Source #

(/=)Schema referencedTypes → Schema referencedTypes → Bool Source #

Ord (Schema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Methods

compareSchema referencedTypes → Schema referencedTypes → Ordering Source #

(<)Schema referencedTypes → Schema referencedTypes → Bool Source #

(<=)Schema referencedTypes → Schema referencedTypes → Bool Source #

(>)Schema referencedTypes → Schema referencedTypes → Bool Source #

(>=)Schema referencedTypes → Schema referencedTypes → Bool Source #

maxSchema referencedTypes → Schema referencedTypes → Schema referencedTypes Source #

minSchema referencedTypes → Schema referencedTypes → Schema referencedTypes Source #

Typeable referencedTypes ⇒ Plated (Schema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Methods

plate ∷ Traversal' (Schema referencedTypes) (Schema referencedTypes)

type Rep (Schema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

type Rep (Schema referencedTypes) = D1 ('MetaData "Schema" "PlutusTx.Blueprint.Schema" "plutus-tx-1.30.0.0-inplace" 'False) ((((C1 ('MetaCons "SchemaInteger" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaInfo) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 IntegerSchema)) :+: C1 ('MetaCons "SchemaBytes" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaInfo) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 BytesSchema))) :+: (C1 ('MetaCons "SchemaList" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaInfo) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (ListSchema referencedTypes))) :+: C1 ('MetaCons "SchemaMap" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaInfo) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (MapSchema referencedTypes))))) :+: ((C1 ('MetaCons "SchemaConstructor" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaInfo) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (ConstructorSchema referencedTypes))) :+: C1 ('MetaCons "SchemaBuiltInData" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaInfo))) :+: (C1 ('MetaCons "SchemaBuiltInUnit" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaInfo)) :+: (C1 ('MetaCons "SchemaBuiltInBoolean" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaInfo)) :+: C1 ('MetaCons "SchemaBuiltInInteger" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaInfo)))))) :+: (((C1 ('MetaCons "SchemaBuiltInBytes" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaInfo)) :+: C1 ('MetaCons "SchemaBuiltInString" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaInfo))) :+: (C1 ('MetaCons "SchemaBuiltInPair" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaInfo) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PairSchema referencedTypes))) :+: C1 ('MetaCons "SchemaBuiltInList" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaInfo) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Schema referencedTypes))))) :+: ((C1 ('MetaCons "SchemaOneOf" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NonEmpty (Schema referencedTypes)))) :+: C1 ('MetaCons "SchemaAnyOf" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NonEmpty (Schema referencedTypes))))) :+: (C1 ('MetaCons "SchemaAllOf" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NonEmpty (Schema referencedTypes)))) :+: (C1 ('MetaCons "SchemaNot" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Schema referencedTypes))) :+: C1 ('MetaCons "SchemaDefinitionRef" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 DefinitionId)))))))

data IntegerSchema Source #

Constructors

MkIntegerSchema 

Fields

Instances

Instances details
Data IntegerSchema Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → IntegerSchema → c IntegerSchema Source #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c IntegerSchema Source #

toConstrIntegerSchemaConstr Source #

dataTypeOfIntegerSchemaDataType Source #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c IntegerSchema) Source #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c IntegerSchema) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → IntegerSchemaIntegerSchema Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → IntegerSchema → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → IntegerSchema → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → IntegerSchema → [u] Source #

gmapQiInt → (∀ d. Data d ⇒ d → u) → IntegerSchema → u Source #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → IntegerSchema → m IntegerSchema Source #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → IntegerSchema → m IntegerSchema Source #

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → IntegerSchema → m IntegerSchema Source #

Generic IntegerSchema Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Associated Types

type Rep IntegerSchemaTypeType Source #

Show IntegerSchema Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Eq IntegerSchema Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Ord IntegerSchema Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

type Rep IntegerSchema Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

type Rep IntegerSchema = D1 ('MetaData "IntegerSchema" "PlutusTx.Blueprint.Schema" "plutus-tx-1.30.0.0-inplace" '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))))))

data BytesSchema Source #

Constructors

MkBytesSchema 

Fields

  • enum ∷ [ByteString]

    An instance validates successfully if once hex-encoded, its value matches one of the specified values.

  • minLengthMaybe Natural

    An instance is valid if its length is greater than, or equal to, this value.

  • maxLengthMaybe Natural

    An instance is valid if its length is less than, or equal to, this value.

Instances

Instances details
Data BytesSchema Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → BytesSchema → c BytesSchema Source #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c BytesSchema Source #

toConstrBytesSchemaConstr Source #

dataTypeOfBytesSchemaDataType Source #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c BytesSchema) Source #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c BytesSchema) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → BytesSchemaBytesSchema Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → BytesSchema → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → BytesSchema → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → BytesSchema → [u] Source #

gmapQiInt → (∀ d. Data d ⇒ d → u) → BytesSchema → u Source #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → BytesSchema → m BytesSchema Source #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BytesSchema → m BytesSchema Source #

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BytesSchema → m BytesSchema Source #

Generic BytesSchema Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Associated Types

type Rep BytesSchemaTypeType Source #

Show BytesSchema Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Eq BytesSchema Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Ord BytesSchema Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

type Rep BytesSchema Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

type Rep BytesSchema = D1 ('MetaData "BytesSchema" "PlutusTx.Blueprint.Schema" "plutus-tx-1.30.0.0-inplace" '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)))))

data ListSchema (referencedTypes ∷ [Type]) Source #

Constructors

MkListSchema 

Fields

  • itemSchemaSchema referencedTypes

    Element schema

  • minItemsMaybe Natural

    An array instance is valid if its size is greater than, or equal to, this value.

  • maxItemsMaybe Natural

    An array instance is valid if its size is less than, or equal to, this value.

  • uniqueItemsMaybe Bool

    If this value is false, the instance validates successfully. If it is set to True, the instance validates successfully if all of its elements are unique.

Instances

Instances details
Typeable referencedTypes ⇒ Data (ListSchema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → ListSchema referencedTypes → c (ListSchema referencedTypes) Source #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c (ListSchema referencedTypes) Source #

toConstrListSchema referencedTypes → Constr Source #

dataTypeOfListSchema referencedTypes → DataType Source #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c (ListSchema referencedTypes)) Source #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c (ListSchema referencedTypes)) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → ListSchema referencedTypes → ListSchema referencedTypes Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → ListSchema referencedTypes → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → ListSchema referencedTypes → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → ListSchema referencedTypes → [u] Source #

gmapQiInt → (∀ d. Data d ⇒ d → u) → ListSchema referencedTypes → u Source #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → ListSchema referencedTypes → m (ListSchema referencedTypes) Source #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ListSchema referencedTypes → m (ListSchema referencedTypes) Source #

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ListSchema referencedTypes → m (ListSchema referencedTypes) Source #

Generic (ListSchema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Associated Types

type Rep (ListSchema referencedTypes) ∷ TypeType Source #

Methods

fromListSchema referencedTypes → Rep (ListSchema referencedTypes) x Source #

toRep (ListSchema referencedTypes) x → ListSchema referencedTypes Source #

Show (ListSchema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Methods

showsPrecIntListSchema referencedTypes → ShowS Source #

showListSchema referencedTypes → String Source #

showList ∷ [ListSchema referencedTypes] → ShowS Source #

Eq (ListSchema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Methods

(==)ListSchema referencedTypes → ListSchema referencedTypes → Bool Source #

(/=)ListSchema referencedTypes → ListSchema referencedTypes → Bool Source #

Ord (ListSchema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Methods

compareListSchema referencedTypes → ListSchema referencedTypes → Ordering Source #

(<)ListSchema referencedTypes → ListSchema referencedTypes → Bool Source #

(<=)ListSchema referencedTypes → ListSchema referencedTypes → Bool Source #

(>)ListSchema referencedTypes → ListSchema referencedTypes → Bool Source #

(>=)ListSchema referencedTypes → ListSchema referencedTypes → Bool Source #

maxListSchema referencedTypes → ListSchema referencedTypes → ListSchema referencedTypes Source #

minListSchema referencedTypes → ListSchema referencedTypes → ListSchema referencedTypes Source #

type Rep (ListSchema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

type Rep (ListSchema referencedTypes) = D1 ('MetaData "ListSchema" "PlutusTx.Blueprint.Schema" "plutus-tx-1.30.0.0-inplace" '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)))))

mkListSchemaSchema referencedTypes → ListSchema referencedTypes Source #

data MapSchema (referencedTypes ∷ [Type]) Source #

Constructors

MkMapSchema 

Fields

Instances

Instances details
Typeable referencedTypes ⇒ Data (MapSchema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → MapSchema referencedTypes → c (MapSchema referencedTypes) Source #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c (MapSchema referencedTypes) Source #

toConstrMapSchema referencedTypes → Constr Source #

dataTypeOfMapSchema referencedTypes → DataType Source #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c (MapSchema referencedTypes)) Source #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c (MapSchema referencedTypes)) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → MapSchema referencedTypes → MapSchema referencedTypes Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → MapSchema referencedTypes → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → MapSchema referencedTypes → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → MapSchema referencedTypes → [u] Source #

gmapQiInt → (∀ d. Data d ⇒ d → u) → MapSchema referencedTypes → u Source #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → MapSchema referencedTypes → m (MapSchema referencedTypes) Source #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → MapSchema referencedTypes → m (MapSchema referencedTypes) Source #

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → MapSchema referencedTypes → m (MapSchema referencedTypes) Source #

Generic (MapSchema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Associated Types

type Rep (MapSchema referencedTypes) ∷ TypeType Source #

Methods

fromMapSchema referencedTypes → Rep (MapSchema referencedTypes) x Source #

toRep (MapSchema referencedTypes) x → MapSchema referencedTypes Source #

Show (MapSchema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Methods

showsPrecIntMapSchema referencedTypes → ShowS Source #

showMapSchema referencedTypes → String Source #

showList ∷ [MapSchema referencedTypes] → ShowS Source #

Eq (MapSchema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Methods

(==)MapSchema referencedTypes → MapSchema referencedTypes → Bool Source #

(/=)MapSchema referencedTypes → MapSchema referencedTypes → Bool Source #

Ord (MapSchema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Methods

compareMapSchema referencedTypes → MapSchema referencedTypes → Ordering Source #

(<)MapSchema referencedTypes → MapSchema referencedTypes → Bool Source #

(<=)MapSchema referencedTypes → MapSchema referencedTypes → Bool Source #

(>)MapSchema referencedTypes → MapSchema referencedTypes → Bool Source #

(>=)MapSchema referencedTypes → MapSchema referencedTypes → Bool Source #

maxMapSchema referencedTypes → MapSchema referencedTypes → MapSchema referencedTypes Source #

minMapSchema referencedTypes → MapSchema referencedTypes → MapSchema referencedTypes Source #

type Rep (MapSchema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

type Rep (MapSchema referencedTypes) = D1 ('MetaData "MapSchema" "PlutusTx.Blueprint.Schema" "plutus-tx-1.30.0.0-inplace" '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)))))

data ConstructorSchema (referencedTypes ∷ [Type]) Source #

Constructors

MkConstructorSchema 

Fields

Instances

Instances details
Typeable referencedTypes ⇒ Data (ConstructorSchema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → ConstructorSchema referencedTypes → c (ConstructorSchema referencedTypes) Source #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c (ConstructorSchema referencedTypes) Source #

toConstrConstructorSchema referencedTypes → Constr Source #

dataTypeOfConstructorSchema referencedTypes → DataType Source #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c (ConstructorSchema referencedTypes)) Source #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c (ConstructorSchema referencedTypes)) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → ConstructorSchema referencedTypes → ConstructorSchema referencedTypes Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → ConstructorSchema referencedTypes → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → ConstructorSchema referencedTypes → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → ConstructorSchema referencedTypes → [u] Source #

gmapQiInt → (∀ d. Data d ⇒ d → u) → ConstructorSchema referencedTypes → u Source #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → ConstructorSchema referencedTypes → m (ConstructorSchema referencedTypes) Source #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ConstructorSchema referencedTypes → m (ConstructorSchema referencedTypes) Source #

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ConstructorSchema referencedTypes → m (ConstructorSchema referencedTypes) Source #

Generic (ConstructorSchema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Associated Types

type Rep (ConstructorSchema referencedTypes) ∷ TypeType Source #

Methods

fromConstructorSchema referencedTypes → Rep (ConstructorSchema referencedTypes) x Source #

toRep (ConstructorSchema referencedTypes) x → ConstructorSchema referencedTypes Source #

Show (ConstructorSchema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Methods

showsPrecIntConstructorSchema referencedTypes → ShowS Source #

showConstructorSchema referencedTypes → String Source #

showList ∷ [ConstructorSchema referencedTypes] → ShowS Source #

Eq (ConstructorSchema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Methods

(==)ConstructorSchema referencedTypes → ConstructorSchema referencedTypes → Bool Source #

(/=)ConstructorSchema referencedTypes → ConstructorSchema referencedTypes → Bool Source #

Ord (ConstructorSchema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Methods

compareConstructorSchema referencedTypes → ConstructorSchema referencedTypes → Ordering Source #

(<)ConstructorSchema referencedTypes → ConstructorSchema referencedTypes → Bool Source #

(<=)ConstructorSchema referencedTypes → ConstructorSchema referencedTypes → Bool Source #

(>)ConstructorSchema referencedTypes → ConstructorSchema referencedTypes → Bool Source #

(>=)ConstructorSchema referencedTypes → ConstructorSchema referencedTypes → Bool Source #

maxConstructorSchema referencedTypes → ConstructorSchema referencedTypes → ConstructorSchema referencedTypes Source #

minConstructorSchema referencedTypes → ConstructorSchema referencedTypes → ConstructorSchema referencedTypes Source #

type Rep (ConstructorSchema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

type Rep (ConstructorSchema referencedTypes) = D1 ('MetaData "ConstructorSchema" "PlutusTx.Blueprint.Schema" "plutus-tx-1.30.0.0-inplace" '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])))

data PairSchema (referencedTypes ∷ [Type]) Source #

Constructors

MkPairSchema 

Fields

  • leftSchema referencedTypes

    Schema of the first element

  • rightSchema referencedTypes

    Schema of the second element

Instances

Instances details
Typeable referencedTypes ⇒ Data (PairSchema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → PairSchema referencedTypes → c (PairSchema referencedTypes) Source #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c (PairSchema referencedTypes) Source #

toConstrPairSchema referencedTypes → Constr Source #

dataTypeOfPairSchema referencedTypes → DataType Source #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c (PairSchema referencedTypes)) Source #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c (PairSchema referencedTypes)) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → PairSchema referencedTypes → PairSchema referencedTypes Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → PairSchema referencedTypes → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → PairSchema referencedTypes → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → PairSchema referencedTypes → [u] Source #

gmapQiInt → (∀ d. Data d ⇒ d → u) → PairSchema referencedTypes → u Source #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → PairSchema referencedTypes → m (PairSchema referencedTypes) Source #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → PairSchema referencedTypes → m (PairSchema referencedTypes) Source #

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → PairSchema referencedTypes → m (PairSchema referencedTypes) Source #

Generic (PairSchema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Associated Types

type Rep (PairSchema referencedTypes) ∷ TypeType Source #

Methods

fromPairSchema referencedTypes → Rep (PairSchema referencedTypes) x Source #

toRep (PairSchema referencedTypes) x → PairSchema referencedTypes Source #

Show (PairSchema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Methods

showsPrecIntPairSchema referencedTypes → ShowS Source #

showPairSchema referencedTypes → String Source #

showList ∷ [PairSchema referencedTypes] → ShowS Source #

Eq (PairSchema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Methods

(==)PairSchema referencedTypes → PairSchema referencedTypes → Bool Source #

(/=)PairSchema referencedTypes → PairSchema referencedTypes → Bool Source #

Ord (PairSchema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

Methods

comparePairSchema referencedTypes → PairSchema referencedTypes → Ordering Source #

(<)PairSchema referencedTypes → PairSchema referencedTypes → Bool Source #

(<=)PairSchema referencedTypes → PairSchema referencedTypes → Bool Source #

(>)PairSchema referencedTypes → PairSchema referencedTypes → Bool Source #

(>=)PairSchema referencedTypes → PairSchema referencedTypes → Bool Source #

maxPairSchema referencedTypes → PairSchema referencedTypes → PairSchema referencedTypes Source #

minPairSchema referencedTypes → PairSchema referencedTypes → PairSchema referencedTypes Source #

type Rep (PairSchema referencedTypes) Source # 
Instance details

Defined in PlutusTx.Blueprint.Schema

type Rep (PairSchema referencedTypes) = D1 ('MetaData "PairSchema" "PlutusTx.Blueprint.Schema" "plutus-tx-1.30.0.0-inplace" '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))))