Cyclone User's Manual

• Introduction
  • Acknowledgements
• Cyclone for C Programmers
  • Getting Started
  • Pointers
  • Regions
  • Arrays
  • Structs
  • Unions
  • C++, GCC and C99 Additions
  • Additional Features of Cyclone
  • Exceptions
  • Let Declarations and Pattern Matching
  • Subtyping
  • Polymorphic Functions
  • Polymorphic Data Structures
  • Abstract and Existential Types
  • Restrictions
• Pointers
  • Pointer Subtyping
  • Pointer Coercions
  • Default Region Qualifiers
  • Static Expression Bounds
• Tagged Unions and Datatypes
  • Tagged Unions
  • Datatypes
  • Extensible Datatypes
• Pattern Matching
  • Let Declarations
  • Pattern Forms
  • Switch Statements
• Type Inference
• Polymorphism
• Memory Management Via Regions
  • Introduction
  • Allocation
  • Common Uses
  • Type-Checking Regions
• Pointers with Restricted Aliasing
  • Introduction
  • Allocation and Freeing
  • Unique Pointers
  • Reference-counted Pointers
  • Qualifier Polymorphism
  • Aliasing Unique Pointers
  • Dynamic Regions
  • Defaults and Shorthands
  • The Outlives Relation for Reaps
  • Reap Allocator Implementation
• Namespaces
• Varargs
• Definite Assignment
• Advanced Features
  • Existential Types
  • The Truth About Effects, Capabilities, and Region Bounds
  • Interprocedural Memory Initialization
• Porting C code to Cyclone
  • Semi-Automatic Porting
  • Manually Translating C to Cyclone
  • Interfacing to C
• Frequently Asked Questions
• Libraries
  • C Libraries
  • <array.h>
  • <bitvec.h>
  • <buffer.h>
  • <core.h>
  • <dict.h>
  • <filename.h>
  • <fn.h>
  • <graph.h>
  • <hashtable.h>
  • <iter.h>
  • <list.h>
  • <pp.h>
  • <queue.h>
  • <rope.h>
  • <set.h>
  • <slowdict.h>
  • <xarray.h>
• Grammar
• Installing Cyclone
• Tools
  • The compiler
  • The lexer generator
  • The parser generator
  • The allocation profiler, aprof
  • The C interface tool, buildlib
• Index

This document was translated from L^AT_EX by H^EV^EA and H^AC^HA.