Documentation

A primtive expression (paired with instance reification).

Provides a primitive value to Conjure. To be used on values that are not Show instances such as functions. (cf. pr)

Provides a primitive value to Conjure. To be used on Show instances. (cf. prim)

Provides an if condition bound to the given return type.

Provides a case condition bound to the given return type.

Computes a list of holes encoded as Exprs from a list of Prims.

This function mirrors functionality from conjureHoles.

Given a list of Prims, returns a function that given an Expr will return tiers of test Expr values.

This is used in cjAreEqual.

Given a list of Prims, computes a function that checks whether two Exprs are equal up to a given number of tests.

Computes a function that equates two Exprs from a list of Prims.

This function mirrors functionality from conjureMkEquation.