Types

PureScript ships with a few type facilities to help us deal with types. Basically, we have:

• Type Alias;

• Data Type;

• Algebraic Data Types (Product Types and Coproduct or Sum Types);

• New Type;

See their related pages for more details.

PureScript

• Char and String Types
  • Char
  • String
  • Unicode
    • Char
    • String
• Data Types
  • Product and Coproduct types
  • Type Variables
  • :kind
  • More examples
• Number Types
  • Typing a number
  • Negative Numbers
  • References