::
GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12
Moduleplutus-tx-1.70.0.0
deriveArgumentBlueprint :: Name -> Set Purpose -> ExpQ
deriveParameterBlueprint :: Name -> Set Purpose -> ExpQ
lookupAnn :: Data a => Name -> Q [a]
lookupSchemaDescription :: Name -> Q (Maybe SchemaDescription)
lookupSchemaTitle :: Name -> Q (Maybe SchemaTitle)
makeHasSchemaInstance :: Name -> [(Name, Natural)] -> Q [InstanceDec]
makeHasSchemaInstanceWith
:: Bool
-> Name
-> [(Name, Natural)]
-> Q [InstanceDec]
makeIsDataSchemaAsList :: Name -> Q [InstanceDec]
makeIsDataSchemaIndexed :: Name -> [(Name, Natural)] -> Q [InstanceDec]
mkSchemaClause
:: Type
-> [(ConstructorInfo, SchemaInfo, Natural)]
-> ClauseQ
mkSchemaClauseWith
-> Type
unstableMakeIsDataSchema :: Name -> Q [Dec]