natural-induction-0.1.0.0: Induction over natural numbers
Data.Natural.Class
class Natural n where Source #
Minimal complete definition
natural
Methods
natural :: f Zero -> (forall m. Natural m => f (Succ m)) -> f n Source #
Instances
natural :: f Zero -> (forall m. Natural m => f (Succ m)) -> f Zero Source #
natural :: f Zero -> (forall m. Natural m => f (Succ m)) -> f (Succ n) Source #