Data.Array.Comfort.Container

This module provides an array shape type, that allows to store elements from a container while preserving the container structure.

Documentation

class Foldable f => C f where

Associated Types

data Shape f

Methods

shapeSize :: Shape f -> Int

fromList :: Shape f -> [a] -> f a

toShape :: f a -> Shape f

Instances

C []

Defined in Data.Array.Comfort.Container

Associated Types

data Shape []

Methods

shapeSize :: Shape [] -> Int

fromList :: Shape [] -> [a] -> [a]

toShape :: [a] -> Shape []

C T

Defined in Data.Array.Comfort.Container

Associated Types

data Shape T

Methods

shapeSize :: Shape T -> Int

fromList :: Shape T -> [a] -> T a

toShape :: T a -> Shape T

Ord k => C (Map k)

Defined in Data.Array.Comfort.Container

Associated Types

data Shape (Map k)

Methods

shapeSize :: Shape (Map k) -> Int

fromList :: Shape (Map k) -> [a] -> Map k a

toShape :: Map k a -> Shape (Map k)

Ord k => C (T k)

Defined in Data.Array.Comfort.Container

Associated Types

data Shape (T k)

Methods

shapeSize :: Shape (T k) -> Int

fromList :: Shape (T k) -> [a] -> T k a

toShape :: T k a -> Shape (T k)

C f => C (T f)

Defined in Data.Array.Comfort.Container

Associated Types

data Shape (T f)

Methods

shapeSize :: Shape (T f) -> Int

fromList :: Shape (T f) -> [a] -> T f a

toShape :: T f a -> Shape (T f)

class C f => EqShape f where

Methods

eqShape :: Shape f -> Shape f -> Bool

Instances

EqShape []

Defined in Data.Array.Comfort.Container

Methods

eqShape :: Shape [] -> Shape [] -> Bool

EqShape T

Defined in Data.Array.Comfort.Container

Methods

eqShape :: Shape T -> Shape T -> Bool

Ord k => EqShape (Map k)

Defined in Data.Array.Comfort.Container

Methods

eqShape :: Shape (Map k) -> Shape (Map k) -> Bool

Ord k => EqShape (T k)

Defined in Data.Array.Comfort.Container

Methods

eqShape :: Shape (T k) -> Shape (T k) -> Bool

EqShape f => EqShape (T f)

Defined in Data.Array.Comfort.Container

Methods

eqShape :: Shape (T f) -> Shape (T f) -> Bool

class C f => NFShape f where

Methods

rnfShape :: Shape f -> ()

Instances

NFShape []

Defined in Data.Array.Comfort.Container

Methods

rnfShape :: Shape [] -> ()

NFShape T

Defined in Data.Array.Comfort.Container

Methods

rnfShape :: Shape T -> ()

(NFData k, Ord k) => NFShape (Map k)

Defined in Data.Array.Comfort.Container

Methods

rnfShape :: Shape (Map k) -> ()

(NFData k, Ord k) => NFShape (T k)

Defined in Data.Array.Comfort.Container

Methods

rnfShape :: Shape (T k) -> ()

NFShape f => NFShape (T f)

Defined in Data.Array.Comfort.Container

Methods

rnfShape :: Shape (T f) -> ()

class C f => Indexed f where

Associated Types

type Index f

Methods

indices :: Shape f -> [Index f]

unifiedSizeOffset :: Checking check => Shape f -> (Int, Index f -> Result check Int)

Instances

Indexed []

Defined in Data.Array.Comfort.Container

Associated Types

type Index []

Methods

indices :: Shape [] -> [Index []]

unifiedSizeOffset :: Checking check => Shape [] -> (Int, Index [] -> Result check Int)

Ord k => Indexed (Map k)

Defined in Data.Array.Comfort.Container

Associated Types

type Index (Map k)

Methods

indices :: Shape (Map k) -> [Index (Map k)]

unifiedSizeOffset :: Checking check => Shape (Map k) -> (Int, Index (Map k) -> Result check Int)

Ord k => Indexed (T k)

Defined in Data.Array.Comfort.Container

Associated Types

type Index (T k)

Methods

indices :: Shape (T k) -> [Index (T k)]

unifiedSizeOffset :: Checking check => Shape (T k) -> (Int, Index (T k) -> Result check Int)

C f => Indexed (T f)

Defined in Data.Array.Comfort.Container

Associated Types

type Index (T f)

Methods

indices :: Shape (T f) -> [Index (T f)]

unifiedSizeOffset :: Checking check => Shape (T f) -> (Int, Index (T f) -> Result check Int)