87 lines
2.1 KiB
Plaintext
87 lines
2.1 KiB
Plaintext
;; CONTRACT immediates
|
|
|
|
FUNCTION integer() : integer
|
|
RETURNR 42
|
|
|
|
FUNCTION neg_integer() : integer
|
|
RETURNR -2374683271468723648732648736498712634876147
|
|
|
|
FUNCTION hex_integer() : integer
|
|
RETURNR 0x0deadbeef0
|
|
|
|
FUNCTION bool() : boolean
|
|
RETURNR true
|
|
|
|
FUNCTION bool_f() : boolean
|
|
RETURNR false
|
|
|
|
FUNCTION string() : string
|
|
RETURNR "Hello"
|
|
|
|
FUNCTION map() : {map, integer, boolean}
|
|
RETURNR {}
|
|
|
|
FUNCTION map2() : {map, integer, boolean}
|
|
RETURNR {1 => true}
|
|
|
|
FUNCTION map3() : {map, integer, boolean}
|
|
RETURNR {1 => true,
|
|
2 => false}
|
|
|
|
FUNCTION map4() : {map, integer, {map, string, boolean}}
|
|
RETURNR {1 => { "foo" => true, "bar" => false},
|
|
2 => {},
|
|
3 => { "foo" => false}}
|
|
|
|
FUNCTION nil() : {list, integer}
|
|
RETURNR []
|
|
|
|
FUNCTION list1() : {list, integer}
|
|
RETURNR [1]
|
|
|
|
FUNCTION list2() : {list, integer}
|
|
RETURNR [1, 2]
|
|
|
|
|
|
FUNCTION no_bits() : bits
|
|
RETURNR <>
|
|
|
|
FUNCTION all_bits() : bits
|
|
RETURNR !<>
|
|
|
|
FUNCTION some_bits() : bits
|
|
RETURNR <101010>
|
|
|
|
FUNCTION many_bits() : bits
|
|
RETURNR !<010101>
|
|
|
|
FUNCTION group_bits() : bits
|
|
RETURNR <1010 1010 0011 1001>
|
|
|
|
FUNCTION unit() : {tuple, []}
|
|
RETURNR ()
|
|
|
|
FUNCTION tuple() : {tuple, [integer, boolean, string, {tuple, [integer, integer]}]}
|
|
RETURNR (42, true, "FooBar", (1, 2))
|
|
|
|
|
|
FUNCTION address() : address
|
|
RETURNR @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
|
|
|
|
FUNCTION oracle() : oracle
|
|
RETURNR @ok_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
|
|
|
|
FUNCTION contract() : contract
|
|
RETURNR @ct_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
|
|
|
|
FUNCTION channel() : channel
|
|
RETURNR @ch_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
|
|
|
|
;; Option(integer) = NONE | SOME(integer)
|
|
FUNCTION variant_none() : {variant, [{tuple, []}, {tuple, [integer]}]}
|
|
RETURNR (| [0,1] | 0 | () |)
|
|
|
|
;; Option(integer) = NONE | SOME(integer)
|
|
FUNCTION variant_some() : {variant, [{tuple, []}, {tuple, [integer]}]}
|
|
RETURNR (| [0,1] | 1 | (42) |)
|