home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Environments / Clean 1.2.4 / StdEnv / _SystemEnum.dcl < prev    next >
Encoding:
Modula Definition  |  1996-12-23  |  940 b   |  37 lines  |  [TEXT/3PRM]
  1. definition module _SystemEnum
  2.  
  3. // ****************************************************************************************
  4. //    Concurrent Clean Standard Library Module Version 1.1
  5. //    Copyright 1995 University of Nijmegen
  6. // ****************************************************************************************
  7.  
  8. /*
  9.     This module must be imported if dotdot expressions are used
  10.  
  11.         [from .. ]            -> _from from
  12.         [from .. to]        -> _from_to from to
  13.         [from, then .. ]    -> _from_then from then
  14.         [from, then .. to]    -> _from_then_to from then to
  15. */
  16.     
  17. from StdClass import Enum, IncDec, Ord
  18. from StdBool import not 
  19.  
  20. import StdInt
  21. export IncDec Int
  22. export Ord Int
  23. export Enum Int
  24.  
  25. import StdChar
  26. export IncDec Char
  27. export Ord Char
  28. export Enum Char
  29.  
  30. _from            ::  a        -> [a] | IncDec , Ord a
  31. _from_to        :: !a !a    -> [a] | Enum a
  32. _from_then        ::  a  a    -> [a] | Enum a
  33. _from_then_to    :: !a !a !a    -> [a] | Enum a
  34.  
  35. _lteq a b    :== not (b < a)
  36. _minus a b    :== a - b
  37.