PointFree

Operator alias for Control.Semigroupoid.compose (left-associative / precedence 9)

\f g x -> f (g x)

Operator alias for Control.Semigroupoid.composeFlipped (right-associative / precedence 9)

compose2 :: forall a b x y. (a -> b) -> (x -> y -> a) -> x -> y -> b

\f g x y -> f (g x y)

Operator alias for PointFree.compose2 (left-associative / precedence 9)

compose2Flipped :: forall a b x y. (x -> y -> a) -> (a -> b) -> x -> y -> b

Operator alias for PointFree.compose2Flipped (right-associative / precedence 9)

compose3 :: forall a b x y z. (a -> b) -> (x -> y -> z -> a) -> x -> y -> z -> b

\f g x y z -> f (g x y z)

Operator alias for PointFree.compose3 (left-associative / precedence 9)

compose3Flipped :: forall a b x y z. (x -> y -> z -> a) -> (a -> b) -> x -> y -> z -> b

Operator alias for PointFree.compose3Flipped (right-associative / precedence 9)

compose4 :: forall a b w x y z. (a -> b) -> (w -> x -> y -> z -> a) -> w -> x -> y -> z -> b

\f g w x y z -> f (g w x y z)

Operator alias for PointFree.compose4 (left-associative / precedence 9)

compose4Flipped :: forall a b w x y z. (w -> x -> y -> z -> a) -> (a -> b) -> w -> x -> y -> z -> b

Operator alias for PointFree.compose4Flipped (right-associative / precedence 9)

composeSecond :: forall a b x y. (x -> b -> a) -> (y -> b) -> x -> y -> a

\f g x y -> f x (g y)

Operator alias for PointFree.composeSecond (left-associative / precedence 9)

composeSecondFlipped :: forall a b x y. (y -> b) -> (x -> b -> a) -> x -> y -> a

Operator alias for PointFree.composeSecondFlipped (right-associative / precedence 9)

composeThird :: forall a b x y z. (x -> y -> b -> a) -> (z -> b) -> x -> y -> z -> a

\f g x y z -> f x y (g z)

Operator alias for PointFree.composeThird (left-associative / precedence 9)

composeThirdFlipped :: forall a b x y z. (z -> b) -> (x -> y -> b -> a) -> x -> y -> z -> a

Operator alias for PointFree.composeThirdFlipped (right-associative / precedence 9)

composeFourth :: forall a b w x y z. (w -> x -> y -> b -> a) -> (z -> b) -> w -> x -> y -> z -> a

\f g w x y z -> f w x y (g z)

Operator alias for PointFree.composeFourth (left-associative / precedence 9)

composeFourthFlipped :: forall a b w x y z. (z -> b) -> (w -> x -> y -> b -> a) -> w -> x -> y -> z -> a

Operator alias for PointFree.composeFourthFlipped (right-associative / precedence 9)

compose2Second :: forall a b x y z. (x -> b -> a) -> (y -> z -> b) -> x -> y -> z -> a

\f g x y z -> f x (g y z)

Operator alias for PointFree.compose2Second (left-associative / precedence 9)

compose2SecondFlipped :: forall a b x y z. (y -> z -> b) -> (x -> b -> a) -> x -> y -> z -> a

Operator alias for PointFree.compose2SecondFlipped (right-associative / precedence 9)

compose2Third :: forall a b w x y z. (w -> x -> b -> a) -> (y -> z -> b) -> w -> x -> y -> z -> a

\f g w x y z -> f w x (g y z)

Operator alias for PointFree.compose2Third (left-associative / precedence 9)

compose2ThirdFlipped :: forall a b w x y z. (y -> z -> b) -> (w -> x -> b -> a) -> w -> x -> y -> z -> a

Operator alias for PointFree.compose2ThirdFlipped (right-associative / precedence 9)

compose3Second :: forall a b w x y z. (w -> b -> a) -> (x -> y -> z -> b) -> w -> x -> y -> z -> a

\f g w x y z -> f w (g x y z)

Operator alias for PointFree.compose3Second (left-associative / precedence 9)

compose3SecondFlipped :: forall a b w x y z. (x -> y -> z -> b) -> (w -> b -> a) -> w -> x -> y -> z -> a

Operator alias for PointFree.compose3SecondFlipped (left-associative / precedence 9)

applySecond :: forall x y a. (y -> x -> a) -> x -> y -> a

\f x y -> f y x

(flip)

Operator alias for PointFree.applySecond (left-associative / precedence 8)

applySecondFlipped :: forall x y a. x -> (y -> x -> a) -> y -> a

Operator alias for PointFree.applySecondFlipped (right-associative / precedence 8)

applyThird :: forall x y z a. (y -> z -> x -> a) -> x -> y -> z -> a

\f x y z -> f y z x

Operator alias for PointFree.applyThird (left-associative / precedence 8)

applyThirdFlipped :: forall x y z a. x -> (y -> z -> x -> a) -> y -> z -> a

Operator alias for PointFree.applyThirdFlipped (right-associative / precedence 8)

applyFourth :: forall w x y z a. (x -> y -> z -> w -> a) -> w -> x -> y -> z -> a

\f w x y z -> f x y z w

Operator alias for PointFree.applyFourth (left-associative / precedence 8)

applyFourthFlipped :: forall w x y z a. w -> (x -> y -> z -> w -> a) -> x -> y -> z -> a

Operator alias for PointFree.applyFourthFlipped (right-associative / precedence 8)