Skip to content
cosmos-lang edited this page Jul 2, 2023 · 3 revisions

Libraries

Built-in

These relations are built-in to the language and don't belong to a module.

print

functor

require

Iteration

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.

Table

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

List

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

String

_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

List

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}

I/O

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

Math

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

Debug

.

Clone this wiki locally