yaya-hedgehog-0.3.0.2: Hedgehog testing support for the Yaya recursion scheme library.

Index

AddYaya.Hedgehog.Expr
corecursiveIsUnsafeYaya.Hedgehog.Fold
embeddableOfHeightYaya.Hedgehog.Fold
evalNonterminatingYaya.Hedgehog
ExprYaya.Hedgehog.Expr
expressionYaya.Hedgehog.Expr
genAlgebraYaya.Hedgehog.Fold
genCofixExprYaya.Hedgehog.Expr
genCorecursiveYaya.Hedgehog.Fold
genExprYaya.Hedgehog.Expr
genExprLitYaya.Hedgehog.Expr
genExprOpYaya.Hedgehog.Expr
genFixExprYaya.Hedgehog.Expr
genMuExprYaya.Hedgehog.Expr
genNuExprYaya.Hedgehog.Expr
law_anaReflYaya.Hedgehog.Fold
law_cataCancelYaya.Hedgehog.Fold
law_cataComposeYaya.Hedgehog.Fold
law_cataReflYaya.Hedgehog.Fold
LitYaya.Hedgehog.Expr
MultYaya.Hedgehog.Expr
nonterminatingPropertyYaya.Hedgehog
recursiveIsUnsafeYaya.Hedgehog.Fold