repositories
/
clean-tests.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
6459207b3017032dc00225c4f19b598bdf8b6967
[clean-tests.git]
/
test.icl
1
module test
2
3
import StdEnv
4
from Data.Func import $
5
import System.Directory
6
import System.Time
7
8
:: S s a = S .(s -> *(a, s))
9
runS (S s) = s
10
11
(>>=) infixl 1 :: u:(S .a .b) v:(.b -> .(S .a .c)) -> w:(S .a .c), [w <= u,w <= v]
12
(>>=) ma a2mb = S \s
13
# (a, s) = runS ma s
14
= runS (a2mb a) s
15
16
Start world = flip runS world
17
$ (S time)
18
>>= \_->S (readDirectory "/home/mrl")