narc-0.1: Query SQL databases using Nested Relational Calculus embedded in Haskell.

Narc.Test

Synopsis

Documentation

makeNormalizerTests :: ErrorGensym TestSource

unitTests :: ErrorGensym TestSource

runUnitTests :: IO CountsSource

prop_eval_safe :: PropertySource

Assertion that well-typed terms evaluate without throwing.

prop_typedTermGen_tyCheck :: PropertySource

main :: IO ()Source