Used by the compiler to wrap main console applications.
The unit type ()std/core/(): V is inhabited by just a single value, namely ().
See also the voidstd/core/void: V type and the boolstd/core/bool: V type.
Print a unit value to the console.
Print a unit value to the console, including a final newline character.
Convert a unit value () to a string.
A pair of values a and b.
Automatically generated. Retrieves the fst constructor field of the (,) type.
Automatically generated. Retrieves the snd constructor field of the (,) type.
A triple of values.
Automatically generated. Retrieves the fst constructor field of the (,,) type.
Automatically generated. Retrieves the snd constructor field of the (,,) type.
Automatically generated. Retrieves the thd constructor field of the (,,) type.
A quadruple of values.
Automatically generated. Retrieves the field4 constructor field of the (,,,) type.
Automatically generated. Retrieves the fst constructor field of the (,,,) type.
Automatically generated. Retrieves the snd constructor field of the (,,,) type.
Automatically generated. Retrieves the thd constructor field of the (,,,) type.
A quintuple of values.
Automatically generated. Retrieves the field4 constructor field of the (,,,,) type.
Automatically generated. Retrieves the field5std/core/field5: forall<a,b,c,d,a1> ((a, b, c, d, a1)) -> a1 constructor field of the (,,,,) type.
Automatically generated. Retrieves the fst constructor field of the (,,,,) type.
Automatically generated. Retrieves the snd constructor field of the (,,,,) type.
Automatically generated. Retrieves the thd constructor field of the (,,,,) type.
The total effect represents the absence of any effect.
The effect constructor extends an effect with another effect.
The alloc effect signifies a function may allocate in a heap h.
An any type. Used for extern calls.
Are there any elements in a list that satisfy a predicate ?
The blockingstd/core/blocking: X effect signifies that a function may block.
The type of booleans has two inhabitants: Truestd/core/True: bool and Falsestd/core/False: bool.
Convert an int to a boolean, using Falsestd/core/False: bool for 0 and Truestd/core/True: bool otherwise.
Convert a maybestd/core/maybe: V -> V type to a boolean using Falsestd/core/False: bool for Nothingstd/core/Nothing: forall<a> maybe<a> and Truestd/core/True: bool for Juststd/core/Just: forall<a> (value : a) -> maybe<a>.
Convert a string to a boolean, using Falsestd/core/False: bool for the empty string and Truestd/core/True: bool otherwise.
Automatically generated. Tests for the Falsestd/core/False: bool constructor of the boolstd/core/bool: V type.
Print a boolean to the console.
Print a boolean to the console, including a final newline character.
Return a random boolean.
Convert a boolstd/core/bool: V to a string.
Automatically generated. Tests for the Truestd/core/True: bool constructor of the boolstd/core/bool: V type.
A unicode character.
Characters are unicode codepoints.
This is different from a unicode grapheme which represents a single displayed
symbol and can consists of multiple codepoints due to combining characters and marks.
(see also the std/text/unicode module.).
Add two character code points.
Substract two character codePoints.
Is the character ASCII letter or digit?
Is the character an ASCII letter ?
Is the character an ASCII character, e.g. c <= '\DEL' ?
Convert a unicode code point to a character.
Is the character an ASCII control character, e.g. c < ' ' ?
Is the character an ASCII digit ?
Is the character an ASCII hexa-decimal digit ?
Is the character a lower-case ASCII character ?
Print a character to the console.
Print a character to the console, including a final newline character.
Show a charstd/core/char: V as a character literal.
Is the character an upper-case ASCII character ?
Tests if a character is an element of " \t\n\r".
The console effect signifies that a function may read or write to the console.
Delayed (or lazy) values are computed (with effect e) only the first time
forcestd/core/force: forall<a,e> (delayed : delayed<e,a>) -> e a is called and cached afterwards.
Create a new delayedstd/core/delayed: (E, V) -> V value.
Force a delayed value; the value is computed only on the first
call to forcestd/core/force: forall<a,e> (delayed : delayed<e,a>) -> e a and cached afterwards.
The divergence effect: a divergent function may not terminate.
A 64-bit IEEE 754 floating point value.
See also std/num/double for more operations on doublestd/core/double: Vs.
Returns the value d raised to the power p .
Negate a doublestd/core/double: V.
Return the absolute value of a doublestd/core/double: V d.
Convert an integer to a doublestd/core/double: V. May return nan if the integer is too large to represent as a doublestd/core/double: V.
Returns the largest of two doubles.
Returns the smallest of two doubles.
Is the value negative?
Is the value positive?
Print a double to the console.
Print a double to the console, including a final newline character.
Return a random number equal or larger than 0.0 and smaller than 1.0.
Show a doublestd/core/double: V in exponential (scientific) notation.
The optional precision (= -17) specifies the precision.
If >=0 it specifies the number of digits behind the dot (up to 17 max).
If negative, then at most the absolute value of precision digits behind the dot are used.
Show a doublestd/core/double: V fixed-point notation.
The optional precision (= -2) specifies the maximum precision.
If >=0 it specifies the number of digits behind the dot (up to 20 max).
If negative, then at most the absolute value of precision digits behind the dot are used.
This may still show a number in exponential notation if the it is too small or large,
in particular, for a d where d > 1.0e21 or d < 1.0e-15, or if
precision.abs > 17, the show-expstd/core/show-exp: (d : double, precision : ?int) -> string routine is used.
Show a doublestd/core/double: V as a string.
If d >= 1.0e-5 and d < 1.0e+21, show-fixedstd/core/show-fixed: (d : double, precision : ?int) -> string is used and otherwise show-expstd/core/show-exp: (d : double, precision : ?int) -> string.
Default precision is -17.
Is the value zero?
The predicate edivstd/core/ediv: (X, V, E) -> P<x,a,e> signifies that if the type a contains a reference to effect constant x
then the effect e must contain the divergent effect (divstd/core/div: X). This constraint is generated
for operations on first-class effects where code can diverge through operations.
The choice type represents one of two possible types a or b.
Automatically generated. Tests for the Leftstd/core/Left: forall<a,b> (left : a) -> either<a,b> constructor of the eitherstd/core/either: (V, V) -> V type.
Map over the Rightstd/core/Right: forall<a,b> (right : b) -> either<a,b> component of an eitherstd/core/either: (V, V) -> V type.
Automatically generated. Tests for the Rightstd/core/Right: forall<a,b> (right : b) -> either<a,b> constructor of the eitherstd/core/either: (V, V) -> V type.
Exceptions.
Was this a cancelation exception?
Was this a finalization exception?
Return the message associated with an exception.
Show the exception message and its stack trace.
unsafe. The cancelation exception. User code should never throw
this exception as it cannot be caught (but it is respected by finallystd/core/finally: forall<e,a> (hndler : () -> e (), action : () -> e a) -> e a blocks).
It is used internally to finalize effect handlers that do not resume.
Automatically generated. Tests for the Assert constructor of the exception-infostd/core/exception-info: V type.
Automatically generated. Tests for the Error constructor of the exception-infostd/core/exception-info: V type.
Automatically generated. Tests for the Finalize constructor of the exception-infostd/core/exception-info: V type.
Automatically generated. Tests for the Internalstd/core/Internal: (name : string) -> exception-info constructor of the exception-infostd/core/exception-info: V type.
Automatically generated. Tests for the Patternstd/core/Pattern: (location : string, definition : string) -> exception-info constructor of the exception-infostd/core/exception-info: V type.
Automatically generated. Tests for the Rangestd/core/Range: exception-info constructor of the exception-infostd/core/exception-info: V type.
Automatically generated. Tests for the Systemstd/core/System: (errno : string) -> exception-info constructor of the exception-infostd/core/exception-info: V type.
Automatically generated. Tests for the Todo constructor of the exception-infostd/core/exception-info: V type.
The exception effect: a partial function may raise an exception.
The filestd/core/file: X effect signifies a function may access the file system.
The globalstd/core/global: H heap is a special heap constant to denote the global shared heap.
The global-scopestd/core/global-scope: S is a special type constant to denote the global scope.
Handled effects are lifted to an atomic effect using the handledstd/core/handled: HX -> X type constructor.
Linear effects are lifted to an atomic effect using the handled1std/core/handled1: HX1 -> X type constructor.
The predicate hdivstd/core/hdiv: (H, V, E) -> P<h,a,e> signifies that if the type a contains a reference to h,
then the effect e must contain the divergent effect (divstd/core/div: X). This constraint is generated
when reading from the heap (see !) and is necessary to catch cases where code can diverge
by storing self referential functions in the heap.
The inststd/core/inst: HX effect is the default umbrella effect for effect instances.
An arbitrary precision signed integer.
Are two integers not equal?
Euclidean modulus of two integers; always a non-negative number. See also divmodstd/core/divmod: (x : int, y : int) -> (int, int).
Multiply two integers.
Add two integers.
Substract two integers.
Euclidean-0 division of two integers. See also divmodstd/core/divmod: (x : int, y : int) -> (int, int).
Is the first integer smaller than the second?
Is the first integer smaller or equal to the second?
Are two integers equal?
Is the first integer greater than the second?
Is the first integer greater or equal to the second?
Raise an integer i to the power of exp.
Negate an integer.
Return the absolute value of an integer.
Compare two integers.
Return the number of decimal digits of i. Return 0 when i==0.
Euclidean-0 division & modulus.
Euclidean division is defined as: For any D and d where d!=0 , we have:
1. D == d*(D/d) + (D%d)
2. D%d is always positive where 0 <= D%d < abs(d)
Moreover, Euclidean-0 is a total function, for the case where d==0 we have
that D%0 == D and D/0 == 0 . So property (1) still holds, but not property (2).
Useful laws that hold for Euclidean-0 division:
D/(-d) == -(D/d)
D%(-d) == D%d
D/(2^n) == sar(D,n) (with 0 <= n <= 31 and 2^n means 2 to the power of n )
D%(2n) == D & ((2n) - 1) (with 0 <= n <= 31 and 2^n means 2 to the power of n )
See also Division and modulus for computer scientists, Daan Leijen, 2001 for further information
available at: http://research.microsoft.com/pubs/151917/divmodnote.pdf .
Is this an even integer?
Calculate 10^exp.
Return the number of ending 0 digits of i. Return 0 when i==0.
Calculate 2^exp.
Executes action for each integer between startstd/core/start: (sslice : sslice) -> int32 upto end (including both startstd/core/start: (sslice : sslice) -> int32 and end ).
If startstd/core/start: (sslice : sslice) -> int32 > end the function returns without any call to action .
Executes action for each integer between startstd/core/start: (sslice : sslice) -> int32 upto end (including both startstd/core/start: (sslice : sslice) -> int32 and end ).
If startstd/core/start: (sslice : sslice) -> int32 > end the function returns without any call to action .
If action returns Juststd/core/Just: forall<a> (value : a) -> maybe<a>, the iteration is stopped and the result returned.
Convert a character to its unicode code point.
Convert an int32std/core/int32: V to an intstd/core/int: V.
convert a doublestd/core/double: V to an intstd/core/int: V using round to round to its nearest integer.
(rounding to an even number on a tie)
Returns 0 if the argument is not finite?.
Return the maximum of two integers.
Return the minimum of two integers.
Is the integer negative (stricly smaller than zero).
Is this an odd integer?
Is the integer positive (stricly greater than zero).
Raise an integer i to the power of exp.
Print an integer to the console.
Print an integer to the console, including a final newline character.
Return a positive random integer (including 0).
The repeat fun executes action n times.
Show an intstd/core/int: V as a hexadecimal value.
The width parameter specifies how wide the hex value is where "0" is used to align.
The use-capitals parameter (= Truestd/core/True: bool) determines if captical letters should be used to display the hexadecimal digits.
The pre (="0x") is an optional prefix for the number (goes between the sign and the number).
Convert an intstd/core/int: V to a string.
Returns a unique integer (modulo 32-bits).
Create a new vector of length n with initial elements given by function f .
Is this equal to zero?
Type of a 32-bit signed integer.
See the std/int32 module for operations on 32-bit integers.
Convert an integer to an int32std/core/int32: V. The number is clamped to the maximal or minimum int32std/core/int32: V
value if it is outside the range of an int32std/core/int32: V.
The iostd/core/io: E effect is used for functions that perform arbitrary I/O operations.
The io-noexnstd/core/io-noexn: E effect is used for functions that perform arbitrary I/O operations, but raise no exceptions.
The io-totalstd/core/io-total: E effect is used for functions that perform arbitrary I/O operations, but are terminating without raising exceptions.
The type of lists, which can be either empty (Nilstd/core/Nil: forall<a> list<a>) or an element followed
by a list (Consstd/core/Cons: forall<a> (head : a, tail : list<a>) -> list<a>).
The empty list.
A head element followed by the tail of the list.
Append two lists.
Get (zero-based) element n of a list. Return a maybestd/core/maybe: V -> V type.
Do all elements satisfy a predicate ?
Concatenate all lists in a list (e.g. flatten the list). (tail-recursive).
Concatenate a list of maybestd/core/maybe: V -> V values.
Automatically generated. Tests for the Consstd/core/Cons: forall<a> (head : a, tail : list<a>) -> list<a> constructor of the liststd/core/list: V -> V type.
Drop the first n elements of a list (or fewer if the list is shorter than n).
Drop all initial elements that satisfy predicate.
Retain only those elements of a list that satisfy the given predicate pred.
For example: filterstd/core/filter: forall<a,e> (xs : list<a>, pred : (a) -> e bool) -> e list<a>([1,2,3],odd?std/core/odd?: (int) -> bool) == [1,3].
Retain only those elements of a list that satisfy the given predicate pred.
For example: filterMap([1,2,3],fun(i) { if (i.odd?std/core/odd?: (int) -> bool) then Nothingstd/core/Nothing: forall<a> maybe<a> else Juststd/core/Just: forall<a> (value : a) -> maybe<a>(i*i) }) == [4].
Find the first element satisfying some predicate.
Find the first element satisfying some predicate and return it.
Concatenate the result lists from applying a function to all elements.
Fold a list from the left, i.e. foldlstd/core/foldl: forall<a,b,e> (list<a>, b, (b, a) -> e b) -> e b([1,2],0,(+)) == (0+1)+2
Since foldlstd/core/foldl: forall<a,b,e> (list<a>, b, (b, a) -> e b) -> e b is tail recursive, it is preferred over foldrstd/core/foldr: forall<a,b,e> (xs : list<a>, z : b, f : (a, b) -> e b) -> e b when using an associative function f.
Fold a list from the right, i.e. foldrstd/core/foldr: forall<a,b,e> (xs : list<a>, z : b, f : (a, b) -> e b) -> e b([1,2],0,(+)) == 1+(2+0)
Note, foldrstd/core/foldr: forall<a,b,e> (xs : list<a>, z : b, f : (a, b) -> e b) -> e b is less efficient than foldlstd/core/foldl: forall<a,b,e> (list<a>, b, (b, a) -> e b) -> e b as it reverses the list first.
Invoke action for each element of a list.
Invoke action for each element of a list, passing also the position of the element.
Invoke action for each element of a list while action return Nothingstd/core/Nothing: forall<a> maybe<a>.
Return the head of list if the list is not empty.
Return the head of list if the list is not empty, or use defaultstd/core/default: forall<a> (m : maybe<a>, nothing : a) -> a otherwise.
Returns the index of the first element where pred holds, or -1 if no such element exists.
Return the list without its last element. Return an empty list for an empty list.
Insert a separator sep between all elements of a list xs .
Append end to each string in the list xs and join them all together.
join-endstd/core/join-end: (xs : list<string>, end : string) -> string([],end) === ""
join-endstd/core/join-end: (xs : list<string>, end : string) -> string(["a","b"],"/") === "a/b/".
Concatenate all strings in a list.
Concatenate all strings in a list using a specific separator.
Return the last element of a list (or Nothingstd/core/Nothing: forall<a> maybe<a> for the empty list).
Return the last element of a list (or defaultstd/core/default: forall<a> (m : maybe<a>, nothing : a) -> a for the empty list).
Returns the length of a list.
Returns an integer list of increasing elements from lo to hi
(including both lo and hi ).
If lo > hi the function returns the empty list.
Applies a function f to list of increasing elements from lo to hi
(including both lo and hi ).
If lo > hi the function returns the empty list.
Create a list of characters from lo to hi (inclusive).
Convert a maybestd/core/maybe: V -> V type to a list type.
Convert a string to a list of characters.
Convert a vector to a list.
Lookup the first element satisfying some predicate.
Apply a function f to each element of the input list in sequence where takes
both the index of the current element and the element itself as arguments.
Apply a function f to each element of the input list in sequence where takes
both the index of the current element, the element itself, and the tail list as arguments.
Apply a function f to each element of the input list in sequence where f takes
both the current element and the tail list as arguments.
Invoke action on each element of a list while action returns Juststd/core/Just: forall<a> (value : a) -> maybe<a>.
Apply a function f to each element of the input list in sequence.
Returns the largest element of a list of integers (or defaultstd/core/default: forall<a> (m : maybe<a>, nothing : a) -> a (=0) for the empty list).
Returns the largest element of a list of doubles (or 0 for the empty list).
Returns the smallest element of a list of integers (or defaultstd/core/default: forall<a> (m : maybe<a>, nothing : a) -> a (=0) for the empty list).
Returns the smallest element of a list of doubles (or 0 for the empty list).
Automatically generated. Tests for the Nilstd/core/Nil: forall<a> list<a> constructor of the liststd/core/list: V -> V type.
Partition a list in two lists where the first list contains
those elements that satisfy the given predicate pred.
For example: partitionstd/core/partition: forall<a> (xs : list<a>, pred : (a) -> bool) -> (list<a>, list<a>)([1,2,3],odd?std/core/odd?: (int) -> bool) == ([1,3],[2]).
Remove those elements of a list that satisfy the given predicate pred.
For example: removestd/core/remove: forall<a> (xs : list<a>, pred : (a) -> bool) -> list<a>([1,2,3],odd?std/core/odd?: (int) -> bool) == [2].
Create a list of n repeated elementes x.
Reverse a list.
Efficiently reverse a list xs and append it to tl:
reverse-appendstd/core/reverse-append: forall<a> (xs : list<a>, tl : list<a>) -> list<a>(xs,tl) == reserve(xs) + tl.
Convert a list to a string.
Returns a singleton list.
split a list at position n.
Return the sum of a list of integers.
Return the tail of list. Returns the empty list if xs is empty.
Take the first n elements of a list (or fewer if the list is shorter than n).
Keep only those initial elements that satisfy predicate.
Join a list of strings with newlines.
Unzip a list of pairs into two lists.
Zip two lists together by pairing the corresponding elements. The returned list is only as long as the smallest input list.
Zip two lists together by apply a function f to all corresponding elements.
The returned list is only as long as the smallest input list.
Zip two lists together by apply a function f to all corresponding elements
and their index in the list.
The returned list is only as long as the smallest input list.
A local variable var<s,a> points to a value of type a in local scope s.
Assign to an entry in a local vectorstd/core/vector: V -> V variable.
Read the value of a local variable.
Assign a new value to a local variable.
Allocate a fresh local with an initial value.
The maybestd/core/maybe: V -> V type is used to represent either a value (Juststd/core/Just: forall<a> (value : a) -> maybe<a>(x)) or Nothingstd/core/Nothing: forall<a> maybe<a>.
This type is often used to represent values that can be null.
Convert a maybestd/core/maybe: V -> V<a> value to a, using the nothing parameter for Nothingstd/core/Nothing: forall<a> maybe<a>.
Automatically generated. Tests for the Juststd/core/Just: forall<a> (value : a) -> maybe<a> constructor of the maybestd/core/maybe: V -> V type.
Transform a trystd/core/try: V -> V type to a maybestd/core/maybe: V -> V value.
Transform a nullstd/core/null: V -> V type to a maybestd/core/maybe: V -> V type. Note that it is not
always the case that idstd/core/id: forall<a> (x : a) -> a(x) == maybe(null(x)) (e.g. when x = Juststd/core/Just: forall<a> (value : a) -> maybe<a>(Nothingstd/core/Nothing: forall<a> maybe<a>)).
Match a maybestd/core/maybe: V -> V value and either return a default value on Nothingstd/core/Nothing: forall<a> maybe<a> or apply a function to the value on Juststd/core/Just: forall<a> (value : a) -> maybe<a>.
Convert a maybestd/core/maybe: V -> V<a> value to a, using the nothing parameter for Nothingstd/core/Nothing: forall<a> maybe<a>.
This is an alias for defaultstd/core/default: forall<a> (m : maybe<a>, nothing : a) -> a.
Convert a eitherstd/core/either: (V, V) -> V to a maybestd/core/maybe: V -> V type discarding the value of the Leftstd/core/Left: forall<a,b> (left : a) -> either<a,b> constructor
and using Juststd/core/Just: forall<a> (value : a) -> maybe<a> for the Rightstd/core/Right: forall<a,b> (right : b) -> either<a,b> constructor.
Convert a list to a maybestd/core/maybe: V -> V type, using Nothingstd/core/Nothing: forall<a> maybe<a> for an empty list, and otherwise Juststd/core/Just: forall<a> (value : a) -> maybe<a> on the head element.
Note: this is just head.
Transform a boolean to a maybe type, using Nothingstd/core/Nothing: forall<a> maybe<a> for Falsestd/core/False: bool.
Transform an integer to a maybe type, using Nothingstd/core/Nothing: forall<a> maybe<a> for 0.
Transform a string to a maybe type, using Nothingstd/core/Nothing: forall<a> maybe<a> for an empty string.
Automatically generated. Tests for the Nothingstd/core/Nothing: forall<a> maybe<a> constructor of the maybestd/core/maybe: V -> V type.
Get the value of the Juststd/core/Just: forall<a> (value : a) -> maybe<a> constructor or raise an exception.
NonDeterminism: a nonDeterministic function may return varying results even when called with the same input values.
The netstd/core/net: X effect signifies a function may access the network.
Abstract type used for passing null values to external functions.
Transform a maybestd/core/maybe: V -> V type to a nullstd/core/null: V -> V type (using null for Nothingstd/core/Nothing: forall<a> maybe<a>).
Cast a integer that is zero to a null.
Cast an empty string a null.
Cast a boolean Falsestd/core/False: bool to null.
Optional is used internally by the compiler to pass optional arguments.
It is usually displayed as :?a for some type a.
Nonestd/core/None: forall<a> ?a is used when an optional argument is not provided.
The Optionalstd/core/Optional: forall<a> (value : a) -> ?a constructor is used when an optional argument is given.
Automatically generated. Tests for the Nonestd/core/None: forall<a> ?a constructor of the optionalstd/core/optional: V -> V type.
Automatically generated. Tests for the Optionalstd/core/Optional: forall<a> (value : a) -> ?a constructor of the optionalstd/core/optional: V -> V type.
An enumeration to represent order.
Automatically generated. Tests for the Eqstd/core/Eq: order constructor of the orderstd/core/order: V type.
Automatically generated. Tests for the Gtstd/core/Gt: order constructor of the orderstd/core/order: V type.
Automatically generated. Tests for the Ltstd/core/Lt: order constructor of the orderstd/core/order: V type.
An alias for pure effects: a pure function always returns the same result when called with the same arguments but may not terminate or raise an exception.
The read effect: signifies that a function may read from from heap h.
A reference refstd/core/ref: (H, V) -> V<h,a> points to a value of type a in heap h.
Read the value of reference.
Allocate a fresh reference with an initial value.
Assign a new value to a reference.
Resources identify specific handlers.
A sslicestd/core/sslice: V represents a sub-slice of string and
has a specific start position and character count. It is used
instead of string indices to make the actual internal representation
of strings abstract (like UTF-8 or UTF-16). String slices are
returned by functions that find sub strings or patterns in
in strings. Use stringstd/core/string: (slice : sslice) -> string to
create a fresh substring from a slice.
O(count). Advance the start position of a string slice by count characters
up to the end of the string.
A negative count advances the start position backwards upto the first position
in a string.
Maintains the character count of the original slice upto the end of the string.
For example:
"abc".firststd/core/first: (s : string, n : ?int) -> sslice.advancestd/core/advance: (slice : sslice, count : int) -> sslice(1).string == "b",
"abc".firststd/core/first: (s : string, n : ?int) -> sslice.advancestd/core/advance: (slice : sslice, count : int) -> sslice(3).string == "",
* "abc".last.advancestd/core/advance: (slice : sslice, count : int) -> sslice(-1).string == "b".
O(1). Return the string slice from the end of slicestd/core/slice: (s : string) -> sslice argument
to the end of the string.
O(1). Return the string slice from the start of a string up to the
start of slicestd/core/slice: (s : string) -> sslice argument.
O(n). Return the number of characters in a string slice.
An empty slice.
Is a slice empty?
O(count). Extend a string slice by count characters up to the end of the string.
A negative count shrinks the slice up to the empty slice.
For example:
"abc".firststd/core/first: (s : string, n : ?int) -> sslice.extendstd/core/extend: (slice : sslice, count : int) -> sslice(1).string == "ab"
"abc".last.extendstd/core/extend: (slice : sslice, count : int) -> sslice(-1).string == "".
Apply a function for each character in a string slice.
If action returns Juststd/core/Just: forall<a> (value : a) -> maybe<a>, the function returns immediately with that result.
Apply a function for each character in a string slice.
If the slice is not empty, return the first character, and a new slice that is advanced by 1.
Is a slice not empty?
Show an sslicestd/core/sslice: V as a string literal.
Stateful funs can manipulate heap h using allocations, reads and writes.
A streamstd/core/stream: V -> V is a co-inductive type reprenting an infinite list of elements.
Automatically generated. Retrieves the head constructor field of the streamstd/core/stream: V -> V type.
Automatically generated. Retrieves the tail constructor field of the streamstd/core/stream: V -> V type.
A string is a sequence of unicode character points (charstd/core/char: (int) -> char).
The encoding of a string is internal and there
is no constant-time indexing of characters in a string.
Use the sslicestd/core/sslice: V type for efficient matching and retrieving
sub-strings from string.
See also the std/text/string module.
Are two strings not equal?
Append two strings.
Are two strings equal? Uses exact equality between character codes.
Choose a non-empty string.
Convert the first character of a string to uppercase.
Return the common prefix of two strings (upto upto characters (default is minimum length of the two strings)).
Compare two strings. Uses the character codes directly for comparison.
Does string s contain the string sub ?
Count occurences of pattern in a string.
O(n). Return the number of characters in a string.
Count the number of times a predicate is true for each character in a string.
Is a string empty?
Does string s end with post?
If so, returns a slice of s from the start up to the post string at the end.
Raise an exception with a specified message.
Raise a pattern match exception. This is function is used internally by the compiler to generate error messages on pattern match failures.
Return the last index of substring sub in s if it occurs.
O(n). If it occurs, return the position of substring sub in s, tupled with
the position just following the substring sub.
O(n). The first n (default = 1) characters in a string.
Invoke a function for each character in a string.
If action returns Juststd/core/Just: forall<a> (value : a) -> maybe<a>, the function returns immediately with that result.
Invoke a function for each character in a string.
Return the first character of a string (or Nothingstd/core/Nothing: forall<a> maybe<a> for the empty string).
Return the first character of a string as a string (or the empty string).
Return the host environment: dotnet, browser, webworker, or node.
O(n). The last n (default = 1) characters in a string.
Split a string into a list of lines.
Apply a function f to each character in a string.
Is a string not empty?
Right-align a string to width width using fill (default is a space) to fill from the left.
Left-align a string to width width using fill (default is a space) to fill on the right.
Parse an integer after trimming whitespace.
If an illegal digit character is encountered Nothingstd/core/Nothing: forall<a> maybe<a> is returned.
An empty string will result in Juststd/core/Just: forall<a> (value : a) -> maybe<a>(0).
A string can start with a - sign for negative numbers,
and with 0x or 0X for hexadecimal numbers (in which case the hex parameter is ignored).
Parse an integer using parseInt. If an illegal digit character is encountered the
defaultstd/core/default: forall<a> (m : maybe<a>, nothing : a) -> a value is returned. An empty string will also result in defaultstd/core/default: forall<a> (m : maybe<a>, nothing : a) -> a.
Print a string to the console.
Print a string to the console, including a final newline character.
Repeat a string n times.
Replace every occurrence of pattern to repl in a string.
Show a string as a string literal.
O(1). The entire string as a slice.
Split a string into parts that were delimited by sep. The delimeters are not included in the results.
For example: split("1,,2",",") == ["1","",.
Split a string into at most n parts that were delimited by a string sep. The delimeters are not included in the results (except for possibly the final part).
For example: split("1,2,3",",",2) == ["1","2,3"].
Is pre a prefix of s? If so, returns a slice
of s following pre up to the end of s.
Convert a character to a string.
Convert a vector of characters to a string.
Convert a list of characters to a string.
O(n). Copy the slicestd/core/slice: (s : string) -> sslice argument into a fresh string.
Takes O(1) time if the slice covers the entire string.
Convert a maybestd/core/maybe: V -> V string to a string using the empty sting for Nothingstd/core/Nothing: forall<a> maybe<a>.
Return the tail of a string (or the empty string).
Throw an exception.
Convert a string to lower-case.
Convert a string to upper-case.
Trace a message used for debug purposes.
The behaviour is system dependent. On a browser and node it uses
console.log by default.
Disabled if notracestd/core/notrace: () -> (st<global>) () is called.
Trim whitespace on the left and right side of a string.
Trim the starting white space of a string.
Trim off a substring sub while s starts with that string.
Trim the ending white space of a string.
Trim off a substring sub while s ends with that string.
Truncate a string to count characters.
An alias for the empty effect.
A trystd/core/try: V -> V type represents a first-class exception result.
Automatically generated. Tests for the Exnstd/core/Exn: forall<a> (exception : exception) -> try<a> constructor of the trystd/core/try: V -> V type.
Automatically generated. Tests for the Okstd/core/Ok: forall<a> (result : a) -> try<a> constructor of the trystd/core/try: V -> V type.
Catch any exception raised in action and handle it.
Use on-exnstd/core/on-exn: forall<a,e> (hndler : (exception) -> <exn|e> (), action : () -> <exn|e> a) -> <exn|e> a or on-exitstd/core/on-exit: forall<a,e> (hndler : () -> e (), action : () -> e a) -> e a when appropiate.
Transform an exception effect to a trystd/core/try: V -> V type.
unsafe. Catch any exception, including a possible cancelation.
Unsafe to use in general as you must guarantee to later use untrystd/core/untry: forall<a> (ex : try<a>) -> exn a to re-throw
at least a cancelation exception.
Transform an trystd/core/try: V -> V type back to an exn effect.
The uistd/core/ui: X effect signifies a function may access the graphics system.
The type of immutable arrays is called vectorstd/core/vector: V -> V.
Return the element at position index in vector v . Raise an out of bounds exception if index < 0 or index >= v.length .
Return the element at position index in vector v, or Nothingstd/core/Nothing: forall<a> maybe<a> if out of bounds.
Invoke a function f for each element in a vector v.
Invoke a function f for each element in a vector v.
If f returns Juststd/core/Just: forall<a> (value : a) -> maybe<a>, the iteration is stopped early and the result is returned.
Invoke a function f for each element in a vector v.
Concatenate a vector of strings.
Concatenate a vector of strings with a separator sep.
Return the length of a vector.
Apply a total function f to each element in a vector v.
Create an empty vector.
Convert a string to a vector of characters.
Create a new vector of length n with initial elements defaultstd/core/default: forall<a> (m : maybe<a>, nothing : a) -> a .
Convert a list to a vector.
Convert a vector to a list with an optional tail.
The voidstd/core/void: V type is empty and has no constructors.
See also the ()std/core/(): V unit type and the boolstd/core/bool: V type.
The write effect: signifies that a function may write to heap h.
Yield alias.
Apply a function f to a specified argument x.
Deprecated; use try instead. Catch an exception raised by throw and handle it.
Use on-exnstd/core/on-exn: forall<a,e> (hndler : (exception) -> <exn|e> (), action : () -> <exn|e> a) -> <exn|e> a or on-exitstd/core/on-exit: forall<a,e> (hndler : () -> e (), action : () -> e a) -> e a when appropiate.
Returns one of its arguments x or y based on a non-deterministic choice.
The const funs returns its first argument and ignores the second.
Return a ‘constant’ function that ignores its argument and always returns the same result.
Execute a hndler no matter what exception was raised in action.
The identity function returns its argument unchanged.
The ignorestd/core/ignore: forall<a> (x : a) -> () function ignores its argument.
Add the state effect to a function effect.
If local mutation is unobservable, the localstd/core/local: H -> X effect can be erased by using the run-locals function.
See also: State in Haskell, by Simon Peyton Jones and John Launchbury.
Used by the compiler to wrap main console applications.
Disable tracing completely.
Compose two funs f and g.
Set a hndler that is always called when the action finishes (either normally or with an exception).
Set a hndler that is called only when an exception is raised in the action block.
Given a total function to calculate a value a, return
a total function that only calculates the value once and then
returns the cached result.
redirect print and println calls to a specified function.
If a heap effect is unobservable, the heap effect can be erased by using the runstd/core/run: forall<e,a> (action : forall<h> () -> <st<h>|e> a) -> e a fun.
See also: State in Haskell, by Simon Peyton Jones and John Launchbury.
Return a default value when an exception is raised.
Unsafe. Mark a function parameter as decreasing to suppress the non-termination effect (divstd/core/div: X).
Unsafe. This function removes the non-termination effect (divstd/core/div: X) from the effect of an action.
Unsafe. This function removes the exception effect (exnstd/core/exn: X) from the effect of an action.
Unsafe. This function calls a function and pretends it did not have any effect at all.
The whilestd/core/while: forall<e> (predicate : () -> <div|e> bool, action : () -> <div|e> ()) -> <div|e> () fun executes action as long as pred is true.
This module defines standard operations that are always available.
Some types and operations are required to be defined for the compiler to work correctly (i.e. types like
intstd/core/int: Vorliststd/core/list: V -> V).