-
Notifications
You must be signed in to change notification settings - Fork 1
Standard Libraries
These relations are built-in to the language and don't belong to a module.
functor
require
Iteration uses a table with the following relations.
iter.Relation Any Any
iter(collection, it) turns a collection into an iterable it.
next.Relation Any Any Any Any Any
next(it, it2, key, value, i) gets key-value from an iterable it and provides the next iterable it2. i is 0 on an empty collection, otherwise 1.
concat.Relation Any Any Any
fold.Relation Any Any Any Any
get.Relation Any Any Any
has.Relation Any Any
imap.Relation Any Any Any
iter.Relation Any Any
join.Relation Any Any Any
map.Relation Any Any Any
new.Relation Any
next.Relation Any Any Any Any Number
set.Relation Any Any Any Any
toList.Relation Any Any
toListKeys.Relation Any Any
toListValues.Relation Any Any
update.Any
at.Relation Any Number Any
concat.Relation Any Any Any
each.Relation Any (Relation Any Any) Any
eachIndex.Relation Functor Any Any Functor
every.Relation Any (Relation Any)
filter.Relation Any (Relation Any) Any
find.Relation Any Any Number
findOnce.Relation Any Any Number
first.Relation Any Any
fold.Relation Any Any Any Any
forall.Relation Any (Relation Any)
get.Relation Any Number Any
has.Relation Any Any
has2.Relation Any Any
iterate.Relation Any Number Any Any
join.Relation Any String String
last.Relation Any Any
length.Relation Any Number
map.Relation Any (Relation Any Any) Any
pop.Relation Any Any
push.Relation Any Any Any
remove.Relation Any Any Any
removeAll.Relation Any (Relation Any) Any
removeIndex.Relation Any Any Any
rest.Relation Any Any
reverse.Relation Functor Functor
size.Relation Any Number
sub.Relation Any Any Any
unique.Relation Any Any Any
_add.Relation Any Any Any
at.Relation Any Any Any
code.Relation String Any
concat.Relation String String String
find.Relation String String Any
findIndex.Relation String String Any Any
first.Relation String String
get.Relation String Any String
has.Relation String String
length.Relation String Any
lessOrEqual.Relation String String
lower.Relation String String
rest.Relation String String
size.Relation String Any
slice.Relation String Any Any String
split.Relation String String Any
toCodes.Relation String Functor
upper.Relation String String
Table {at.Relation Any Any Any
concat.Relation Any Any Any
each.Relation Any (Relation Any Any) Any
eachIndex.Relation Functor Any Any Functor
every.Relation Functor (Relation Any)
filter.Relation Functor (Relation Any) Functor
find.Relation Any Any Number
findOnce.Relation Any Any Number
first.Relation Any Any
fold.Relation Functor Any Any Any
forall.Relation Functor (Relation Any)
has.Relation Any Any
has2.Relation Any Any
iterate.Relation Any Number Any Any
join.Relation Any String String
last.Relation Any Any
length.Relation Any Any
map.Relation Functor (Relation Any Any) Functor
pop.Relation Any Any
push.Relation Any Any Any
remove.Relation Any Any Any
removeAll.Relation Functor (Relation Any) Functor
removeIndex.Relation Any Any Any
reverse.Relation Functor Functor
size.Relation Any Any}
Input and output utilities. Use require('io')
.
close.Relation File
exists.Relation String
fileReadChar.Relation File String
fileReadLine.Relation File String
fread.Relation File String
fwrite.Relation File Any
open.Relation String String Any
openBinary.Relation String String Any
read.Relation String
readFile.Relation String String
Ever wanted to simply get an entire file as a string? Because sometimes all you need is to get the text of a file as a string. No need to pass through file objects, synchronous-related documentation, etc. Just get a file as a string. Doesn't it sound great for scripting? Yet this incredibly useful function is not provided in the core of many languages and the user is left to custom implementation. It's there if you use Cosmos.
Perhaps one of the language's great gems, it takes the name of a file and returns the content as a string.
s=io.readFile('in.txt')
write.Relation Any
write16.Relation Any Any
write32.Relation Any Any
write8.Relation Any Any
writeFormat.Relation Any
writeToFile.Relation String String
writeln.Relation Any
abs.Relation Integer Integer
add.Relation Any Any Any
ceil.Relation Real Integer
dec.Relation Any Any
div.Relation Any Any Any
floor.Relation Real Integer
inc.Relation Any Any
integerToReal.Relation Integer Real
integerToString.Relation Integer String
max.Relation Real Integer
min.Relation Real Integer
mul.Relation Any Any Any
random.Relation Real
realToInteger.Relation Real Real
realToString.Relation Real String
sqrt.Relation Real Real
stringToNumber.Relation Any Any
sub.Relation Any Any Any
.