app -package:brick

an application expression, see related appS
app f xs ==> f(xs)
Application of expressions by juxtaposition.
an expression application, see related appS
app f xs ==> f(xs)
Applies a monomorphic function to the first element of an n-ary tuple that matches the type of the argument of the function.
>>> app not ('d',True)
('d',False)
Sometimes it is necessary to specify the result type, such that the function becomes monomorphic >>> app (+1) (True,5) :: (Bool,Integer) (True,6) One may also use appPoly, which doesn't require specifying the result type. However it can only apply functions to the first element of an n-ary tuple.
An alias for <*>.
A type application. For instance,
typeRep @(Maybe Int) === App (typeRep @Maybe) (typeRep @Int)
Note that this will also match a function type,
typeRep @(Int# -> Char)
===
App (App arrow (typeRep @Int#)) (typeRep @Char)
where arrow :: TypeRep ((->) :: TYPE IntRep -> Type -> Type).
ordinary application
Does a pandoc conversion based on command-line options.
App f a                                  ~  f a