Helios language/ Builtins/


A type class that matches a type with the following interface:

a.value -> Value

Implicitly all automatic data type methods are also matched: ==, !=, from_data and serialize.

This type class is implemented by TxInput, TxOutput and Value. Value::sum() uses this type class to be able to sum the Value contained in a list of any of these types.