blob: 2e0af9f7f1ac06573c6c480f80ed2c6dcbf36002 (
plain) (
blame)
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"
|
