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 [] :: Type

Methods

shapeSize :: Shape [] -> Int

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

toShape :: [a] -> Shape []

C T

Defined in Data.Array.Comfort.Container

Associated Types

data Shape T :: Type

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) :: Type

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) :: Type

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) :: Type

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) -> ()