Plange


The plange standard library is in the Plange namespace, which is the top-level (global) namespace. The top-level statement_scope of each source unit is within the Plange namespace. As such, the following symbols are accessible immediately in a source unit.

Functions

SignatureComments
<Number → Number> absabsolute value
<UInt8 → Char> ansi_chr
<Char → Maybe<UInt8>> ansi_ord
<Bool * String → Void> assert
<Int32 → Char> chr
<File → Void> close
<T → U> coerceconvert a value to a different representation, possibly using lexographic algorithms
<Void → Void> collecttrigger garbage collection if the runtime deems it sensible
<Function<T, T, Pointer, argTypes...>> construct
<Function<T, U, ^argTypes> * U → Function>T, argTypes...> curry
<_ → Void> debug
<_ → String> dump
<_ → Void> error
<String → Value> eval
<File → Void> flush
<<T → Maybe<U> * Collection<T> → Collection<U> filter
<<T * U → U> * Collection<T> * U → U> fold
<<T * U → U> * Collection<T> * U → U> fold_r
<_ → Int32> hash
<Void → Void> helpprint help information for the given object or string
<_ → String> input
<Void → Void> interruptprogrammatically trigger a breakpoint
<<T → U> * Collection<T> → Collection<U>> map
<(Collection<T> | T^_) → T> max
<(Collection<T> | T^_) → T> min
<Void → DateTime> now
<String * FileMode → File> open
<Char → Int32> ord
<_ → Void> print
<_ → Void> print_line
<File * Int → Array<Byte>> read
<<T * T → T> * Collection<T> → T> reduce
<<T * T → T> * Collection<T> → T> reduce_r
<File * Int * SeekOrigin → Void> seek
<String → Int32> | <String * File * File * File → Int32> shellexecute a command in the system shell
<Collection<T> → Tuple<T>> to_tupleconvert an ordered collection or object to tuple
<Void → Date> today
<File * Array<Byte> → Void> write

Types

NameComments
BitArray
Bool
ComplexAn element of ℂ (DOUBLE-STRUCK CAPITAL C U+2102), the complex numbers { <Real> r; <Real> i; }
Date, DateTime
ExecutionContext
Expression
FloatAn element of ℚ (DOUBLE-STRUCK CAPITAL Q U+211A), the rational numbers
Float16, Float32, Float64, Float128
ImaginaryAn element of 𝕀 (MATHEMATICAL DOUBLE-STRUCK CAPITAL I U+1D540)
IntAn element of ℤ (DOUBLE-STRUCK CAPITAL Z U+2124) , the integers (big integer)
Int8, Int16, Int32, Int64, Int128, UInt8, UInt16, UInt32, UInt64, UInt128
Int16Seta 65536-bit array for fast set operations
Int24Seta 16777216-bit (2M) array for fast set operations
Int8Seta 256-bit array for fast set operations
OctonionAn element of 𝕆 (MATHEMATICAL DOUBLE-STRUCK CAPITAL O U+1D546)
Parameter
QuaternionAn element of ℍ (DOUBLE-STRUCK CAPITAL H U+210D)
RealAn element of ℝ (DOUBLE-STRUCK CAPITAL R U+211D), the real numbers (either BigFloat or an algebraic value)
Relation
Scope
String
Type
Unit
UnitOfMeasure
Value
Void

Constants

argsthe command line arguments
envthe environment variables
falseone of two values that a Bool may take, the other being true
endlinethe platform-specific endline string
nullthe null pointer
trueone of two values that a Bool may take, the other being false
πpi(GREEK SMALL LETTER PI U+03CO)pi mathematical constant
CC(DOUBLE-STRUCK CAPITAL C U+2102)complex numbers
HH(DOUBLE-STRUCK CAPITAL H U+210D)quaternions
NN(DOUBLE-STRUCK CAPITAL N U+2115)natural numbers (non-negative integers)
QQ(DOUBLE-STRUCK CAPITAL Q U+211A)rational numbers
RR(DOUBLE-STRUCK CAPITAL R U+211D)real numbers
ZZ(DOUBLE-STRUCK CAPITAL Z U+2124)integers
ℵ(n)(ALEF SYMBOL U+2135)When n = 0, the cardinality of ℕ, |ℕ|
ii(DOUBLE-STRUCK ITALIC SMALL I U+2148)imaginary unit
{||}(EMPTY SET U+2205)the empty set
𝑒e(MATHEMATICAL ITALIC SMALL E U+1D452)e mathematical constant
𝔹BB(MATHEMATICA DOUBLE-STRUCK CAPITAL B U+1D539)booleans
𝕀II(MATHEMATICAL DOUBLE-STRUCK CAPITAL I U+1D540)imaginary numbers
𝕄(m, n)MM(m, n)(MATHEMATICAL DOUBLE-STRUCK CAPITAL M U+1D544)m x n matrices of reals
𝕆OO(MATHEMATICAL DOUBLE-STRUCK CAPITAL O U+1D546)octonions
𝕎WW(MATHEMATICAL DOUBLE-STRUCK CAPITAL W U+1D54E)whole numbers (positive integers)

Type Functions

Notes: For parallel processing, "Ts" collections are thread safe, and "C" collections are concurrent. Concurrent collections provide an interface that differs from their non-concurrent counterparts - primarily using read-modify-write idioms. These interface variants facilitate provable correctness for some concurrent algorithms and should be preferred over other collections for such applications. Thread safe and concurrent collections are implemented with lock free algorithms whenever possible. Thread safe collections do not provide interfaces that encourage logical correctness, but they do guarantee that each operation executed by a thread appears atomic to all other threads.

Accessor
Array, TsArray
Bag, CBag
BidirectionalIterator
BinaryRelation(<Type> Left, <Type> Right) { return Left * Right → Bool; };
Bimap, HashBimap TsBimap, TsHashBimap
BinNode, TsBinNode
Cache, TsCache
Collection, ReadOnlyCollection
Complex
Const
Consumer
Deque, TsDeque
Denumerable
Function
FiniteDenumerable
ForwardIterator
InfiniteDenumerable
Iterator
List, TsList
Map, HashMap, TsMap, TsHashMap, CMap, CHashMapNon "hash" variations are ordered
Matrix
MaxHeap, MinHeap, TsMaxHeap, TsMinHeap, TsCoalescingMaxHeap
MultiMap, TsMultiMap
NonDenumerable
Octonion
Pointer
Predicate(<Type> Operand) { return Operand → Bool; };
PriorityQueue, TsPriorityQueue
Producer
Quaternion
Queue, TsQueue
RandomAccessIterator
Set, HashSet, TsSet, TsHashSet, CSet, CHashSetNon "hash" variations are ordered
Singleton
Stack, CStack
ThreadLocal
Vector, TsVectorFixed size; see DynamicArray for an array of variable size

Namespaces

Allocators
Cas
Compiler
Containers
Graphics
Gtk
IO
LinearMath
OpenGLv45
OpenGLESv101
OpenSLESv11
Parser
Runtime
Structures
Sychronization
Task
UnitsOfMeasure(dimensional analysis)
Virtualizationsinstantiate and manage virtual execution environments
Virtualizations.Remote
Vulkan10

copyright © Brent Lewis 2017