Debug.dcl 515 Bytes
Newer Older
Ronny Wichers Schreur's avatar
Ronny Wichers Schreur committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
definition module Debug

:: DebugShowFunction a :== !a -> [{#Char}]

debugBefore :: !.a !(DebugShowFunction .a) .b -> .b
debugAfter :: !.a !(DebugShowFunction .a) !.b -> .b
debugValue :: !(DebugShowFunction .a) !.a -> .a

debugShow :: DebugShowFunction .a
debugShowWithOptions :: [DebugShowOption] -> DebugShowFunction .a

:: DebugShowOption 
	=	DebugMaxDepth !Int			// default MaxInt
	|	DebugMaxBreadth !Int		// default MaxInt
	|	DebugMaxChars !Int			// default MaxInt
	|	DebugTerminator !{#Char}	// default "\n"