libcspm-1.0.0: A library providing a parser, type checker and evaluator for CSPM.

Safe HaskellSafe-Inferred

CSPM.DataStructures.Literals

Documentation

data Literal Source

Constructors

Int Int

An integer. This is finite size, as per the FDR spec.

Bool Bool

A boolean.

Char Char

A character.

String String

A string.

Instances