ioutil.dcl 1.14 KB
Newer Older
Diederik van Arkel's avatar
Diederik van Arkel committed
1
2
3
definition module ioutil

import StdOverloaded, StdBool, StdList
Diederik van Arkel's avatar
Diederik van Arkel committed
4
import StdPicture, StdPSt, StdId, StdIOCommon, StdFile//, StdFileSelect
Diederik van Arkel's avatar
Diederik van Arkel committed
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
from commondef import unzip3,unzip4


instance toString FontDef
instance accScreenPicture (PSt .l)
instance FileEnv Files

safeOpenFixedFont		:: !FontDef !*Picture -> (Font,*Picture);
altScrollFunction		:: !Direction !Int -> ScrollFunction
alignScrollFunction		:: !Direction !Int -> ScrollFunction
filterReturnKeys		:: KeyboardStateFilter
escFilter				:: KeyboardStateFilter
toMark					:: !Bool -> MarkState
toSelect				:: !Bool -> SelectState
noPS					:: .(.a -> .b) !(.a,.c) -> (.b,.c)
drawLeft				:: !.Point2 a !*Picture -> *Picture | toString a
drawCenter				:: !.Point2 a !*Picture -> *Picture | toString a
drawRight				:: !.Point2 a !*Picture -> *Picture | toString a
Diederik van Arkel's avatar
Diederik van Arkel committed
23
setCheckControlItem		:: !Id .Index !.Bool !*(IOSt .l) -> *(IOSt .l)
Diederik van Arkel's avatar
Diederik van Arkel committed
24
25
26
27
28
29
zip3					:: ![.a] [.b] [.c] -> [(.a,.b,.c)]
getPenAttributeFont		:: ![.PenAttribute] -> FontDef;
getPenAttributeColour	:: ![.PenAttribute] -> Colour;
getPenAttributeBack		:: ![.PenAttribute] -> Colour;
seqmap					:: (.a -> .(.b -> .b)) ![.a] !.b -> .b;
notEmpty s				:== not (isEmpty s)