index
See here for APIs not in this index.
Also, see here for terminology.
symbol
- ! → side effect
- !-type → mutable type
- ? → error handling
- # → Str
- $ → shared
- %
- &
- &&
- ′ (single quote)
- " (double quote)
- () → Tuple
- *
- + (prefix) → operator
- +_ → + (prefix)
- + (infix) → operator
- + (infix) → Trait
- ,
- − (prefix)
- −_ → − (prefix)
- − (infix) → operator
- − (infix) → Trait
- −> → anonymous function
- . → Visibility
- .. → closed range operator
- ..< → right-open range operator
- ...
- ... → Extract assignment
- ... → Variable-length arguments
- /
- :
- : → Colon application style
- : → Type ascription
- : → Keyword arguments
- :: → private variable modifier
- := → default parameters
- ;
- <
- <: → Subtype specification
- <<
- <=
- <.. → left-open range operator
- <..< → open range operator
- = → Variable
- ==
- => → anonymous procedure operator
- >
- >>
- >=
- @ → decorator
- [] → Array
- \ → Escaping
- ^
- ^^
- _ → Type erasure
- _+_ → + (infix)
- _-_ → − (infix)
- `` (back quote)
- {}
- {=} → Type System
- |
- || → Type variable list
- ~
alphabet
A
- [Add]
- alias
- Aliasing
- For all types
- algebraic type
- [And]
- [and]
- anonymous function
- anonymous type → Type system
- Array
- assert
- Attach
- attribute
- Attribute definitions
- Attribute type
B
C
- Cast
- Comments
- Complex object
- Compile-time functions
- circular references
- Class
- Class relationship
- Class upcasting
- Colon application style
- Closure
- Compound literals
- Complement
- Comprehension
- constant
- Constants
- Context
D
- Data type
- Declaration
- decorator
- Default parameters
- Del
- Dependent type
- Deprecated
- Dict
- Diff
- distinct
- Downcasting
E
- Empty record
- Enum class
- Enum type
- Enumerated, Interval and Refinement types
- error handling
- Existential type
- Exponential literal
- Extract assignment
F
- False → Boolean object
- Float object
- for
- For-All patch
- freeze
- Function
- Function definition with multiple patterns
G
H
I
- id
- if
- import
- impl
- in
- Indention
- Instant block
- Instance/class attributes
- inheritable
- inheritance
- Int
- Integration with Python
- Interval Type
- Intersection
- Iterator
J
K
L
- lambda → anonymous function
- let-polymorphism → [rank 1 polymorphism]
- Literal Identifiers
M
- match
- Marker trait
- Method
- Modifier → decorator
- module
- Multiple inheritance
- Multi-layer (multi-level) Inheritance
- Mutable type
- Mutable structure type
- Mutability
N
- Nat
- Never
- New type
- Heterogeneous Dict
- None → [None Object]
- None Object
- Nominal Subtyping → Class
- Not
- not
O
- Object
- [Option]
- [Or]
- [or]
- [Ord]
- ownership system
- Overloading
- Overriding
- Override in trait
P
- Panic
- Patch
- Pattern match
- Phantom class
- pipeline operator
- Predicate
- print!
- Procedures
- Projection type
- Python → Integration with Python
Q
R
- Range Object
- ref
- ref!
- Record
- Recursive functions
- Refinement pattern
- Refinement type
- replication
- Replacing traits
- Result → error handling
S
- Script
- self
- Self
- Shared reference
- side-effect
- Smart cast
- Spread assignment
- special type variables
- Stack trace
- Structure type
- Structural patch
- Structural trait
- Structural subtyping
- Structural types and class type relationships
- Str
- Subtyping
- Subtyping of subroutines
- Subtype specification
- Subtyping of polymorphic function types
- Subroutine signatures
T
- Test
- Traits
- Trait inclusion
- True → Boolean object
- True algebraic type
- Type
- type
- Type arguments in method definitions
- Type bound
- Type definitions
- Type erasure
- Type inference system
- Type specification
- Type system
- Type widening
- Tuple
U
V
W
- while!