Skip to main content

Types

Basic types​

bool

Boolean type to represent truth values

string

String of characters type to represent textual values

nat

Natural type to represent long positive integers

int

Integer type to represent long integers

rational

Rational type to represent floating point values

date

Date type to represent ISO date values

duration

Duration type to represent difference of dates

bytes

Bytes type to represent any serialised value

tez

Tez type to represent an amount in tez currency

address

Address type to represent an account or contract address


List of all available types.

Conversion​

List of conversion functions

address_to_contract

Converts an address to contract

bytes_to_nat

Converts bytes to a natural

contract_to_address

Converts a contract to an address

int_to_date

Converts an integer to a date

int_to_nat

Converts an integer to natural

key_hash_to_contract

Converts a key hash to contract (without entrypoint)

key_to_address

Converts key to address

key_to_key_hash

Converts key to hash key

mutez_to_nat

Converts a mutez amount to natural

nat_to_bytes

Converts a natural to bytes

nat_to_string

Converts a natural to its string representation


Properties​

Comparable​

Comparable values have a natural order used to order elements in containers (set and map's key). Comparison operators < <= > and >= are available the order of two value.

All types are comparable except: big_map iterable_big_map bls12_381_fr bls12_381_g1 bls12_381_g2 contract lambda list map operation sapling_state sapling_transaction set ticket

Packable​

A packable value can be serialised with pack and deserialised with unpack.

All types are packable except: big_map iterable_big_map operation sapling_state ticket

Passable​

A passable value can be the parameter of an entrypoint, a lambda and (not inlined) function.

All types are passable except: operation

Storable​

A storable value may be a contract's storage element.

All types are storable except: contract operation