The Egison Programming Language

Collection Core Library Functions
Matchers	`list` `sorted-list` `multiset` `set`
Lists	`nth` `take` `drop` `take-and-drop` `take-while` `drop-while` `cons` `car` `cdr` `rac` `rdc` `length` `map` `map2` `filter` `zip` `lookup` `foldr` `foldl` `scanl` `append` `concat` `reverse` `intersperse` `intercalate` `split` `split/m` `find-cycle` `find-cycle/m` `repeat` `repeat1` `all` `any` `from` `between`
Multisets	`add` `add/m` `delete-first` `delete-first/m` `delete` `delete/m` `difference` `difference/m` `include?` `include?/m` `union` `union/m` `intersect` `intersect/m` `member?` `member?/m` `count` `count/m` `frequency` `frequency/m`
Sets	`unique` `unique/m`

Matchers

list: (match {1 2 3} (list integer) {[,{@{@{1}} @{2 @{3}}} #t] [_ #f]});=>#t (match {} (list integer) {[<nil> #t] [_ #f]});=>#t (match {1} (list integer) {[<nil> #f] [_ #t]});=>#t (match {1 2 3} (list integer) {[<cons $n $ns> [n ns]]}) ;=>[1 {2 3}] (match {1 2 3} (list integer) {[<snoc $n $ns> [n ns]]}) ;=>[3 {1 2}] (match-all {1 2 3} (list integer) [<join $xs $ys> [xs ys]]) ;=>{[{} {1 2 3}] [{1} {2 3}] [{1 2} {3}] [{1 2 3} {}]} (match-all {1 2 3} (list integer) [<nioj $xs $ys> [xs ys]]) ;=>{[{} {1 2 3}] [{3} {1 2}] [{2 3} {1}] [{1 2 3} {}]}
soreted-list: (take 5 (match-all primes (sorted-list integer) [<join _ <cons $p <join _ <cons ,(+ p 100) _>>>> [p (+ p 100)]])) ;=>{[3 103] [7 107] [13 113] [31 131] [37 137]}
multiset: (match {} (multiset integer) {[<nil> #t] [_ #f]});=>#t (match {1} (multiset integer) {[<nil> #f] [_ #t]});=>#t (match-all {1 2 3} (multiset integer) [<cons $n $ns> [n ns]]) ;=>{[1 {2 3}] [2 {1 3}] [3 {1 2}]} (match {1 2 3} (multiset integer) {[<cons ,2 $ns> ns]}) ;=>{1 3} (match-all {1 2 3} (multiset integer) [<join $xs $ys> [xs ys]]) ;=>{[{} {1 2 3}] [{1} {2 3}] [{2} {1 3}] [{3} {1 2}] [{1 2} {3}] [{1 3} {2}] [{2 3} {1}] [{1 2 3} {}]} (match {1 2 3} (multiset integer) {[<join ,{1 3} $ns> ns]}) ;=>{2} (match-all {1 2 3} (multiset integer) [<join ,{1 5 3} $ys> ys]) ;=>{}
set: (match {} (set integer) {[<nil> #t] [_ #f]});=>#t (match {1} (set integer) {[<nil> #f] [_ #t]});=>#t (match-all {1 2 3} (set integer) [<cons $n $ns> [n ns]]) ;=>{[1 {1 2 3}] [2 {1 2 3}] [3 {1 2 3}]} (match {1 2 3} (set integer) {[<cons ,2 $ns> ns]}) ;=>{1 2 3} (match-all {1 2 3} (set integer) [<join $xs $ys> [xs ys]]) ;=>{[{} {1 2 3}] [{1} {1 2 3}] [{2} {1 2 3}] [{3} {1 2 3}] [{1 2} {1 2 3}] [{1 3} {1 2 3}] [{2 1} {1 2 3}] [{2 3} {1 2 3}] [{3 1} {1 2 3}] [{1 2 3} {1 2 3}] [{3 2} {1 2 3}] [{1 3 2} {1 2 3}] [{2 1 3} {1 2 3}] [{2 3 1} {1 2 3}] [{3 1 2} {1 2 3}] [{3 2 1} {1 2 3}]} (match-all {1 2 3} (set integer) [<join ,{1 3} $ys> ys]) ;=>{{1 2 3}} (match-all {1 2 3} (set integer) [<join ,{1 5 3} $ys> ys]) ;=>{}

Lists

nth: (nth 1 {1 2 3});=>1
take: (take 2 {1 2 3});=>{1 2}
drop: (drop 2 {1 2 3});=>{3}
take-and-drop: (take-and-drop 2 {1 2 3});=>[{1 2} {3}]
take-while: (take-while (lt? $ 10) primes);=>{2 3 5 7}
drop-while: (drop-while (lt? $ 3) {1 2 3 4 5});=>{3 4 5}
cons: (cons 1 {2 3});=>{1 2 3}
car: (car {1 2 3});=>1
cdr: (cdr {1 2 3});=>{2 3}
rac: (rac {1 2 3});=>3
rdc: (rdc {1 2 3});=>{1 2}
length: (length {1 2 3});=>3
map: (map (* $ 2) {1 2 3});=>{2 4 6}
map2: (map2 (* $ $) {1 2 3} {10 20 30});=>{10 40 90}
filter: (let {[$odd? (lambda [$n] (eq? (modulo n 2) 1))]} (filter odd? {1 2 3}));=>{1 3}
zip: (zip {1 2 3} {10 20 30});=>{[1 10] [2 20] [3 30]}
lookup: (lookup 2 {[1 10] [2 20] [3 30]});=>20
foldr: (foldr (lambda [$n $ns] {n @ns}) {} {1 2 3});=>{1 2 3}
foldl: (foldl (lambda [$ns $n] {n @ns}) {} {1 2 3});=>{3 2 1}
scanl: (scanl (lambda [$r $n] (* r n)) 2 {2 2 2});=>{2 4 8 16}
append: (append {1 2} {3 4 5});=>{1 2 3 4 5}
concat: (concat {{1 2} {3 4 5}});=>{1 2 3 4 5}
reverse: (reverse {1 2 3});=>{3 2 1}
intersperse: (intersperse {0} {{1 2} {3 3} {4} {}});=>{{1 2} {0} {3 3} {0} {4} {0} {}}
intercalate: (intercalate {0} {{1 2} {3 3} {4} {}});=>{1 2 0 3 3 0 4 0}
split: (split {0} {1 2 0 3 3 0 4 0});=>{{1 2} {3 3} {4} {}}
split/m: (split/m integer {0} {1 2 0 3 3 0 4 0});=>{{1 2} {3 3} {4} {}}
find-cycle: (find-cycle {1 3 4 5 2 7 5 2 7 5 2 7});=>[{1 3 4} {5 2 7}]
repeat: (take 5 (repeat {1 2 3}));=>{1 2 3 1 2}
repeat1: (take 5 (repeat1 2));=>{2 2 2 2 2}
all: (all (eq? $ 1) {1 1 1});=>#t (all (eq? $ 1) {1 1 2});=>#f
any: (any (eq? $ 1) {0 1 0});=>#t (any (eq? $ 1) {0 0 0});=>#f
from: (take 3 (from 2));=>{2 3 4}
between: (between 2 5);=>{2 3 4 5}

Multisets

add: (add 1 {2 3});=>{2 3 1} (add 1 {1 2 3});=>{1 2 3}
add/m: (add/m integer 1 {2 3});=>{2 3 1} (add/m integer 1 {1 2 3});=>{1 2 3}
delete-first: (delete-first 2 {1 2 3 2});=>{1 3 2}
delete-first/m: (delete-first/m integer 2 {1 2 3 2});=>{1 3 2}
delete: (delete 2 {1 2 3 1 2 3});=>{1 3 1 3}
delete/m: (delete/m integer 2 {1 2 3 1 2 3});=>{1 3 1 3}
difference: (difference {1 2 3} {1 3});=>{2}
difference/m: (difference/m integer {1 2 3} {1 3});=>{2}
include?: (include? {1 2 3} {1 3});=>#t
include?/m: (include?/m integer {1 2 3} {1 3});=>#t
union: (union {1 2 3} {1 3 4});=>{1 2 3 4}
union/m: (union/m integer {1 2 3} {1 3 4});=>{1 2 3 4}
intersect: (intersect {1 2 3} {1 3 4});=>{1 3}
intersect/m: (intersect/m integer {1 2 3} {1 3 4});=>{1 3}
member?: (member? 1 {1 3 1 4});=>#t (member? 2 {1 3 1 4});=>#f
member?/m: (member?/m integer 1 {1 3 1 4});=>#t (member?/m integer 2 {1 3 1 4});=>#f
count: (count 1 {1 3 1 4});=>2
count/m: (count/m integer 1 {1 3 1 4});=>2
frequency: (frequency {1 3 1 4});=>{[1 2] [3 1] [4 1]}
frequency/m: (frequency/m integer {1 3 1 4});=>{[1 2] [3 1] [4 1]}

Sets

unique: (unique {1 2 3 2 1 4});=>{1 2 3 4}
unique/m: (unique/m integer {1 2 3 2 1 4});=>{1 2 3 4}

What to do next...

Back to Home

Collection Core Library Functions

Matchers

Lists

Multisets

Sets

What to do next...