equational-reasoning-induction-0.6.0.0: Proof assistant for Haskell using DataKinds & PolyKinds

Safe Haskell	None
Language	Haskell2010

Proof.Induction

Synopsis

genInduction :: Name -> String -> Q [Dec]

Documentation

genInduction :: Name -> String -> Q [Dec] Source #

genInduction ''Type "inductionT" defines the induction scheme for Type named inductionT.