Authoritative source: Standard library map
Standard library map
| Module | Main role |
|---|---|
Prelude |
Primitive declarations |
Core |
Fundamental ADTs and combinators |
Reflection |
Typed semantic reflection, data-code transforms, derive plans, runtime type identity |
Algebra |
Numeric, comparison, display, and general algebras |
Morphism |
Conversion, embedding, and isomorphism relations |
Instances |
Standard evidence implementations |
Categorical |
Category, Arrow, Functor, Applicative, Monad |
Collection |
Container-oriented algebras |
Effect |
Console, files, exceptions, state, sequencing |
Mutable |
References and mutable arrays |
Repr |
Representation mappings |
SIMD |
Vector and lane abstractions |
String |
Unicode scalar operations and the Textual contract |
Utf8 |
Portable validated canonical UTF-8 text and codecs |
Math.* |
Numeric, linear algebra, statistics, transforms, optimization, random |
System.Time |
Time facilities |
Backend.LLVM.Native |
Current native providers and intrinsics |
Base |
Umbrella re-export loaded by compiler commands |
Consult StandardLibrary.md for generated current API details. Module contents may advance with implementation; they do not define new surface syntax.