44 KiB
Ludus prelude documentation
These functions are available in every Ludus script.
The documentation for any function can be found within Ludus by passing the function to doc!,
e.g., running doc! (add) will send the documentation for add to the console.
For more information on the syntax & semantics of the Ludus language, see language.md.
The prelude itself is just a Ludus file, which you can see at prelude.ld.
A few notes
Naming conventions. Functions whose name ends with a question mark, e.g., eq?, return booleans.
Functions whose name ends with an exclamation point, e.g., make!, change state in some way.
In other words, they do things rather than calculating values.
Functions whose name includes a slash either convert from one value to another, e.g. deg/rad,
or they are variations on a function, e.g. div/0 as a variation on div.
How entries are formatted. Each entry has a brief (sometimes too brief!) description of what it does. It is followed by the patterns for each of its function clauses. This should be enough to indicate order of arguments, types, and so on.
Patterns often, but do not always, indicate types. Typed patterns are written as foo as :bar,
where the type is indicated by the keyword.
Possible ludus types are: :nil, :boolean, :number, :keyword (atomic values);
:string (strings are their own beast); :tuple and :list (ordered collections), :sets, and :dictionaries (the other collection types); :pkg (packages, which are quasi-collections); :fn (functions); and :boxes.
Conventional types. Ludus has two types based on conventions.
-
Result tuples. Results are a way of modeling the result of a calculation that might fail. The two possible values are
(:ok, value)and(:err, msg).msgis usually a string describing what went wrong. To work with result tuples, seeunwrap!andunwrap_or. That said, usually you work with these using pattern matching. -
Vectors. Vectors are 2-element tuples of x and y coordinates. The origin is
(0, 0). Many math functions take vectors as well as numbers, e.g.,addandmult. You will see vectors indicated in patterns by an(x, y)tuple. You can see what this looks like in the last clause ofadd:((x1, y1), (x2, y2)).
Functions by topic
Boolean
and bool bool? false? not or true?
Boxes and state
Dicts
any? assoc assoc? coll? count dict dict? diff dissoc empty? get keys random update values
Environment and i/o
Errors
Lists
any? append at butlast coll? concat count each! empty? filter first fold join keep last list list? map ordered? random range rest second sentence slice
Math
abs add angle atan/2 between? ceil cos dec deg/rad deg/turn dist div div/0 div/safe even? floor gt? gte? heading/vector inc inv inv/0 inv/safe lt? lte? max min mod mod/0 mod/safe mult neg neg? odd? pi pos? rad/deg rad/turn random random_int range round sin sqrt sqrt/safe square sub sum_of_squares tan tau turn/deg turn/rad zero?
Results
err err? ok ok? unwrap! unwrap_or
Sets
any? append coll? concat contains? count empty? omit random set set?
Strings
any? chars chars/safe concat count downcase empty? join sentence show slice split string string? strip trim upcase words
Tuples
any? at coll? count empty? first last ordered? rest second tuple?
Turtle graphics
back! background! bk! clear! colors fd! forward! goto! heading heading/vector hideturtle! home! left! loadstate! lt! pc! pd! pencolor pencolor! pendown! pendown? penup! penwidth penwidth! position pu! pw! render_turtle! reset_turtle! right! rt! setheading! showturtle! turtle_state
Types and values
assoc? bool? box? coll? dict? eq? fn? keyword? list? neq? nil? number? ordered? set? show some some? string? tuple? type
All functions, alphabetically
abs add and angle any? append assert! assoc assoc? at atan/2 back! background! between? bg! bk! bool bool? box? butlast ceil chars clear! coll? colors concat contains? cos count dec deg/rad deg/turn dict dict? diff dissoc dist div div/0 div/safe doc! downcase each! empty? eq? err err? even? false? fd! filter first floor fn? fold forward! get goto! gt? gte? heading heading/vector hideturtle! home! inc inv inv/0 inv/safe join keep keys keyword? last left! list list? loadstate! lt! lt? lte? map max min mod mod/0 mod/safe mult neg neg? neq? nil? not odd? ok ok? omit or ordered? pc! pd! pencolor pencolor! pendown! pendown? penup! penwidth penwidth! pi pos? position print! pu! pw! rad/deg rad/turn random random_int range report! rest right! round rt! second sentence set set? setheading! show showturtle! sin slice some some? split sqrt sqrt/safe square state store! string string? strip sub sum_of_squares tan tau to_number trim tuple? turn/deg turn/rad turtle_commands turtle_init turtle_state type unbox unwrap! unwrap_or upcase update update! values words ws? zero?
Function documentation
abs
Returns the absolute value of a number.
(0)
(n as :number)
add
Adds numbers or vectors.
()
(x as :number)
(x as :number, y as :number)
(x, y, ...zs)
((x1, y1), (x2, y2))
and
Returns true if all values passed in are truthy. Note that this does not short-circuit: all arguments are evaulated before they are passed in.
()
(x)
(x, y)
(x, y, ...zs)
angle
Calculates the angle between two vectors.
(v1, v2)
any?
Returns true if something is not empty, otherwise returns false (including for things that can't be logically full, like numbers).
([...])
(#{...})
(s as :set)
((...))
(s as :string)
(_)
append
Adds an element to a list or set.
()
(xs as :list)
(xs as :list, x)
(xs as :set)
(xs as :set, x)
assert!
Asserts a condition: returns the value if the value is truthy, panics if the value is falsy. Takes an optional message.
(value)
(msg, value)
assoc
Takes a dict, key, and value, and returns a new dict with the key set to value.
()
(d as :dict)
(d as :dict, k as :keyword, val)
(d as :dict, (k as :keyword, val))
assoc?
Returns true if a value is an associative collection: a dict or a pkg.
(d as :dict)
(p as :pkg)
(_)
at
Returns the element at index n of a list or tuple, or the byte at index n of a string. Zero-indexed: the first element is at index 0. Returns nil if nothing is found in a list or tuple; returns an empty string if nothing is found in a string.
(xs as :list, n as :number)
(xs as :tuple, n as :number)
(str as :string, n as :number)
(_)
atan/2
Returns an angle from a slope. Takes an optional keyword argument to specify units. Takes either two numbers or a vector tuple.
(x as :number, y as :number)
(x, y, :turns)
(x, y, :radians)
(x, y, :degrees)
((x, y))
((x, y), units as :keyword)
back!
Moves the turtle backward by a number of steps. Alias: bk!
(steps as :number)
background!
Sets the background color behind the turtle and path. Alias: bg!
(color as :keyword)
(gray as :number)
((r as :number, g as :number, b as :number))
((r as :number, g as :number, b as :number, a as :number))
between?
Returns true if a number is in the range [lower, higher): greater than or equal to the lower number, less than the higher.
(lower as :number, higher as :number, x as :number)
bg!
Sets the background color behind the turtle and path. Alias: bg!
(color as :keyword)
(gray as :number)
((r as :number, g as :number, b as :number))
((r as :number, g as :number, b as :number, a as :number))
bk!
Moves the turtle backward by a number of steps. Alias: bk!
(steps as :number)
bool
Returns false if a value is nil or false, otherwise returns true.
(nil)
(false)
(_)
bool?
Returns true if a value is of type :boolean.
(false)
(true)
(_)
box?
Returns true if a value is a box.
(b as :box)
(_)
butlast
Returns a list, omitting the last element.
(xs as :list)
ceil
Truncates a number towards positive infinity. With negative numbers, it returns the integer part. With positive numbers, returns the next more-positive integer.
(n as :number)
chars
Takes a string and returns its characters as a list. Works only for strings with only ascii characters. Panics on any non-ascii characters.
(str as :string)
clear!
Clears the canvas and sends the turtle home.
()
coll?
Returns true if a value is a collection: dict, list, tuple, or set.
(coll as :dict)
(coll as :list)
(coll as :tuple)
(coll as :set)
(_)
colors
No documentation available.
concat
Combines two lists, strings, or sets.
(x as :string, y as :string)
(xs as :list, ys as :list)
(xs as :set, ys as :set)
(xs, ys, ...zs)
contains?
Returns true if a set or list contains a value.
(value, s as :set)
(value, l as :list)
cos
Returns the cosine of an angle. Default angle measure is turns. An optional keyword argument specifies the units of the angle passed in.
(a as :number)
(a as :number, :turns)
(a as :number, :degrees)
(a as :number, :radians)
count
Returns the number of elements in a collection (including string).
(xs as :list)
(xs as :tuple)
(xs as :dict)
(xs as :string)
(xs as :set)
dec
Decrements a number.
(x as :number)
deg/rad
Converts an angle in degrees to an angle in radians.
(a as :number)
deg/turn
Converts an angle in degrees to an angle in turns.
(a as :number)
dict
Takes a list or tuple of (key, value) tuples and returns it as a dict. Returns dicts unharmed.
(d as :dict)
(l as :list)
(t as :tuple)
dict?
Returns true if a value is a dict.
(d as :dict)
(_)
diff
Takes two dicts and returns a dict describing their differences. Does this shallowly, offering diffs only for keys in the original dict.
(d1 as :dict, d2 as :dict)
dissoc
Takes a dict and a key, and returns a new dict with the key and associated value omitted.
(d as :dict)
(d as :dict, k as :keyword)
dist
Returns the distance from the origin to a point described by x and y, or by the vector (x, y).
(x as :number, y as :number)
((x, y))
div
Divides numbers. Panics on division by zero.
(x as :number)
(_, 0)
(x as :number, y as :number)
(x, y, ...zs)
div/0
Divides numbers. Returns 0 on division by zero.
(x as :number)
(_, 0)
(x as :number, y as :number)
(x, y, ...zs)
div/safe
Divides a number. Returns a result tuple.
(x as :number)
(_, 0)
(x, y)
(x, y, ...zs)
doc!
Prints the documentation of a function to the console.
(f as :fn)
(_)
downcase
Takes a string and returns it in all lowercase. Works only for ascii characters.
(str as :string)
each!
Takes a list and applies a function, presumably with side effects, to each element in the list. Returns nil.
(f! as :fn, [])
(f! as :fn, [x])
(f! as :fn, [x, ...xs])
empty?
Returns true if something is empty. Otherwise returns false (including for things that can't logically be empty, like numbers).
([])
(#{})
(s as :set)
(())
("")
(_)
eq?
Returns true if all arguments have the same value.
(x)
(x, y)
(x, y, ...zs)
err
Takes a value and wraps it in an :err result tuple, presumably as an error message.
(msg)
err?
Takes a value and returns true if it is an :err result tuple.
((:err, _))
(_)
even?
Returns true if a value is an even number, otherwise returns false.
(x as :number)
(_)
false?
Returns true if a value is false, otherwise returns false. Useful to distinguish between false and nil.
(false)
(_)
fd!
Moves the turtle forward by a number of steps. Alias: fd!
(steps as :number)
filter
Takes a list and a predicate function, and returns a new list with only the items that produce truthy values when the function is called on them. E.g., filter ([1, 2, 3, 4], odd?) &=> [1, 3].
(p? as :fn, xs)
first
Returns the first element of a list or tuple.
(xs)
floor
Truncates a number towards negative infinity. With positive numbers, it returns the integer part. With negative numbers, returns the next more-negative integer.
(n as :number)
fn?
Returns true if an argument is a function.
(f as :fn)
(_)
fold
Folds a list.
(f as :fn, [])
(f as :fn, xs as :list)
(f as :fn, [], root)
(f as :fn, xs as :list, root)
forward!
Moves the turtle forward by a number of steps. Alias: fd!
(steps as :number)
get
Takes a key, dict, and optional default value; returns the value at key. If the value is not found, returns nil or the default value.
(k as :keyword)
(k as :keyword, d as :dict)
(k as :keyword, d as :dict, default)
goto!
Sends the turtle to (x, y) coordinates. If the pen is down, the turtle will draw a path to its new location.
(x as :number, y as :number)
((x, y))
gt?
Returns true if numbers are in decreasing order.
(x as :number)
(x as :number, y as :number)
(x, y, ...zs)
gte?
Returns true if numbers are in decreasing or flat order.
(x as :number)
(x as :number, y as :number)
(x, y, ...zs)
heading
Returns the turtle's current heading.
()
heading/vector
Takes a turtle heading, and returns a unit vector of that heading.
(heading)
hideturtle!
If the turtle is visible, hides it. If the turtle is already hidden, does nothing.
()
home!
Sends the turtle home: to the centre of the screen, pointing up. If the pen is down, the turtle will draw a path to home.
()
inc
Increments a number.
(x as :number)
inv
Returns the inverse of a number: 1/n or div (1, n). Panics on division by zero.
(x as :number)
inv/0
Returns the inverse of a number: 1/n or div/0 (1, n). Returns 0 on division by zero.
(x as :number)
inv/safe
Returns the inverse of a number: 1/n or div/safe (1, n). Returns a result tuple.
(x as :number)
join
Takes a list of strings, and joins them into a single string, interposing an optional separator.
([])
([str as :string])
(strs as :list)
([], separator as :string)
([str as :string], separator as :string)
([str, ...strs], separator as :string)
keep
Takes a list and returns a new list with any nil values omitted.
(xs)
keys
Takes a dict and returns a list of keys in that dict.
(d as :dict)
keyword?
Returns true if a value is a keyword, otherwise returns false.
(kw as :keyword)
(_)
last
Returns the last element of a list or tuple.
(xs)
left!
Rotates the turtle left, measured in turns. Alias: lt!
(turns as :number)
list
Takes a value and returns it as a list. For values, it simply wraps them in a list. For collections, conversions are as follows. A tuple->list conversion preservers order and length. Unordered collections do not preserve order: sets and dicts don't have predictable or stable ordering in output. Dicts return lists of (key, value) tuples.
(x)
list?
Returns true if the value is a list.
(l as :list)
(_)
loadstate!
Sets the turtle state to a previously saved state.
(state)
lt!
Rotates the turtle left, measured in turns. Alias: lt!
(turns as :number)
lt?
Returns true if numbers are in increasing order.
(x as :number)
(x as :number, y as :number)
(x, y, ...zs)
lte?
Returns true if numbers are in increasing or flat order.
(x as :number)
(x as :number, y as :number)
(x, y, ...zs)
map
Maps a function over a list: returns a new list with elements that are the result of applying the function to each element in the original list. E.g., map ([1, 2, 3], inc) &=> [2, 3, 4].
(f as :fn, xs)
(kw as :keyword, xs)
max
Returns the number in its arguments that is closest to positive infinity.
(x as :number)
(x as :number, y as :number)
(x, y, ...zs)
min
Returns the number in its arguments that is closest to negative infinity.
(x as :number)
(x as :number, y as :number)
(x, y, ...zs)
mod
Returns the modulus of x and y. Truncates towards negative infinity. Panics if y is 0.
(x as :number, 0)
(x as :number, y as :number)
mod/0
Returns the modulus of x and y. Truncates towards negative infinity. Returns 0 if y is 0.
(x as :number, 0)
(x as :number, y as :number)
mod/safe
Returns the modulus of x and y in a result tuple, or an error if y is 0. Truncates towards negative infinity.
(x as :number, 0)
(x as :number, y as :number)
mult
Multiplies numbers or vectors.
()
(x as :number)
(x as :number, y as :number)
(x, y, ...zs)
(scalar as :number, (x, y))
((x, y), scalar as :number)
neg
Multiplies a number by -1, negating it.
(n as :number)
neg?
Returns true if a value is a negative number, otherwise returns false.
(x as :number)
(_)
neq?
Returns true if none of the arguments have the same value.
(x)
(x, y)
(x, y, ...zs)
nil?
Returns true if a value is nil.
(nil)
(_)
not
Returns false if a value is truthy, true if a value is falsy.
(nil)
(false)
(_)
odd?
Returns true if a value is an odd number, otherwise returns false.
(x as :number)
(_)
ok
Takes a value and wraps it in an :ok result tuple.
(value)
ok?
Takes a value and returns true if it is an :ok result tuple.
((:ok, _))
(_)
omit
Returns a new set with the value omitted.
(value, s as :set)
or
Returns true if any value passed in is truthy. Note that this does not short-circuit: all arguments are evaluated before they are passed in.
()
(x)
(x, y)
(x, y, ...zs)
ordered?
Returns true if a value is an indexed collection: list or tuple.
(coll as :list)
(coll as :tuple)
(coll as :string)
(_)
pc!
Changes the turtle's pen color. Takes a single grayscale value, an rgb tuple, or an rgba tuple. Alias: pc!
(color as :keyword)
(gray as :number)
((r as :number, g as :number, b as :number))
((r as :number, g as :number, b as :number, a as :number))
pd!
Lowers the turtle's pen, causing it to draw. Alias: pd!
()
pencolor
Returns the turtle's pen color as an (r, g, b, a) tuple or keyword.
()
pencolor!
Changes the turtle's pen color. Takes a single grayscale value, an rgb tuple, or an rgba tuple. Alias: pc!
(color as :keyword)
(gray as :number)
((r as :number, g as :number, b as :number))
((r as :number, g as :number, b as :number, a as :number))
pendown!
Lowers the turtle's pen, causing it to draw. Alias: pd!
()
pendown?
Returns the turtle's pen state: true if the pen is down.
()
penup!
Lifts the turtle's pen, stopping it from drawing. Alias: pu!
()
penwidth
Returns the turtle's pen width in pixels.
()
penwidth!
Sets the width of the turtle's pen, measured in pixels. Alias: pw!
(width as :number)
pi
No documentation available.
pos?
Returns true if a value is a positive number, otherwise returns false.
(x as :number)
(_)
position
Returns the turtle's current position.
()
print!
Sends a text representation of Ludus values to the console.
(...args)
pu!
Lifts the turtle's pen, stopping it from drawing. Alias: pu!
()
pw!
Sets the width of the turtle's pen, measured in pixels. Alias: pw!
(width as :number)
rad/deg
Converts an angle in radians to an angle in degrees.
(a as :number)
rad/turn
Converts an angle in radians to an angle in turns.
(a as :number)
random
Returns a random something. With zero arguments, returns a random number between 0 (inclusive) and 1 (exclusive). With one argument, returns a random number between 0 and n. With two arguments, returns a random number between m and n. Alternately, given a collection (tuple, list, dict, set), it returns a random member of that collection.
()
(n as :number)
(m as :number, n as :number)
(l as :list)
(t as :tuple)
(d as :dict)
(s as :set)
random_int
Returns a random integer. With one argument, returns a random integer between 0 and that number. With two arguments, returns a random integer between them.
(n as :number)
(m as :number, n as :number)
range
Returns the set of integers between start (inclusive) and end (exclusive) as a list: [start, end). With one argument, starts at 0. If end is less than start, returns an empty list.
(end as :number)
(start as :number, end as :number)
report!
Prints a value, then returns it.
(x)
(msg as :string, x)
rest
Returns all but the first element of a list or tuple, as a list.
([])
(())
(xs as :list)
(xs as :tuple)
(xs as :string)
right!
Rotates the turtle right, measured in turns. Alias: rt!
(turns as :number)
round
Rounds a number to the nearest integer.
(n as :number)
rt!
Rotates the turtle right, measured in turns. Alias: rt!
(turns as :number)
second
Returns the second element of a list or tuple.
(xs)
sentence
Takes a list of words and turns it into a sentence.
(strs as :list)
set
Takes an ordered collection--list or tuple--and turns it into a set. Returns sets unharmed.
(xs as :list)
(xs as :tuple)
(xs as :set)
set?
Returns true if a value is a set.
(xs as :set)
(_)
setheading!
Sets the turtle's heading. The angle is specified in turns, with 0 pointing up. Increasing values rotate the turtle counter-clockwise.
(heading as :number)
show
Returns a text representation of a Ludus value as a string.
(x)
showturtle!
If the turtle is hidden, shows the turtle. If the turtle is already visible, does nothing.
()
sin
Returns the sine of an angle. Default angle measure is turns. An optional keyword argument specifies the units of the angle passed in.
(a as :number)
(a as :number, :turns)
(a as :number, :degrees)
(a as :number, :radians)
slice
Returns a slice of a list or a string, representing a sub-list or sub-string.
(xs as :list, end as :number)
(xs as :list, start as :number, end as :number)
(str as :string, end as :number)
(str as :string, start as :number, end as :number)
some
Takes a possibly nil value and a default value. Returns the value if it's not nil, returns the default if it's nil.
(nil, default)
(value, _)
some?
Returns true if a value is not nil.
(nil)
(_)
split
Takes a string, and turns it into a list of strings, breaking on the separator.
(str as :string, break as :string)
sqrt
Returns the square root of a number. Panics if the number is negative.
(x as :number)
sqrt/safe
Returns a result containing the square root of a number, or an error if the number is negative.
(x as :number)
square
Squares a number.
(x as :number)
state
No documentation available.
store!
Stores a value in a box, replacing the value that was previously there. Returns the value.
(b as :box, value)
string
Converts a value to a string by using show. If it is a string, returns it unharmed. Use this to build up strings of different kinds of values.
(x as :string)
(x)
(x, ...xs)
string?
Returns true if a value is a string.
(x as :string)
(_)
strip
Removes punctuation from a string, removing all instances of ,.;:?!
("{x},{y}")
("{x}.{y}")
("{x};{y}")
("{x}:{y}")
("{x}?{y}")
("{x}!{y}")
(x)
sub
Subtracts numbers or vectors.
()
(x as :number)
(x as :number, y as :number)
(x, y, ...zs)
((x1, y1), (x2, y2))
sum_of_squares
Returns the sum of squares of numbers.
()
(x as :number)
(x as :number, y as :number)
(x, y, ...zs)
tan
Returns the sine of an angle. Default angle measure is turns. An optional keyword argument specifies the units of the angle passed in.
(a as :number)
(a as :number, :turns)
(a as :number, :degrees)
(a as :number, :radians)
tau
No documentation available.
to_number
Takes a string that presumably contains a representation of a number, and tries to give you back the number represented. Returns a result tuple.
(num as :string)
trim
Trims whitespace from a string. Takes an optional argument, :left or :right, to trim only on the left or right.
(str as :string)
(str as :string, :left)
(str as :string, :right)
tuple?
Returns true if a value is a tuple.
(tuple as :tuple)
(_)
turn/deg
Converts an angle in turns to an angle in degrees.
(a as :number)
turn/rad
Converts an angle in turns to an angle in radians.
(a as :number)
turtle_commands
No documentation available.
turtle_init
No documentation available.
turtle_state
No documentation available.
type
Returns a keyword representing the type of the value passed in.
(x)
unbox
Returns the value that is stored in a box.
(b as :box)
unwrap!
Takes a result tuple. If it's :ok, then returns the value. If it's not :ok, then it panics. If it's not a result tuple, it also panics.
((:ok, value))
((:err, msg))
(_)
unwrap_or
Takes a value that is a result tuple and a default value. If it's :ok, then it returns the value. If it's :err, returns the default value.
((:ok, value), _)
((:err, _), default)
upcase
Takes a string and returns it in all uppercase. Works only for ascii characters.
(str as :string)
update
Takes a dict, key, and function, and returns a new dict with the key set to the result of applying the function to original value held at the key.
(d as :dict)
(d as :dict, k as :keyword, updater as :fn)
update!
Updates a box by applying a function to its value. Returns the new value.
(b as :box, f as :fn)
values
Takes a dict and returns a list of values in that dict.
(d as :dict)
words
Takes a string and returns a list of the words in the string. Strips all whitespace.
(str as :string)
ws?
Tells if a string is a whitespace character.
(" ")
("\n")
("\t")
(_)
zero?
Returns true if a number is 0.
(0)
(_)