| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusTx.IsData.TH
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
- mkAsDataMatchingFunction ∷ Name → [Name] → Name → [Type] → [Name] → Q (Dec, Dec)
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.