on master help sign in
Control.Pipeline
20569c5Louis Pilfold
libs/contrib/Control/Pipeline.idrnew file+20
@@ -0,0 +1,20 @@
1+module Control.Pipeline
2+
3+infixl 9 |>
4+infixr 0 <|
5+
6+%access public export
7+
8+
9+||| Pipeline style function application, useful for chaining
10+||| functions into a series of transformations, reading top
11+||| to bottom.
12+|||
13+||| [[1], [2], [3]] |> join |> map (* 2)
14+(|>) : a -> (a -> b) -> b
15+a |> f = f a
16+
17+
18+||| Backwards pipeline style function application, similar to $.
19+(<|) : (a -> b) -> a -> b
20+f <| a = f a