Cryptol.Testing.Exhaust

Documentation

testableType :: Type -> Maybe (Integer, [[Value]])

Given a (function) type, compute all possible inputs for it. We also return the total number of test (i.e., the length of the outer list.

runOneTest :: Value -> [Value] -> IO TestResult

Apply a testable value to some arguments. Please note that this function assumes that the values come from a call to testableType (i.e., things are type-correct)

typeSize :: Type -> Maybe Integer

Given a fully-evaluated type, try to compute the number of values in it. Returns Nothing for infinite types, user-defined types, polymorhic types, and, currently, function spaces. Of course, we can easily compute the sizes of function spaces, but we can't easily enumerate their inhabitants.

typeValues :: Type -> [Value]

Returns all the values in a type. Returns an empty list of values, for types where typeSize returned Nothing.