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

Database.Narc.Test

Synopsis

Documentation

normalizerTests :: TestSource

unitTests :: TestSource

runUnitTests :: IO CountsSource

prop_compile_safe :: PropertySource

Assertion that well-typed terms compile without throwing.

prop_typedTermGen_tyCheck :: PropertySource

main :: IO ()Source