Commit 94105ff0 authored by Ronny Wichers Schreur's avatar Ronny Wichers Schreur 🏘
Browse files

Renamed ShowDebug to Debug

parent bfa2e10f
......@@ -5,7 +5,7 @@
Ronny Wichers Schreur
ronny@cs.kun.nl
*/
definition module ShowDebug
definition module Debug
:: DebugShowFunction a :== a -> [{#Char}]
......@@ -17,7 +17,7 @@ debugAfter :: .a !(DebugShowFunction .a) !.b -> .b
debugValue :: !(DebugShowFunction .a) !.a -> .a
// generic show function
debugShow :: [DebugShowOption] .a -> [{#Char}]
debugShowWithOptions :: [DebugShowOption] .a -> [{#Char}]
:: DebugShowOption
= DebugMaxDepth !Int // default no limit
......
......@@ -5,7 +5,7 @@
Ronny Wichers Schreur
ronny@cs.kun.nl
*/
implementation module ShowDebug
implementation module Debug
import StdEnv
import Wrap, ShowWrapped
......@@ -62,8 +62,8 @@ MaxInt
(:-) a f
:== f a
debugShow :: [DebugShowOption] .a -> [{#Char}]
debugShow debugOptions debugValue
debugShowWithOptions :: [DebugShowOption] .a -> [{#Char}]
debugShowWithOptions debugOptions debugValue
= debugValue
:- wrapNode
:- pruneWrappedNode maxDepth maxBreadth
......
......@@ -2,7 +2,7 @@ implementation module RWSDebug
import Debug
show x
show
= debugShowWithOptions [DebugMaxChars 80, DebugMaxDepth 5]
(->>) :: !.a !.b -> .a
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment