Records

Basics

Records allow you to group logical sets of parameters to together. The syntax for defining a record is as follows:

record <name> where
  { <fieldName> : <fieldType>
  , ...
  , <fieldName> : <fieldType>
  }

For example, a record that defines a simple pair can be defined :

record Pair where
  { a : Real
  , b : Real
  }

A new instance of this record can be defined by providing a value for each of the record fields as follows:

myPair : Pair
myPair = { a = 1.0, b = 0.5 }

The fields can then be accessed via standard . notation, e.g.:

sumOf : Pair -> Real
sumOf pair = pair.a + pair.b