Module

PointFree

Package
purescript-point-free
Repository
ursi/purescript-point-free

#(<.) Source

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

\f g x -> f (g x)

#(.>) Source

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

#compose2 Source

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

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

#(<..) Source

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

#compose2Flipped Source

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

#(..>) Source

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

#compose3 Source

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

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

#(<...) Source

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

#compose3Flipped Source

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

#(...>) Source

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

#compose4 Source

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

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

#(<....) Source

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

#compose4Flipped Source

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

#(....>) Source

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

#composeSecond Source

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

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

#(<~.) Source

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

#composeSecondFlipped Source

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

#(~.>) Source

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

#composeThird Source

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

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

#(<~~.) Source

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

#composeThirdFlipped Source

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

#(~~.>) Source

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

#composeFourth Source

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

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

#(<~~~.) Source

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

#composeFourthFlipped Source

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

#(~~~.>) Source

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

#compose2Second Source

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

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

#(<~..) Source

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

#compose2SecondFlipped Source

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

#(~..>) Source

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

#compose2Third Source

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

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

#(<~~..) Source

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

#compose2ThirdFlipped Source

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

#(~~..>) Source

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

#compose3Second Source

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

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

#(<~...) Source

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

#compose3SecondFlipped Source

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

#(~...>) Source

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

#applySecond Source

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

\f x y -> f y x

(flip)

#(~$) Source

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

#applySecondFlipped Source

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

#(~#) Source

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

#applyThird Source

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

\f x y z = f y z x

#(~~$) Source

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

#applyThirdFlipped Source

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

#(~~#) Source

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

#applyFourth Source

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

\f w x y z = f x y z w

#(~~~$) Source

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

#applyFourthFlipped Source

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

#(~~~#) Source

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

Modules
PointFree