Searched refs:updateCreationThreshold (Results 1 – 3 of 3) sorted by relevance
9 updateCreationThreshold :: Int -> UnfoldingOpts -> UnfoldingOpts
27 updateCreationThreshold, updateUseThreshold,127 updateCreationThreshold :: Int -> UnfoldingOpts -> UnfoldingOpts128 updateCreationThreshold n opts = opts { unfoldingCreationThreshold = n } function
2771 (intSuffix (\n d -> d { unfoldingOpts = updateCreationThreshold n (unfoldingOpts d)}))