Package array - Namespaces

• Data.Array.All
• Data.Array.Core

  Core data types and functions for working with immutable and mutable (linear) arrays.
• Data.Array.Index

  This module provides several ways to safely index into an array of known size. All conversions between different index types are optimized away by the compiler, because they are all of the same structure during code generation: An encoding of natural numbers which the Idris compiler converts to a native integer representation.
• Data.Array.Indexed
• Data.Array.Mutable
• Data.Array
• Data.Buffer.Builder
• Data.Buffer.Core
• Data.Buffer.Indexed
• Data.Buffer.Mutable