| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusTx.IsData
Synopsis
- unstableMakeIsData :: Name -> Q [Dec]
- makeIsDataIndexed :: Name -> [(Name, Int)] -> Q [Dec]
- mkConstrCreateExpr :: Integer -> [Name] -> ExpQ
- mkUnsafeConstrMatchPattern :: Integer -> [Name] -> PatQ
- mkConstrPartsMatchPattern :: Integer -> [Name] -> PatQ
- mkUnsafeConstrPartsMatchPattern :: Integer -> [Name] -> PatQ
- module PlutusTx.IsData.Class
Documentation
unstableMakeIsData :: Name -> Q [Dec] Source #
Generate a FromData and a ToData instance for a type.
This may not be stable in the face of constructor additions,
renamings, etc. Use makeIsDataIndexed if you need stability.
makeIsDataIndexed :: Name -> [(Name, Int)] -> Q [Dec] Source #
Generate a ToData, 'FromData and a UnsafeFromData instances for a type,
using an explicit mapping of constructor names to indices.
Use this for types where you need to keep the representation stable.
module PlutusTx.IsData.Class