felix
latest
  • Language Reference Manual
  • Overview
  • Lexical Structure
  • Macros
  • Directives
  • Type System
  • Core Algebras
    • Product Types
    • Coproduct Types
      • Coproduct Specification
      • Anonymous Sum Types
      • Polymorphic Variants
      • Unions
    • 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 »
  • Coproduct Types
  • Edit on GitHub

Coproduct TypesΒΆ

Contents:

  • Coproduct Specification
  • Anonymous Sum Types
  • Polymorphic Variants
  • Unions
Next Previous

© Copyright 2018, John Skaller and others Revision 3fb47168.

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