Revision beff3779 lib/ht.py
b/lib/ht.py | ||
---|---|---|
267 | 267 |
TStrictPositiveInt = \ |
268 | 268 |
TAnd(TInt, WithDesc("GreaterThanZero")(lambda v: v > 0)) |
269 | 269 |
|
270 |
#: a positive float |
|
271 |
TPositiveFloat = \ |
|
272 |
TAnd(TFloat, WithDesc("EqualGreaterZero")(lambda v: v >= 0.0)) |
|
273 |
|
|
270 | 274 |
|
271 | 275 |
def TListOf(my_type): |
272 | 276 |
"""Checks if a given value is a list with all elements of the same type. |
Also available in: Unified diff