IdrisDoc: Data.Combinators.Applicative

Data.Combinators.Applicative

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

(<$>) : (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
(<*>) : (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
liftA2 : (b -> c -> d) -> (a -> b) -> (a -> c) -> a -> d
pure : a -> b -> a

Pure is just const, also known as the K combinator