app package:ghc-lib-parser

an expression application, see related appS

app f xs ==> f(xs)

Given a Type and a list of argument types to which the Type is applied, determine each argument's visibility (Inferred, Specified, or Required). Most of the time, the arguments will be Required, but not always. Consider f :: forall a. a -> Type. In f Type Bool, the first argument (Type) is Specified and the second argument (Bool) is Required. It is precisely this sort of higher-rank situation in which appTyForAllTyFlags comes in handy, since f Type Bool would be represented in Core using AppTys. (See also #15792).

Determines the type resulting from applying an expression with given type

A statement application, see the expression form app

The computation appendFile file str function appends the string str, to the file file. Note that writeFile and appendFile write a literal string to a file. To write a value of any printable type, as with print, use the show function to convert the value to a string first.

main = appendFile "squares" (show [(x,x*x) | x <- [0,0.1..2]])

Convert the QuoteWrapper into a normal HsWrapper which can be used to apply its contents.