Database.Narc.Test
- makeNormalizerTests :: ErrorGensym Test
- unitTests :: ErrorGensym Test
- runUnitTests :: IO Counts
- prop_eval_safe :: Property
- prop_typedTermGen_tyCheck :: Property
- main :: IO ()
Documentation
makeNormalizerTests :: ErrorGensym TestSource
prop_eval_safe :: PropertySource
Assertion that well-typed terms evaluate without throwing.