graph-trace-0.1.0.2: Trace the call graph of a program
Safe HaskellSafe-Inferred
LanguageHaskell2010

Graph.Trace.Internal.RuntimeRep

Synopsis
  • type Lev (a :: TYPE rep) = DummyConstraint => a

Documentation

type Lev (a :: TYPE rep) = DummyConstraint => a Source #

Allows for a levity polymorphic value to be used in an argument position. This trick was taken from Ed Kmett's unboxed library.