intensional-datatys-0.2.0.0: A GHC Core plugin for intensional datatype refinement checking
Source
Contents
Index
Safe Haskell
None
Language
Haskell2010
Intensional.Ubiq
Documentation
debugging
::
Bool
Source
#
traceSpan
::
SrcSpan
->
String
Source
#