Modulefoundation-0.0.30Haskell2010

Foundation.Array

Simple Array and Almost-Array-like data structure

Generally accessible in o(1)

8 types
1 class

Packagefoundation-0.0.30
Exports9
LanguageHaskell2010
LicenceBSD-3-Clause
SourceArray.hs

datadata Array a

Array of a

Instances30Functor, Mappable, IsList, Eq, Data, Ord, …

Functor ArrayDefined in basement-0.0.16 · Basement.BoxedArray
Mappable ArrayDefined in foundation-0.0.30 · Foundation.Collection.Mappable
IsList (Array ty)Defined in basement-0.0.16 · Basement.BoxedArray
Eq a => Eq (Array a)Defined in basement-0.0.16 · Basement.BoxedArray
Data ty => Data (Array ty)Defined in basement-0.0.16 · Basement.BoxedArray
Ord a => Ord (Array a)Defined in basement-0.0.16 · Basement.BoxedArray
Show a => Show (Array a)Defined in basement-0.0.16 · Basement.BoxedArray
Semigroup (Array a)Defined in basement-0.0.16 · Basement.BoxedArray
Monoid (Array a)Defined in basement-0.0.16 · Basement.BoxedArray
NormalForm a => NormalForm (Array a)Defined in basement-0.0.16 · Basement.BoxedArray
Collection (Array ty)Defined in foundation-0.0.30 · Foundation.Collection.Collection
Foldable (Array ty)Defined in foundation-0.0.30 · Foundation.Collection.Foldable
Sequential (Array ty)Defined in foundation-0.0.30 · Foundation.Collection.Sequential
Buildable (Array ty)Defined in foundation-0.0.30 · Foundation.Collection.Buildable
Copy (Array ty)Defined in foundation-0.0.30 · Foundation.Collection.Copy
Fold1able (Array ty)Defined in foundation-0.0.30 · Foundation.Collection.Foldable
IndexedCollection (Array ty)Defined in foundation-0.0.30 · Foundation.Collection.Indexed
InnerFunctor (Array ty)Defined in foundation-0.0.30 · Foundation.Collection.InnerFunctor
BoxedZippable (Array ty)Defined in foundation-0.0.30 · Foundation.Collection.Zippable
Zippable (Array ty)Defined in foundation-0.0.30 · Foundation.Collection.Zippable
Hashable a => Hashable (Array a)Defined in foundation-0.0.30 · Foundation.Hashing.Hashable
PrimType ty => From (Array ty) (Block ty)Defined in basement-0.0.16 · Basement.From
PrimType ty => From (Array ty) (UArray ty)Defined in basement-0.0.16 · Basement.From
PrimType ty => From (UArray ty) (Array ty)Defined in basement-0.0.16 · Basement.From
(NatWithinBound (CountOf ty) n, KnownNat n, PrimType ty) => TryFrom (Array ty) (BlockN n ty)Defined in basement-0.0.16 · Basement.From
(NatWithinBound Int n, PrimType ty) => From (BlockN n ty) (Array ty)Defined in basement-0.0.16 · Basement.From
type Item (Array ty) = tyDefined in basement-0.0.16 · Basement.BoxedArray
type Element (Array ty) = tyDefined in foundation-0.0.30 · Foundation.Collection.Element
type Mutable (Array ty) = MArray tyDefined in foundation-0.0.30 · Foundation.Collection.Buildable
type Step (Array ty) = tyDefined in foundation-0.0.30 · Foundation.Collection.Buildable

datadata MArray a st

Mutable Array of a

Instances5MutableCollection, RandomAccess, MutableFreezed, MutableKey, MutableValue

MutableCollection (MArray ty)Defined in foundation-0.0.30 · Foundation.Collection.Mutable
(PrimMonad prim, st ~ PrimState prim) => RandomAccess (MArray ty st) prim tyDefined in basement-0.0.16 · Basement.BoxedArray
type MutableFreezed (MArray ty) = Array tyDefined in foundation-0.0.30 · Foundation.Collection.Mutable
type MutableKey (MArray ty) = Offset tyDefined in foundation-0.0.30 · Foundation.Collection.Mutable
type MutableValue (MArray ty) = tyDefined in foundation-0.0.30 · Foundation.Collection.Mutable

datadata UArray ty

An array of type built on top of GHC primitive.

The elements need to have fixed sized and the representation is a packed contiguous array in memory that can easily be passed to foreign interface

Instances31IsList, Eq, Data, Ord, Show, Semigroup, …

From AsciiString (UArray Word8)Defined in basement-0.0.16 · Basement.From
From String (UArray Word8)Defined in basement-0.0.16 · Basement.From
PrimType ty => IsList (UArray ty)Defined in basement-0.0.16 · Basement.UArray.Base
(PrimType ty, Eq ty) => Eq (UArray ty)Defined in basement-0.0.16 · Basement.UArray.Base
Data ty => Data (UArray ty)Defined in basement-0.0.16 · Basement.UArray.Base
(PrimType ty, Ord ty) => Ord (UArray ty)Defined in basement-0.0.16 · Basement.UArray.Base
(PrimType ty, Show ty) => Show (UArray ty)Defined in basement-0.0.16 · Basement.UArray.Base
PrimType ty => Semigroup (UArray ty)Defined in basement-0.0.16 · Basement.UArray.Base
PrimType ty => Monoid (UArray ty)Defined in basement-0.0.16 · Basement.UArray.Base
NormalForm (UArray ty)Defined in basement-0.0.16 · Basement.UArray.Base
PrimType ty => Collection (UArray ty)Defined in foundation-0.0.30 · Foundation.Collection.Collection
PrimType ty => Foldable (UArray ty)Defined in foundation-0.0.30 · Foundation.Collection.Foldable
PrimType ty => Sequential (UArray ty)Defined in foundation-0.0.30 · Foundation.Collection.Sequential
PrimType ty => Buildable (UArray ty)Defined in foundation-0.0.30 · Foundation.Collection.Buildable
PrimType ty => Copy (UArray ty)Defined in foundation-0.0.30 · Foundation.Collection.Copy
PrimType ty => Fold1able (UArray ty)Defined in foundation-0.0.30 · Foundation.Collection.Foldable
PrimType ty => IndexedCollection (UArray ty)Defined in foundation-0.0.30 · Foundation.Collection.Indexed
PrimType ty => InnerFunctor (UArray ty)Defined in foundation-0.0.30 · Foundation.Collection.InnerFunctor
PrimType ty => Zippable (UArray ty)Defined in foundation-0.0.30 · Foundation.Collection.Zippable
PrimType a => Hashable (UArray a)Defined in foundation-0.0.30 · Foundation.Hashing.Hashable
TryFrom (UArray Word8) StringDefined in basement-0.0.16 · Basement.From
PrimType ty => From (Block ty) (UArray ty)Defined in basement-0.0.16 · Basement.From
PrimType ty => From (Array ty) (UArray ty)Defined in basement-0.0.16 · Basement.From
PrimType ty => From (UArray ty) (Block ty)Defined in basement-0.0.16 · Basement.From
PrimType ty => From (UArray ty) (Array ty)Defined in basement-0.0.16 · Basement.From
(NatWithinBound (CountOf ty) n, KnownNat n, PrimType ty) => TryFrom (UArray ty) (BlockN n ty)Defined in basement-0.0.16 · Basement.From
(NatWithinBound Int n, PrimType ty) => From (BlockN n ty) (UArray ty)Defined in basement-0.0.16 · Basement.From
type Item (UArray ty) = tyDefined in basement-0.0.16 · Basement.UArray.Base
type Element (UArray ty) = tyDefined in foundation-0.0.30 · Foundation.Collection.Element
type Mutable (UArray ty) = MUArray tyDefined in foundation-0.0.30 · Foundation.Collection.Buildable
type Step (UArray ty) = tyDefined in foundation-0.0.30 · Foundation.Collection.Buildable

datadata MUArray ty st

A Mutable array of types built on top of GHC primitive.

Element in this array can be modified in place.

Instances4MutableCollection, MutableFreezed, MutableKey, MutableValue

PrimType ty => MutableCollection (MUArray ty)Defined in foundation-0.0.30 · Foundation.Collection.Mutable
type MutableFreezed (MUArray ty) = UArray tyDefined in foundation-0.0.30 · Foundation.Collection.Mutable
type MutableKey (MUArray ty) = Offset tyDefined in foundation-0.0.30 · Foundation.Collection.Mutable
type MutableValue (MUArray ty) = tyDefined in foundation-0.0.30 · Foundation.Collection.Mutable

newtypenewtype ChunkedUArray ty

Instances13IsList, Eq, Ord, Show, Semigroup, Monoid, …

PrimType ty => IsList (ChunkedUArray ty)Defined in foundation-0.0.30 · Foundation.Array.Chunked.Unboxed
PrimType ty => Eq (ChunkedUArray ty)Defined in foundation-0.0.30 · Foundation.Array.Chunked.Unboxed
(PrimType ty, Ord ty) => Ord (ChunkedUArray ty)Defined in foundation-0.0.30 · Foundation.Array.Chunked.Unboxed
(PrimType ty, Show ty) => Show (ChunkedUArray ty)Defined in foundation-0.0.30 · Foundation.Array.Chunked.Unboxed
Semigroup (ChunkedUArray a)Defined in foundation-0.0.30 · Foundation.Array.Chunked.Unboxed
Monoid (ChunkedUArray a)Defined in foundation-0.0.30 · Foundation.Array.Chunked.Unboxed
NormalForm (ChunkedUArray ty)Defined in foundation-0.0.30 · Foundation.Array.Chunked.Unboxed
PrimType ty => Collection (ChunkedUArray ty)Defined in foundation-0.0.30 · Foundation.Array.Chunked.Unboxed
PrimType ty => Foldable (ChunkedUArray ty)Defined in foundation-0.0.30 · Foundation.Array.Chunked.Unboxed
PrimType ty => Sequential (ChunkedUArray ty)Defined in foundation-0.0.30 · Foundation.Array.Chunked.Unboxed
PrimType ty => IndexedCollection (ChunkedUArray ty)Defined in foundation-0.0.30 · Foundation.Array.Chunked.Unboxed
type Item (ChunkedUArray ty) = tyDefined in foundation-0.0.30 · Foundation.Array.Chunked.Unboxed
type Element (ChunkedUArray ty) = tyDefined in foundation-0.0.30 · Foundation.Array.Chunked.Unboxed

datadata Bitmap

Instances13IsList, Eq, Ord, Show, Semigroup, Monoid, …

IsList BitmapDefined in foundation-0.0.30 · Foundation.Array.Bitmap
Eq BitmapDefined in foundation-0.0.30 · Foundation.Array.Bitmap
Ord BitmapDefined in foundation-0.0.30 · Foundation.Array.Bitmap
Show BitmapDefined in foundation-0.0.30 · Foundation.Array.Bitmap
Semigroup BitmapDefined in foundation-0.0.30 · Foundation.Array.Bitmap
Monoid BitmapDefined in foundation-0.0.30 · Foundation.Array.Bitmap
Collection BitmapDefined in foundation-0.0.30 · Foundation.Array.Bitmap
Foldable BitmapDefined in foundation-0.0.30 · Foundation.Array.Bitmap
Sequential BitmapDefined in foundation-0.0.30 · Foundation.Array.Bitmap
IndexedCollection BitmapDefined in foundation-0.0.30 · Foundation.Array.Bitmap
InnerFunctor BitmapDefined in foundation-0.0.30 · Foundation.Array.Bitmap
type Item Bitmap = BoolDefined in foundation-0.0.30 · Foundation.Array.Bitmap
type Element Bitmap = BoolDefined in foundation-0.0.30 · Foundation.Array.Bitmap

datadata MutableBitmap st

Instances4MutableCollection, MutableFreezed, MutableKey, MutableValue

MutableCollection MutableBitmapDefined in foundation-0.0.30 · Foundation.Array.Bitmap
type MutableFreezed MutableBitmap = BitmapDefined in foundation-0.0.30 · Foundation.Array.Bitmap
type MutableKey MutableBitmap = Offset BoolDefined in foundation-0.0.30 · Foundation.Array.Bitmap
type MutableValue MutableBitmap = BoolDefined in foundation-0.0.30 · Foundation.Array.Bitmap

classclass Eq ty => PrimType ty where

Represent the accessor for types that can be stored in the UArray and MUArray.

Types need to be a instance of storable and have fixed sized.

Instances22PrimType, …

PrimType Char7Defined in basement-0.0.16 · Basement.PrimType
PrimType Word128Defined in basement-0.0.16 · Basement.PrimType
PrimType Word256Defined in basement-0.0.16 · Basement.PrimType
PrimType NanoSecondsDefined in foundation-0.0.30 · Foundation.Time.Types
PrimType SecondsDefined in foundation-0.0.30 · Foundation.Time.Types
PrimType CCharDefined in basement-0.0.16 · Basement.PrimType
PrimType CUCharDefined in basement-0.0.16 · Basement.PrimType
PrimType Int16Defined in basement-0.0.16 · Basement.PrimType
PrimType Int32Defined in basement-0.0.16 · Basement.PrimType
PrimType Int64Defined in basement-0.0.16 · Basement.PrimType
PrimType Int8Defined in basement-0.0.16 · Basement.PrimType
PrimType Word16Defined in basement-0.0.16 · Basement.PrimType
PrimType Word32Defined in basement-0.0.16 · Basement.PrimType
PrimType Word64Defined in basement-0.0.16 · Basement.PrimType
PrimType Word8Defined in basement-0.0.16 · Basement.PrimType
PrimType CharDefined in basement-0.0.16 · Basement.PrimType
PrimType DoubleDefined in basement-0.0.16 · Basement.PrimType
PrimType FloatDefined in basement-0.0.16 · Basement.PrimType
PrimType IntDefined in basement-0.0.16 · Basement.PrimType
PrimType WordDefined in basement-0.0.16 · Basement.PrimType
PrimType a => PrimType (BE a)Defined in basement-0.0.16 · Basement.PrimType
PrimType a => PrimType (LE a)Defined in basement-0.0.16 · Basement.PrimType

datadata OutOfBound

Exception during an operation accessing the vector out of bound

Represent the type of operation, the index accessed, and the total length of the vector.

Instances2Show, Exception

Show OutOfBoundDefined in basement-0.0.16 · Basement.Exception
Exception OutOfBoundDefined in basement-0.0.16 · Basement.Exception