|
Agda.TypeChecking.Test.Generators |
|
|
|
Synopsis |
|
|
|
Documentation |
|
|
Constructors | TermConf | | tcDefinedNames :: [QName] | | tcConstructorNames :: [QName] | | tcFreeVariables :: [Nat] | | tcLiterals :: UseLiterals | | tcFrequencies :: Frequencies | | tcFixSize :: Maybe Int | Maximum size of the generated element. When Nothing this value
is initialized from the Test.QuickCheck.size parameter.
| tcIsType :: Bool | When this is true no lambdas, literals, or constructors are
generated
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Constructors | HiddenFreqs | | hiddenFreq :: Int | | notHiddenFreq :: Int | |
|
|
|
|
|
Constructors | SortFreqs | | setFreqs :: [Int] | | propFreq :: Int | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Only generates default configurations. Names and free variables varies.
|
|
class ShrinkC a b | a -> b where | Source |
|
|
|
|
|
|
|
|
|
|
|
Check that the generated terms don't have any out of scope variables.
|
|
Produced by Haddock version 2.6.1 |