blob: 2800ce0102d28c3c12364d49aadb556d7f3b0948 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
--# -path=.:../prelude
concrete TimetableEng of Timetable = open Prelude in {
lin
MkTable cs ts = ss (["trains on the line from"] ++ cs.s ++ ":" ++ ts.s) ;
NilTrain _ = ss [] ;
ConsTrain cs n t ts = ss (n.s ++ ":" ++ t.s ++ ";") ;
OneCity c = c ;
ConsCity c cs = ss (c.s ++ "to" ++ cs.s) ;
StopTime t = t ;
NoStop = ss ["no stop"] ;
LocTrain c s = cc2 c s ;
CityTrain c s cs t = ss (c.s ++ s.s ++ "," ++ t.s) ;
T i = prefixSS "at" i ;
N n = prefixSS "train" n ;
C s = s ;
}
|
