idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-25 12:42:02 +03:00
Code Issues Projects Releases Wiki Activity

[ base ] Add a trace variant easily embeddable to point-free expr

Browse Source
This commit is contained in:
Denis Buzdalov 2022-04-13 19:11:17 +03:00 committed by G. Allais
parent b4662a8537
commit 71c68d8dcf
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
libs/base/Debug/Trace.idr
View File

@ -8,3 +8,11 @@ import PrimIO
export export
trace : (msg : String) -> (result : a) -> a trace : (msg : String) -> (result : a) -> a
trace x val = unsafePerformIO (do putStrLn x; pure val) trace x val = unsafePerformIO (do putStrLn x; pure val)
export %inline
traceValBy : (msgF : a -> String) -> (result : a) -> a
traceValBy f v = trace (f v) v
export %inline
traceVal : Show a => a -> a
traceVal = traceValBy show