Data.Lambda.Random

Closed h-shallow lambda terms

closedShallowLambda

closedShallowLambdaIO

Filter samplers for closed h-shallow lambda terms

filterClosedShallow

filterClosedShallowIO

Closed lambda terms

closedLambda

closedLambdaIO

Filter samplers for plain lambda terms

filterClosed

filterClosedIO

Plain lambda terms

plainLambda

plainLambdaIO

Filter samplers for plain lambda terms

filterPlain

filterPlainIO