EdFile.dcl 394 Bytes
Newer Older
Diederik van Arkel's avatar
Diederik van Arkel committed
1
2
definition module EdFile

3
4
5
6
7
8
// reading and writing text files

import	StdError, StdMaybe
from	StdFile				import class FileSystem
from	EdText				import :: Text
from	UtilNewlinesFile	import :: NewlineConvention
Diederik van Arkel's avatar
Diederik van Arkel committed
9
10
11
12

readText	:: !String !*env -> ((Error Text,NewlineConvention,Bool), !*env) | FileSystem env
writeText	:: !String !NewlineConvention !Text	!*env -> (Maybe String, !*env)	| FileSystem env