qc-oi-testgenerator-1.2.0.3: Compile time generation of operation invariance tests for QuickCheck

Safe HaskellNone

Test.OITestGenerator.OpArg

Description

This file should not be imported directly. Import Test.OITestGenerator instead.

Documentation

data OpArg Source

opArg :: Name -> Int -> [Name] -> Maybe Name -> OpArgSource

opArg_name :: OpArg -> NameSource

opArg_argi :: OpArg -> IntSource

opArg_gens :: OpArg -> [Name]Source

opArg_has_constraint :: OpArg -> BoolSource

opArg_constraint :: OpArg -> NameSource

op2opArgs :: Op -> Q [OpArg]Source