Documentation

traceComb :: (Show clos, Show comb) => Bool -> Word64 -> GComb clos comb -> Bool Source #

traceCombs :: Word64 -> Bool -> EnumMap Word64 Comb -> EnumMap Word64 Comb Source #

tracePretty :: Var v => PrettyPrintEnv -> Bool -> Term v -> Term v Source #

tracePrettyGroup :: Var v => Word64 -> Bool -> SuperGroup v -> SuperGroup v Source #

module Debug.Trace