Searched refs:updateDictDiscount (Results 1 – 3 of 3) sorted by relevance
12 updateDictDiscount :: Int -> UnfoldingOpts -> UnfoldingOpts
28 updateFunAppDiscount, updateDictDiscount,136 updateDictDiscount :: Int -> UnfoldingOpts -> UnfoldingOpts137 updateDictDiscount n opts = opts { unfoldingDictDiscount = n } function
2777 (intSuffix (\n d -> d { unfoldingOpts = updateDictDiscount n (unfoldingOpts d)}))