felix
stable
  • 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 »
  • Coproduct Specification
  • Edit on GitHub

Coproduct SpecificationΒΆ

https://en.wikipedia.org/wiki/Coproduct

Next Previous

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

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