src/StdLibExt/StdIOExt.dcl

   1 definition module StdIOExt
   2
   3 /**     Collection of functions that extend functionality of StdIO.
   4 */
   5
   6 import StdIO
   7
   8 /** makeSound path ioSt
   9                 plays a sound file, located at path. If no such file is found, the function
  10                 aborts.
  11 */
  12 makeSound :: !String -> (IOSt .ps) -> IOSt .ps