Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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
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.