Casts

#import Builtin.Casts;

A builtin module defining casts between all of the builtin types

Functions

float(int)

@inline: 
cast :: float(x : int)

Converts an int to float

float(char)

@inline: 
cast :: float(x : char)

Converts a char to float

float(float)

@inline: 
cast :: float(x : float)

Identity cast for float

float(double)

@inline: 
cast :: float(x : double)

Converts a double to float

float(bool)

@inline: 
cast :: float(x : bool)

Converts a bool to float

double(int)

@inline: 
cast :: double(x : int)

Converts an int to double

double(char)

@inline: 
cast :: double(x : char)

Converts a char to double

double(float)

@inline: 
cast :: double(x : float)

Converts a float to double

double(double)

@inline: 
cast :: double(x : double)

Identity cast for double

double(bool)

@inline: 
cast :: double(x : bool)

Converts a bool to double

int(float)

@inline: 
cast :: int(x : float)

Converts a float to int, truncating decimal portion

int(double)

@inline: 
cast :: int(x : double)

Converts a double to int, truncating decimal portion

int(int)

@inline: 
cast :: int(x : int)

Identity cast for int

int(uint)

@inline: 
cast :: int(x : uint)

Converts an unsigned int to signed int

int(bool)

@inline: 
cast :: int(x : bool)

Converts a bool to int

uint(float)

@inline: 
cast :: uint(x : float)

Converts a float to unsigned int, truncating decimal portion

uint(double)

@inline: 
cast :: uint(x : double)

Converts a double to unsigned int, truncating decimal portion

uint(int)

@inline: 
cast :: uint(x : int)

Converts a signed int to unsigned int

uint(uint)

@inline: 
cast :: uint(x : uint)

uint(bool)

@inline: 
cast :: uint(x : bool)

Converts a bool to unsigned int

uint64(float)

@inline: 
cast :: uint64(x : float)

Converts a float to 64-bit unsigned int

uint64(double)

@inline: 
cast :: uint64(x : double)

Converts a double to 64-bit unsigned int

uint64(int)

@inline: 
cast :: uint64(x : int)

Converts an int to 64-bit unsigned int

uint64(uint)

@inline: 
cast :: uint64(x : uint)

Converts an unsigned int to 64-bit unsigned int

uint64(bool)

@inline: 
cast :: uint64(x : bool)

Converts a bool to 64-bit unsigned int

int64(float)

@inline: 
cast :: int64(x : float)

Converts a float to 64-bit signed int

int64(double)

@inline: 
cast :: int64(x : double)

Converts a double to 64-bit signed int

int64(int)

@inline: 
cast :: int64(x : int)

Converts an int to 64-bit signed int

int64(uint)

@inline: 
cast :: int64(x : uint)

Converts an unsigned int to 64-bit signed int

int64(bool)

@inline: 
cast :: int64(x : bool)

Converts a bool to 64-bit signed int

uint16(float)

@inline: 
cast :: uint16(x : float)

Converts a float to 16-bit unsigned int

uint16(double)

@inline: 
cast :: uint16(x : double)

Converts a double to 16-bit unsigned int

uint16(int)

@inline: 
cast :: uint16(x : int)

Converts an int to 16-bit unsigned int

uint16(uint)

@inline: 
cast :: uint16(x : uint)

Converts an unsigned int to 16-bit unsigned int

uint16(bool)

@inline: 
cast :: uint16(x : bool)

Converts a bool to 16-bit unsigned int

uint8(float)

@inline: 
cast :: uint8(x : float)

Converts a float to 8-bit unsigned int

uint8(double)

@inline: 
cast :: uint8(x : double)

Converts a double to 8-bit unsigned int

uint8(int)

@inline: 
cast :: uint8(x : int)

Converts an int to 8-bit unsigned int

uint8(uint)

@inline: 
cast :: uint8(x : uint)

Converts an unsigned int to 8-bit unsigned int

uint8(bool)

@inline: 
cast :: uint8(x : bool)

Converts a bool to 8-bit unsigned int

char(int)

@inline: 
cast :: char(x : int)

Converts an int to char (truncates to 8 bits)

char(int64)

@inline: 
cast :: char(x : int64)

Converts an int64 to char (truncates to 8 bits)

char(int16)

@inline: 
cast :: char(x : int16)

Converts an int16 to char (truncates to 8 bits)

char(uint)

@inline: 
cast :: char(x : uint)

Converts a uint to char (truncates to 8 bits)

int(int64)

@inline: 
cast :: int(x : int64)

Converts an int64 to int (truncates to 32 bits)

uint64(int64)

@inline: 
cast :: uint64(x : int64)

Reinterprets an int64 as uint64

int64(uint64)

@inline: 
cast :: int64(x : uint64)

Reinterprets a uint64 as int64

int64(*char)

@inline: 
cast :: int64(x : *char)

Converts a *char pointer to int64