Revision 2c0af7da lib/ht.py

b/lib/ht.py
322 322 
TPositiveInt = \
323 323 
  TAnd(TInt, WithDesc("EqualGreaterZero")(lambda v: v >= 0))
324 324 

  		





  
  325
  
    
#: a maybe positive integer (positive integer or None)


  		





  
  326
  
    
TMaybePositiveInt = TOr(TPositiveInt, TNone)


  		





  
  327
  
    

  		





  325
  328
  
    
#: a strictly positive integer


  		





  326
  329
  
    
TStrictPositiveInt = \


  		





  327
  330
  
    
  TAnd(TInt, WithDesc("GreaterThanZero")(lambda v: v > 0))


  		





  328
  331
  
    

  		





  
  332
  
    
#: a maybe strictly positive integer (strictly positive integer or None)


  		





  
  333
  
    
TMaybeStrictPositiveInt = TOr(TStrictPositiveInt, TNone)


  		





  
  334
  
    

  		





  329
  335
  
    
#: a strictly negative integer (0 > value)


  		





  330
  336
  
    
TStrictNegativeInt = \


  		





  331
  337
  
    
  TAnd(TInt, WithDesc("LessThanZero")(compat.partial(operator.gt, 0)))


  		












Also available in:
  Unified diff