type-level-natural-number-induction-1.0: High-level combinators for performing inductive operations.

Index

deductionTypeLevel.NaturalNumber.Induction
deduction2TypeLevel.NaturalNumber.Induction
deduction2MTypeLevel.NaturalNumber.Induction
deductionMTypeLevel.NaturalNumber.Induction
InductionTypeLevel.NaturalNumber.Induction
inductionTypeLevel.NaturalNumber.Induction
inductionMTypeLevel.NaturalNumber.Induction
inductionMOnLeftFoldTypeLevel.NaturalNumber.Induction
inductionMOnRightFoldTypeLevel.NaturalNumber.Induction
inductionOnLeftFoldTypeLevel.NaturalNumber.Induction
inductionOnRightFoldTypeLevel.NaturalNumber.Induction
transformTypeLevel.NaturalNumber.Induction
transformMTypeLevel.NaturalNumber.Induction