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 a b x y. (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 a b x y. (x -> y -> a) -> (a -> b) -> x -> y -> b

#(..>) Source

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

#compose3 Source

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)

#(<...) Source

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

#compose3Flipped Source

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

#(...>) Source

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

#compose4 Source

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)

#(<....) Source

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

#compose4Flipped Source

compose4Flipped :: forall a b w x y z. (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 a b x y. (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 a b x y. (y -> b) -> (x -> b -> a) -> x -> y -> a

#(~.>) Source

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

#composeThird Source

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)

#(<~~.) Source

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

#composeThirdFlipped Source

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

#(~~.>) Source

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

#composeFourth Source

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)

#(<~~~.) Source

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

#composeFourthFlipped Source

composeFourthFlipped :: forall a b w x y z. (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 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)

#(<~..) Source

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

#compose2SecondFlipped Source

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

#(~..>) Source

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

#compose2Third Source

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)

#(<~~..) Source

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

#compose2ThirdFlipped Source

compose2ThirdFlipped :: forall a b w x y z. (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 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)

#(<~...) Source

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

#compose3SecondFlipped Source

compose3SecondFlipped :: forall a b w x y z. (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 x y a. (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 x y a. x -> (y -> x -> a) -> y -> a

#(#~) Source

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

#applyThird Source

applyThird :: forall x y z a. (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 x y z a. x -> (y -> z -> x -> a) -> y -> z -> a

#(#~~) Source

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

#applyFourth Source

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

#(~~~$) Source

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

#applyFourthFlipped Source

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

#(#~~~) Source

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

Modules
PointFree