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)
#compose2Flipped Source
compose2Flipped :: forall y x b a. (x -> y -> a) -> (a -> b) -> x -> y -> b
#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)
#compose3Flipped Source
compose3Flipped :: forall z y x b a. (x -> y -> z -> a) -> (a -> b) -> x -> y -> z -> b
#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)
#compose4Flipped Source
compose4Flipped :: forall z y x w b a. (w -> x -> y -> z -> a) -> (a -> b) -> w -> x -> y -> z -> b
#composeSecond Source
composeSecond :: forall y x b a. (x -> b -> a) -> (y -> b) -> x -> y -> a
\f g x y -> f x (g y)
#composeSecondFlipped Source
composeSecondFlipped :: forall y x b a. (y -> b) -> (x -> b -> a) -> x -> y -> a
#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)
#composeThirdFlipped Source
composeThirdFlipped :: forall z y x b a. (z -> b) -> (x -> y -> b -> a) -> x -> y -> z -> a
#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)
#composeFourthFlipped Source
composeFourthFlipped :: forall z y x w b a. (z -> b) -> (w -> x -> y -> b -> a) -> w -> x -> y -> z -> a
#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)
#compose2SecondFlipped Source
compose2SecondFlipped :: forall z y x b a. (y -> z -> b) -> (x -> b -> a) -> x -> y -> z -> a
#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)
#compose2ThirdFlipped Source
compose2ThirdFlipped :: forall z y x w b a. (y -> z -> b) -> (w -> x -> b -> a) -> w -> x -> y -> z -> a
#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)
#compose3SecondFlipped Source
compose3SecondFlipped :: forall z y x w b a. (x -> y -> z -> b) -> (w -> b -> a) -> w -> x -> y -> z -> a
#applySecondFlipped Source
applySecondFlipped :: forall a y x. x -> (y -> x -> a) -> y -> a
#applyThird Source
applyThird :: forall a z y x. (y -> z -> x -> a) -> x -> y -> z -> a
\f x y z = f y z x
#applyThirdFlipped Source
applyThirdFlipped :: forall a z y x. x -> (y -> z -> x -> a) -> y -> z -> a
#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
#applyFourthFlipped Source
applyFourthFlipped :: forall a z y x w. w -> (x -> y -> z -> w -> a) -> x -> y -> z -> a
- Modules
- PointFree