IdrisDoc: Data.Combinators.Applicative

# Data.Combinators.Applicative

Enable applicative-style syntax (Mostly f <$> g <*> h and idiom brackets)
for function composition:

pure : a -> b -> a

  Pure is just const, also known as the K combinator

liftA2 : (b -> c -> d) -> (a -> b) -> (a -> c) -> a -> d
(<*>) : (a -> b -> c) -> (a -> b) -> a -> c

  Starling, as named in "To Mock a Mockingbird". This is the S combinator.
  Equivalent to `<*>` on the Reader monad (`(->) e` in Haskell).
  See http://code.jsoftware.com/wiki/Vocabulary/hook.

  Fixity
    Left associative, precedence 3
(<$>) : (b -> c) -> (a -> b) -> a -> c

  `map` is (.), but isn't here to discourage that use of the syntax.
  `foo <$> bar <*> baz` applies `foo` to the results of `bar` and `baz`,
  and generalizes to multiple arguments.

  Fixity
    Left associative, precedence 4