syntactic-3.8.3: Generic representation and manipulation of abstract syntax
Safe HaskellNone
LanguageHaskell2010

Language.Syntactic.Functional.Tuple.TH

Description

Generate Syntactic instances for tuples

Documentation

deriveSyntacticForTuples Source #

Arguments

:: (Type -> Cxt)

internalPred (see above)

-> (Type -> Type)

mkDomain (see above)

-> Cxt

extraConstraint (see above)

-> Int

Max tuple width

-> DecsQ