Expressions

Expressions occurr inside of tests, commands, preludes, and contracts. The list below is alphabetically sorted by the name of the concept, but this does not map to the syntax you may see as cleanly as declarations do.

• Statements
  • assert expression
  • let expression
• Complex expressions
  • Program application
  • condition expression
  • continue with expression
  • Delayed programs (Lambdas)
  • do .. end expression
  • for expression
    • Iteration form
    • Filter form
    • Nested form
  • force expression
  • foreign expression
  • handle expression
    • Example
      • Continuations
      • Returns
  • Holes
  • Command invocation
    • Postfix invocation
    • Prefix invocation
    • Binary invocation
    • Keyword invocation
    • Self-less keyword invocation
    • Precedence rules
    • Associativity rules
    • Partial invocation
  • perform expression
  • Pipe expressions
    • Self pipe
    • Generic pipe
  • Projection
  • return expression
    • In contracts
    • In effect handlers
  • self expression
  • Static types
  • Variable references
• Atomic expressions
  • Boolean literals
  • Floating point literals
  • Global references
  • Integer literals
  • Interpolation
  • lazy expression
  • List expression
  • new expression
  • Nothing literal
  • Record expressions
  • Text literals