Matchers

bool

(match [#t #f] [bool bool] {[[,#t ,#f] #t] [_ #f]});=>#t

char

(match 'a' char {[,'a' #t] [_ #f]});=>#t

integer

(match 10 integer {[,10 #t] [_ #f]});=>#t

float

(match 0.1 float {[,0.1 #t] [_ #f]});=>#t

Basics

id

(id 1);=>1

fst

(fst [1 2]);=>1

snd

(snd [1 2]);=>2

compose

((compose fst snd) [[1 2] 3]);=>2

compose3

((compose3 fst snd fst) [[1 [2 3]] 4]);=>2

eq?/m

(eq?/m integer 1 1);=>#t

Booleans

and

[(and #t #t) (and #t #f) (and #f #t) (and #f #f)];=>[#t #f #f #f]

or

[(or #t #t) (or #t #f) (or #f #t) (or #f #f)];=>[#t #t #t #f]

not

[(not #t) (not #f)];=>[#f #t]

Unordered Pair

unordered-pair

(match [1 2] (unordered-pair integer) {[[,2 ,1] "OK"]});=>"OK"

What to do next...

Back to Home