felix
stable
  • Language Reference Manual
  • Overview
  • Lexical Structure
  • Macros
  • Directives
  • Type System
  • Core Algebras
    • Product Types
      • Product Specification
      • Tuples
      • Records
      • PolyRecords
      • Structures
    • Coproduct Types
    • Compact Linear Types
    • Pointer Types
    • Function Types
    • Subtyping
  • Definitions
  • Expression Syntax
  • Pattern Matching
  • Statements
  • Library Algebras
  • Data Types
  • Fibres
  • Pre-emptive Threads
  • Representations
felix
  • Docs »
  • Core Algebras »
  • Product Types
  • Edit on GitHub

Product TypesΒΆ

Contents:

  • Product Specification
  • Tuples
  • Records
  • PolyRecords
  • Structures
Next Previous

© Copyright 2018, John Skaller and others Revision 14cec89c.

Built with Sphinx using a theme provided by Read the Docs.