IdrisDoc: Control.Pipeline

Control.Pipeline

(|>) : 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
(<|) : (a -> b) -> a -> b

Backwards pipeline style function application, similar to $.

unpack <| "hello" ++ "world"
Fixity
Left associative, precedence 0