Numeric.Classes.Indexing

Documentation

class Indexable a where

Type class for array-like data type which support O(1) access by integer index starting from zero.

Associated Types

type IndexVal a :: *

Methods

size :: a -> Int

Size of table.

unsafeIndex :: a -> Int -> IndexVal a

O(1) Index table without range cheking.

(!) :: a -> Int -> IndexVal a

O(1) Safe indexing. Calls error if index is out of range.

Instances

Indexable UniformMesh

Indexable (Vector a)

Unbox a => Indexable (Vector a)

Storable a => Indexable (Vector a)

(Mesh mesh, ~ * (IndexVal mesh) Double) => Indexable (CubicSpline mesh)

(Mesh mesh, ~ * (IndexVal mesh) Double) => Indexable (LinearInterp mesh)

validIndex :: Indexable a => a -> Int -> Bool

Check that index is valid