examples/unix/Unix.gf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

abstract Unix = {

  cat
    S ;
    Line ;
    Command ;
    File ;

  fun
    Pipe : Command -> S -> S ;
    Comm : Command -> S ;

    WhatTime   : Command ;
    WhatDate   : Command ;
    WhereNow   : Command ;
    Remove : File -> Command ;
    Copy   : File -> File -> Command ;
    Linecount : File -> Command ;
    Wordcount : File -> Command ;

    Name : String -> File ;
    It : File ;

}