Lines Matching refs:checkBounds

31 checkBounds ::
34 checkBounds msg (exclusive,lo,hi) fun = do  function
59     checkBounds "Int"     boundedRange   (approxBounds random trials (undefined::Int))
60     checkBounds "Integer" (False, fromIntegral (minBound::Int), fromIntegral (maxBound::Int))
62     checkBounds "Int8"    boundedRange   (approxBounds random trials (undefined::Int8))
63     checkBounds "Int16"   boundedRange   (approxBounds random trials (undefined::Int16))
64     checkBounds "Int32"   boundedRange   (approxBounds random trials (undefined::Int32))
65     checkBounds "Int64"   boundedRange   (approxBounds random trials (undefined::Int64))
66     checkBounds "Word"    boundedRange   (approxBounds random trials (undefined::Word))
67     checkBounds "Word8"   boundedRange   (approxBounds random trials (undefined::Word8))
68     checkBounds "Word16"  boundedRange   (approxBounds random trials (undefined::Word16))
69     checkBounds "Word32"  boundedRange   (approxBounds random trials (undefined::Word32))
70     checkBounds "Word64"  boundedRange   (approxBounds random trials (undefined::Word64))
71     checkBounds "Double"  (False,0.0,1.0) (approxBounds random trials (undefined::Double))
72     checkBounds "Float"   (False,0.0,1.0) (approxBounds random trials (undefined::Float))
74     checkBounds "CChar"      boundedRange (approxBounds random trials (undefined:: CChar))
75     checkBounds "CSChar"     boundedRange (approxBounds random trials (undefined:: CSChar))
76     checkBounds "CUChar"     boundedRange (approxBounds random trials (undefined:: CUChar))
77     checkBounds "CShort"     boundedRange (approxBounds random trials (undefined:: CShort))
78     checkBounds "CUShort"    boundedRange (approxBounds random trials (undefined:: CUShort))
79     checkBounds "CInt"       boundedRange (approxBounds random trials (undefined:: CInt))
80     checkBounds "CUInt"      boundedRange (approxBounds random trials (undefined:: CUInt))
81     checkBounds "CLong"      boundedRange (approxBounds random trials (undefined:: CLong))
82     checkBounds "CULong"     boundedRange (approxBounds random trials (undefined:: CULong))
83     checkBounds "CPtrdiff"   boundedRange (approxBounds random trials (undefined:: CPtrdiff))
84     checkBounds "CSize"      boundedRange (approxBounds random trials (undefined:: CSize))
85     checkBounds "CWchar"     boundedRange (approxBounds random trials (undefined:: CWchar))
86     checkBounds "CSigAtomic" boundedRange (approxBounds random trials (undefined:: CSigAtomic))
87     checkBounds "CLLong"     boundedRange (approxBounds random trials (undefined:: CLLong))
88     checkBounds "CULLong"    boundedRange (approxBounds random trials (undefined:: CULLong))
89     checkBounds "CIntPtr"    boundedRange (approxBounds random trials (undefined:: CIntPtr))
90     checkBounds "CUIntPtr"   boundedRange (approxBounds random trials (undefined:: CUIntPtr))
91     checkBounds "CIntMax"    boundedRange (approxBounds random trials (undefined:: CIntMax))
92     checkBounds "CUIntMax"   boundedRange (approxBounds random trials (undefined:: CUIntMax))
95 …checkBounds "Int R"     (False,-100,100)  (approxBounds (randomR (-100,100)) trials (undefined::In…
96     checkBounds "Integer R"
99 …checkBounds "Int8 R"    (False,-100,100)  (approxBounds (randomR (-100,100)) trials (undefined::In…
100 …checkBounds "Int8 Rsmall" (False,-50,50)  (approxBounds (randomR (-50,50))   trials (undefined::In…
101 …checkBounds "Int8 Rmini"    (False,3,4)   (approxBounds (randomR (3,4))      trials (undefined::In…
102 …checkBounds "Int8 Rtrivial" (False,3,3)   (approxBounds (randomR (3,3))      trials (undefined::In…
104 …checkBounds "Int16 R"   (False,-100,100)  (approxBounds (randomR (-100,100)) trials (undefined::In…
105 …checkBounds "Int32 R"   (False,-100,100)  (approxBounds (randomR (-100,100)) trials (undefined::In…
106 …checkBounds "Int64 R"   (False,-100,100)  (approxBounds (randomR (-100,100)) trials (undefined::In…
107 …checkBounds "Word R"    (False,0,200)     (approxBounds (randomR (0,200))    trials (undefined::Wo…
108 …checkBounds "Word8 R"   (False,0,200)     (approxBounds (randomR (0,200))    trials (undefined::Wo…
109 …checkBounds "Word16 R"  (False,0,200)     (approxBounds (randomR (0,200))    trials (undefined::Wo…
110 …checkBounds "Word32 R"  (False,0,200)     (approxBounds (randomR (0,200))    trials (undefined::Wo…
111 …checkBounds "Word64 R"  (False,0,200)     (approxBounds (randomR (0,200))    trials (undefined::Wo…
112 …checkBounds "Double R" (False,10.0,77.0)  (approxBounds (randomR (10,77)) trials (undefined::Doubl…
113 …checkBounds "Float R"  (False,10.0,77.0)  (approxBounds (randomR (10,77)) trials (undefined::Float…
115 …checkBounds "CChar R"   (False,0,100)        (approxBounds (randomR (0,100))    trials (undefined:…
116 …checkBounds "CSChar R"  (False,-100,100)     (approxBounds (randomR (-100,100)) trials (undefined:…
117 …checkBounds "CUChar R"  (False,0,200)        (approxBounds (randomR (0,200))    trials (undefined:…
118 …checkBounds "CShort R"  (False,-100,100)     (approxBounds (randomR (-100,100)) trials (undefined:…
119 …checkBounds "CUShort R" (False,0,200)        (approxBounds (randomR (0,200))    trials (undefined:…
120 …checkBounds "CInt R"    (False,-100,100)     (approxBounds (randomR (-100,100)) trials (undefined:…
121 …checkBounds "CUInt R"   (False,0,200)        (approxBounds (randomR (0,200))    trials (undefined:…
122 …checkBounds "CLong R"   (False,-100,100)     (approxBounds (randomR (-100,100)) trials (undefined:…
123 …checkBounds "CULong R"     (False,0,200)     (approxBounds (randomR (0,200))    trials (undefined:…
124 …checkBounds "CPtrdiff R"   (False,-100,100)  (approxBounds (randomR (-100,100)) trials (undefined:…
125 …checkBounds "CSize R"      (False,0,200)     (approxBounds (randomR (0,200))    trials (undefined:…
126 …checkBounds "CWchar R"     (False,0,100)     (approxBounds (randomR (0,100))    trials (undefined:…
127 …checkBounds "CSigAtomic R" (False,0,100)     (approxBounds (randomR (0,100))    trials (undefined:…
128 …checkBounds "CLLong R"     (False,-100,100)  (approxBounds (randomR (-100,100)) trials (undefined:…
129 …checkBounds "CULLong R"    (False,0,200)     (approxBounds (randomR (0,200))    trials (undefined:…
130 …checkBounds "CIntPtr R"    (False,-100,100)  (approxBounds (randomR (-100,100)) trials (undefined:…
131 …checkBounds "CUIntPtr R"   (False,0,200)     (approxBounds (randomR (0,200))    trials (undefined:…
132 …checkBounds "CIntMax R"    (False,-100,100)  (approxBounds (randomR (-100,100)) trials (undefined:…
133 …checkBounds "CUIntMax R"   (False,0,200)     (approxBounds (randomR (0,200))    trials (undefined:…