Outils pour utilisateurs
kmelia:types:primitive
Table des matières
Primitive Types
ANYTYPE
primitive operators
< : ANYTYPE;ANYTYPE -> Boolean . <> : ANYTYPE;ANYTYPE -> Boolean . = : ANYTYPE;ANYTYPE -> Boolean . > : ANYTYPE;ANYTYPE -> Boolean . <= : ANYTYPE;ANYTYPE -> Boolean . >= : ANYTYPE;ANYTYPE -> Boolean .
primitive functions
I/O defaults
primitive functions
#----------- I/O ----------- FUNCTION display : String -> Void . FUNCTION write : String -> Void . FUNCTION writeln : String -> Void . FUNCTION readBoolean : Boolean -> Void . FUNCTION readString : String -> Void . FUNCTION readInt : Integer -> Void . FUNCTION readChar : Char -> Void .
Messages defaults
primitive functions
#----------- Messages ----------- FUNCTION msg : ANYTYPE -> Void . # standard message primitive
Integer
primitive operators
+ : Integer;Integer -> Integer . - : Integer;Integer -> Integer . / : Integer;Integer -> Integer . * : Integer;Integer -> Integer .
primitive functions
FUNCTION anyInt : -> Integer .
Boolean
primitive operators
&&,and : Boolean;Boolean -> Boolean . ||,or : Boolean;Boolean -> Boolean . xor : Boolean;Boolean -> Boolean . implies : Boolean;Boolean -> Boolean . equiv : Boolean;Boolean -> Boolean . not,!,~ : Boolean -> Boolean .
primitive functions
String
primitive operators
primitive functions
Char
primitive operators
primitive functions
Basic cast
FUNCTION asString : String -> String . FUNCTION asString : Boolean -> String . FUNCTION asString : Integer -> String . FUNCTION asString : Char -> String . FUNCTION asString : setOf LIKE -> String .
kmelia/types/primitive.txt · Dernière modification: 2018/04/03 16:59 (modification externe)
Outils de la page
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Share Alike 4.0 International
