TeSSLa Standard Library for TeSSLa 1.2.1

module Types

Fundamental types and primitive constants

ANCHOR Type Bool

Bool

A Boolean can be either true or false

ANCHOR Type Events

Events[T]

Basic type for streams

ANCHOR Type Float

Float

Float. The data range depends on the TeSSLa engine. The TeSSLa software backend uses a 64-bit IEEE-754 floating point number

ANCHOR Type Int

Int

Integer. The maximal and minimal values depend on the TeSSLa engine. The TeSSLa software backend uses BigInt, i.e. every integer can be represented

ANCHOR Type String

String

String can store arbitrary long character sequences

ANCHOR Type Unit

Unit

() is the only value of type Unit, i.e. this type can be used to represent events without values.

ANCHOR Annotation @raw

@raw

An annotation used to specify that an output stream should be printed in a raw format, only containing the event value without timestamp or stream name

ANCHOR false

false: Bool

A Boolean value representing that a given proposition is false

def false: Bool = extern("false")

ANCHOR true

true: Bool

A Boolean value representing that a given proposition is true

def true: Bool = extern("true")