Module CPC.Instrumentation

Summary of exported operations:

startTransform
                  :: Int -> CurryProg -> [String] -> Bool -> Bool -> FM (String,String) Int -> (CurryProg,(Int,[(Int,((Int,Int),(Int,Int)),BoxLabel)]))

transExp
                  :: Opts -> Bool -> CExpr -> (Int,[(Int,((Int,Int),(Int,Int)),BoxLabel)]) -> (CExpr,(Int,[(Int,((Int,Int),(Int,Int)),BoxLabel)]))

Exported datatypes:

Opts

Constructors:

Exported operations:

startTransform :: Int -> CurryProg -> [String] -> Bool -> Bool -> FM (String,String) Int -> (CurryProg,(Int,[(Int,((Int,Int),(Int,Int)),BoxLabel)]))

transExp :: Opts -> Bool -> CExpr -> (Int,[(Int,((Int,Int),(Int,Int)),BoxLabel)]) -> (CExpr,(Int,[(Int,((Int,Int),(Int,Int)),BoxLabel)]))