Index of types


C
channel [Sosa.OUTPUT_MODEL]
The of the channels, channels can have up to 3 type-parameters too.
character [Sosa.MINIMALISTIC_MUTABLE_STRING]
character [Sosa.T_LENGTH_SUB_AND_SEARCH]
character [Sosa.UNSAFELY_MUTABLE]
character [Sosa.BASIC_STRING]
A string is a string of characters.
character [Sosa.List_of]
character [Sosa.Native_string]

R
result [Sosa]
The type result is a reusable version the classical Result.t type.

S
s [Sosa.Native_string]

T
t [Sosa.MINIMALISTIC_MUTABLE_STRING]
t [Sosa.T_LENGTH_SUB_AND_SEARCH]
t [Sosa.T_LENGTH_AND_COMPSUB]
t [Sosa.UNSAFELY_MUTABLE]
t [Sosa.BASIC_STRING]
The type of the string.
t [Sosa.BASIC_CHARACTER]
The type representing the character.
t [Sosa.NATIVE_CONVERSIONS]
The string type.
t [Sosa.Int_utf8_character]
t [Sosa.List_of]
t [Sosa.Native_string.T_length_and_compsub]
t [Sosa.Native_character]
thread [Sosa.OUTPUT_MODEL]
The type of the threads, the type parameters are there in case the user needs up to 3 of them.