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
Read the Docs
v: latest
Versions
latest
stable
Downloads
pdf
html
epub
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.