Commit 7eefcc97 authored by Bastian Holst's avatar Bastian Holst
Browse files

Add inteteger argument to splitLeft/splitRight

parent 7266e455
......@@ -100,17 +100,17 @@ external_d_C_splitLimitDepth i _ _ = Strategy $ return . (splitLimitDepth $ from
external_d_C_splitAlternating :: CP.C_Int -> Cover -> ConstStore -> C_Strategy a
external_d_C_splitAlternating i _ _ = Strategy $ return . (splitAlternating $ fromCurry i)
external_d_C_splitRight :: Cover -> ConstStore -> C_Strategy a
external_d_C_splitRight _ _ = Strategy $ return . splitRight
external_d_C_splitRight :: CP.C_Int -> Cover -> ConstStore -> C_Strategy a
external_d_C_splitRight i _ _ = Strategy $ return . (splitRight $ fromCurry i)
external_d_C_splitRight' :: Cover -> ConstStore -> C_Strategy a
external_d_C_splitRight' _ _ = Strategy $ return . splitRight'
external_d_C_splitRight' :: CP.C_Int -> Cover -> ConstStore -> C_Strategy a
external_d_C_splitRight' i _ _ = Strategy $ return . (splitRight' $ fromCurry i)
external_d_C_splitLeft :: Cover -> ConstStore -> C_Strategy a
external_d_C_splitLeft _ _ = Strategy $ return . splitLeft
external_d_C_splitLeft :: CP.C_Int -> Cover -> ConstStore -> C_Strategy a
external_d_C_splitLeft i _ _ = Strategy $ return . (splitLeft $ fromCurry i)
external_d_C_splitLeft' :: Cover -> ConstStore -> C_Strategy a
external_d_C_splitLeft' _ _ = Strategy $ return . splitLeft'
external_d_C_splitLeft' :: CP.C_Int -> Cover -> ConstStore -> C_Strategy a
external_d_C_splitLeft' i _ _ = Strategy $ return . (splitLeft' $ fromCurry i)
external_d_C_splitPower :: Cover -> ConstStore -> C_Strategy a
external_d_C_splitPower _ _ = Strategy $ return . splitPower
......
......@@ -95,16 +95,16 @@ splitAlternating external
splitPower :: Strategy a
splitPower external
splitRight :: Strategy a
splitRight :: Int -> Strategy a
splitRight external
splitRight' :: Strategy a
splitRight' :: Int -> Strategy a
splitRight' external
splitLeft :: Strategy a
splitLeft :: Int -> Strategy a
splitLeft external
splitLeft' :: Strategy a
splitLeft' :: Int -> Strategy a
splitLeft' external
--- Parallel breadth-first strategy.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment