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 #

tracePrettyDefs :: Var v => PrettyPrintEnv -> Bool -> [(Reference, Term v)] -> [(Reference, Term v)] Source #

tracePrettyCodes :: Bool -> [(Reference, Code)] -> [(Reference, Code)] Source #

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

tracePrettyRGroup :: Var v => Reference -> Bool -> SuperGroup v -> SuperGroup v Source #

tracePrettyRPGroup :: Var v => Reference -> (SuperGroup v -> Bool) -> SuperGroup v -> SuperGroup v Source #

tracePrettyGroups :: Var v => Bool -> Map Reference (SuperGroup v) -> Map Reference (SuperGroup v) Source #

tracePrettyNormal :: Var v => Bool -> ANormal v -> ANormal v Source #

module Debug.Trace