(a -> a) -> (a -> Bool) -> a -> a

until :: (a -> Bool) -> (a -> a) -> a -> a
base Prelude
until p f yields the result of applying f until p holds.
extT :: (Typeable a, Typeable b) => (a -> a) -> (b -> b) -> a -> a
syb Data.Generics.Aliases
Extend a generic transformation by a type-specific case
(.) :: (b -> c) -> (a -> b) -> a -> c
base Prelude, base Data.Function
Function composition.
(-|) :: (a -> b) -> Strategy b -> (b -> c) -> (a -> c)
parallel Control.Parallel.Strategies
Sequential inverse function composition, for those who read their programs from left to right. The result of the first function is evaluated using the given strategy, and then given to the second function.
(-||) :: (a -> b) -> Strategy b -> (b -> c) -> (a -> c)
parallel Control.Parallel.Strategies
Parallel inverse function composition, for those who read their programs from left to right. The result of the first function is evaluated using the given strategy, in parallel with the application of the second function.
(.|) :: (b -> c) -> Strategy b -> (a -> b) -> (a -> c)
parallel Control.Parallel.Strategies
Sequential function composition. The result of the second function is evaluated using the given strategy, and then given to the first function.
(.||) :: (b -> c) -> Strategy b -> (a -> b) -> (a -> c)
parallel Control.Parallel.Strategies
Parallel function composition. The result of the second function is evaluated using the given strategy, in parallel with the application of the first function.
extQ :: (Typeable a, Typeable b) => (a -> q) -> (b -> q) -> a -> q
syb Data.Generics.Aliases
Extend a generic query by a type-specific case