@@ -10,11 +10,17 @@ infixr 0 <|
1010||| functions into a series of transformations, reading top
1111||| to bottom.
1212|||
13−||| [[1], [2], [3]] |> join |> map (* 2)
13+||| ```idris example
14+||| [[1], [2], [3]] |> join |> map (* 2)
15+||| ```
1416(|>) : a -> (a -> b) -> b
1517a |> f = f a
1618
1719
1820||| Backwards pipeline style function application, similar to $.
21+|||
22+||| ```idris example
23+||| unpack <| "hello" ++ "world"
24+||| ```
1925(<|) : (a -> b) -> a -> b
2026f <| a = f a