let

local declarations with let ... in ...

Let (Binding _ x _  Nothing  _ r) e      ~  let x     = r in e
Let (Binding _ x _ (Just t ) _ r) e      ~  let x : t = r in e

The difference between

let x = a    let y = b in e

and

let x = a in let y = b in e

is only an additional Note around Let "y" … in the second example. See MultiLet for a representation of let-blocks that mirrors the source code more closely.

let bs in e.

ex: let Ds in e, missing body when parsing do-notation let

let x = t in u

Recursive let-binding

Parses an alphabetic Unicode characters (lower-case, upper-case and title-case letters, plus letters of caseless scripts and modifiers letters according to isAlpha). Returns the parsed character.

Match a letter, in the ASCII encoding.

Match a letter, in the ISO-8859-15 encoding.

Parse a letter, as recognised by isAlpha.

Parse an alphabetic character: lower-case or upper-case.