module Data.Derive.Arities where
import Data.Derive.DSL.DSL
import Data.Derive.Internal.Derivation
makeArities :: Derivation
makeArities = derivationDSL "Arities" dslArities
dslArities =
List [Instance [] "Arities" (List [App "InsDecl" (List [App
"FunBind" (List [List [App "Match" (List [App "Ident" (List [
String "arities"]),List [App "PWildCard" (List [])],App "Nothing"
(List []),App "UnGuardedRhs" (List [App "List" (List [MapCtor (
Application (List [App "Var" (List [App "UnQual" (List [App
"Ident" (List [String "const"])])]),App "Lit" (List [App "Int" (
List [CtorArity])]),App "RecConstr" (List [App "UnQual" (List [App
"Ident" (List [CtorName])]),List []])]))])]),App "BDecls" (List [
List []])])]])])])]