@@ -0,0 +1,26 @@
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+||| ```idris example
14+||| [[1], [2], [3]] |> join |> map (* 2)
15+||| ```
16+(|>) : a -> (a -> b) -> b
17+a |> f = f a
18+
19+
20+||| Backwards pipeline style function application, similar to $.
21+|||
22+||| ```idris example
23+||| unpack <| "hello" ++ "world"
24+||| ```
25+(<|) : (a -> b) -> a -> b
26+f <| a = f a