finally, week2 done:)

1 files changed, 0 insertions, 40 deletions

diff --git a/fp2/week2/mart/oldold/old/StdIOMonad.dcl b/fp2/week2/mart/oldold/old/StdIOMonad.dcl
deleted file mode 100644
index 375f077..0000000
--- a/fp2/week2/mart/oldold/old/StdIOMonad.dcl
+++ /dev/null
@@ -1,40 +0,0 @@
-definition module StdIOMonad

-

-//	Deze module verpakt een aantal StdFile functies in een monadische jas

-

-import StdMonad, StdMaybeMonad

-

-:: IO a

-:: Void       = Void

-:: Filemode   = Lees | Schrijf

-:: Filenaam :== String

-:: *Filehandle

-

-//	voer monadische I/O actie uit op de wereld:

-//doIO		:: (IO a) *World -> *(a,*World)

-

-//  IO is een monad:

-//instance return IO

-//instance >>=    IO

-

-//	lees regel van de console:

-read		:: IO String

-

-/*

-//	schrijf regel naar de console:

-write		:: String -> IO Void

-

-//	open de file met gegeven filenaam en mode:

-open		:: Filenaam Filemode -> IO (Maybe Filehandle)

-

-//	sluit de file met gegeven filenaam:

-close		:: Filehandle -> IO Bool

-

-//	bepaal of het lezen van de file klaar is:

-eof			:: Filehandle -> IO Bool

-

-//	lees een regel van een file:

-readline	:: Filehandle -> IO (Maybe String)

-

-//	schrijf een regel naar een file:

-writeline	:: String Filehandle -> IO Bool*/