Feldspar.Core.Collection

General interfaces to collections of data

Documentation

type family Elem a

Collection element type

Instances

type Elem (Data [a]) = Data a

type Elem (Vector a) = a

type Elem (BitVector w) = Data Bool

type Elem (Stream a) = a

type Elem (Vector sh a) = a

type family CollIndex a

Collection index type

Instances

type CollIndex (Data [a]) = Data Index

type CollIndex (Vector a) = Data Index

type CollIndex (BitVector w) = Data Index

type CollIndex (Stream a) = Data Index

type CollIndex (Vector sh a) = sh

type family CollSize a

Collection size type

Instances

type CollSize (Data [a]) = Data Length

type CollSize (Vector a) = Data Length

type CollSize (BitVector w) = Data Length

type CollSize (Vector sh a) = sh

class Indexed a where

Data structures that support indexing

Methods

(!) :: a -> CollIndex a -> Elem a infixl 9

Instances

Type a => Indexed (Data [a])

Syntax a => Indexed (Vector a)

(Unit w, (~) * (Size w) (Range w)) => Indexed (BitVector w)

Syntax a => Indexed (Stream a)

Syntax a => Indexed (Vector sh a)

class Sized a where

Sized data structures

Methods

collSize :: a -> CollSize a

setCollSize :: CollSize a -> a -> a

Instances

Type a => Sized (Data [a])

Syntax a => Sized (Vector a)

(Syntax a, Shape sh) => Sized (Vector sh a)

class CollMap a b where

Mapping over collections

Methods

collMap :: (Elem a -> Elem b) -> a -> b

Instances

(Type a, Type b) => CollMap (Data [a]) (Data [b])

CollMap (Vector a) (Vector b)

CollMap (Vector sh a) (Vector sh a)