Documentation

counterName :: Name Source #

countMinName :: Name Source #

countMaxName :: Name Source #

countSuccName :: Name Source #

countPredName :: Name Source #

mkTupTy :: [Type] -> Type Source #

mkTup :: [Exp] -> Exp Source #

genTupleInstances :: Int -> Q [Dec] Source #

genTupleInstance :: Int -> Q Dec Source #

genCount :: Name -> Int -> Clause Source #

genCountOverflow :: Name -> Int -> Q Clause Source #