Pantagruel v0.3.0 Pantagruel.Values.Lambda View Source
A function in an evaluated Pantagruel program, either as introduced in a header declaration or referred to as an anonymous function inside of a section body.
The type
of a lambda is either :function
, which is a normal
function from 0 or more arguments with an optional return type, or
:constructor
, which defines the construction function for complex
types such as List[Int] or of objects with named fields.
The evaluation behavior of constructors is such that they also bind their codomain into scope; functions must have their codomains defined elsewhere.
Link to this section Summary
Functions
Given a function declaration, build a Lambda struct
Link to this section Functions
Given a function declaration, build a Lambda struct.