types

Value Members

1. object all extends AllTypes

   

   Module for all predefined refined types.

2. object char extends CharTypes

   

   Module for Char refined types.

3. object net extends NetTypes

   

   Module for refined types that are related to the Internet protocol suite.

4. object numeric extends NumericTypes

   

   Module for numeric refined types.

5. object string extends StringTypes

   

   Module for String refined types.

6. object time extends TimeTypes

   

   Module for date and time related refined types.