IdrisDoc: Control.Pipeline

# Control.Pipeline

(<|) : (a -> b) -> a -> b

  Backwards pipeline style function application, similar to $.

      unpack <| "hello" ++ "world"

  Fixity
    Left associative, precedence 0
(|>) : a -> (a -> b) -> b

  Pipeline style function application, useful for chaining
  functions into a series of transformations, reading top
  to bottom.

      [[1], [2], [3]] |> join |> map (* 2)

  Fixity
    Left associative, precedence 9