Data.Array.Comfort.Shape

Documentation

class C sh where

Minimal complete definition

size

Methods

size :: sh -> Int

uncheckedSize :: sh -> Int

Instances

C ()

Defined in Data.Array.Comfort.Shape

Methods

size :: () -> Int

uncheckedSize :: () -> Int

C sh => C (Deferred sh)

Defined in Data.Array.Comfort.Shape

Methods

size :: Deferred sh -> Int

uncheckedSize :: Deferred sh -> Int

(Enum n, Bounded n) => C (Enumeration n)

Defined in Data.Array.Comfort.Shape

Methods

size :: Enumeration n -> Int

uncheckedSize :: Enumeration n -> Int

Integral n => C (Shifted n)

Defined in Data.Array.Comfort.Shape

Methods

size :: Shifted n -> Int

uncheckedSize :: Shifted n -> Int

Ix n => C (Range n)

Defined in Data.Array.Comfort.Shape

Methods

size :: Range n -> Int

uncheckedSize :: Range n -> Int

Integral n => C (OneBased n)

Defined in Data.Array.Comfort.Shape

Methods

size :: OneBased n -> Int

uncheckedSize :: OneBased n -> Int

Integral n => C (ZeroBased n)

Defined in Data.Array.Comfort.Shape

Methods

size :: ZeroBased n -> Int

uncheckedSize :: ZeroBased n -> Int

(C sh0, C sh1) => C (sh0, sh1)

Row-major composition of two dimensions.

Defined in Data.Array.Comfort.Shape

Methods

size :: (sh0, sh1) -> Int

uncheckedSize :: (sh0, sh1) -> Int

(C sh0, C sh1) => C (sh0 :+: sh1)

Defined in Data.Array.Comfort.Shape

Methods

size :: (sh0 :+: sh1) -> Int

uncheckedSize :: (sh0 :+: sh1) -> Int

(TriangularPart part, C size) => C (Triangular part size)

Defined in Data.Array.Comfort.Shape

Methods

size :: Triangular part size -> Int

uncheckedSize :: Triangular part size -> Int

(C sh0, C sh1, C sh2) => C (sh0, sh1, sh2)

Defined in Data.Array.Comfort.Shape

Methods

size :: (sh0, sh1, sh2) -> Int

uncheckedSize :: (sh0, sh1, sh2) -> Int

class C sh => Indexed sh where

Minimal complete definition

indices, (sizeOffset | offset), inBounds

Associated Types

type Index sh :: *

Methods

indices :: sh -> [Index sh]

offset :: sh -> Index sh -> Int

uncheckedOffset :: sh -> Index sh -> Int

inBounds :: sh -> Index sh -> Bool

sizeOffset :: sh -> (Int, Index sh -> Int)

uncheckedSizeOffset :: sh -> (Int, Index sh -> Int)

Instances

Indexed ()

Defined in Data.Array.Comfort.Shape

Associated Types

type Index () :: Type

Methods

indices :: () -> [Index ()]

offset :: () -> Index () -> Int

uncheckedOffset :: () -> Index () -> Int

inBounds :: () -> Index () -> Bool

sizeOffset :: () -> (Int, Index () -> Int)

uncheckedSizeOffset :: () -> (Int, Index () -> Int)

C sh => Indexed (Deferred sh)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Deferred sh) :: Type

Methods

indices :: Deferred sh -> [Index (Deferred sh)]

offset :: Deferred sh -> Index (Deferred sh) -> Int

uncheckedOffset :: Deferred sh -> Index (Deferred sh) -> Int

inBounds :: Deferred sh -> Index (Deferred sh) -> Bool

sizeOffset :: Deferred sh -> (Int, Index (Deferred sh) -> Int)

uncheckedSizeOffset :: Deferred sh -> (Int, Index (Deferred sh) -> Int)

(Enum n, Bounded n) => Indexed (Enumeration n)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Enumeration n) :: Type

Methods

indices :: Enumeration n -> [Index (Enumeration n)]

offset :: Enumeration n -> Index (Enumeration n) -> Int

uncheckedOffset :: Enumeration n -> Index (Enumeration n) -> Int

inBounds :: Enumeration n -> Index (Enumeration n) -> Bool

sizeOffset :: Enumeration n -> (Int, Index (Enumeration n) -> Int)

uncheckedSizeOffset :: Enumeration n -> (Int, Index (Enumeration n) -> Int)

Integral n => Indexed (Shifted n)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Shifted n) :: Type

Methods

indices :: Shifted n -> [Index (Shifted n)]

offset :: Shifted n -> Index (Shifted n) -> Int

uncheckedOffset :: Shifted n -> Index (Shifted n) -> Int

inBounds :: Shifted n -> Index (Shifted n) -> Bool

sizeOffset :: Shifted n -> (Int, Index (Shifted n) -> Int)

uncheckedSizeOffset :: Shifted n -> (Int, Index (Shifted n) -> Int)

Ix n => Indexed (Range n)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Range n) :: Type

Methods

indices :: Range n -> [Index (Range n)]

offset :: Range n -> Index (Range n) -> Int

uncheckedOffset :: Range n -> Index (Range n) -> Int

inBounds :: Range n -> Index (Range n) -> Bool

sizeOffset :: Range n -> (Int, Index (Range n) -> Int)

uncheckedSizeOffset :: Range n -> (Int, Index (Range n) -> Int)

Integral n => Indexed (OneBased n)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (OneBased n) :: Type

Methods

indices :: OneBased n -> [Index (OneBased n)]

offset :: OneBased n -> Index (OneBased n) -> Int

uncheckedOffset :: OneBased n -> Index (OneBased n) -> Int

inBounds :: OneBased n -> Index (OneBased n) -> Bool

sizeOffset :: OneBased n -> (Int, Index (OneBased n) -> Int)

uncheckedSizeOffset :: OneBased n -> (Int, Index (OneBased n) -> Int)

Integral n => Indexed (ZeroBased n)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (ZeroBased n) :: Type

Methods

indices :: ZeroBased n -> [Index (ZeroBased n)]

offset :: ZeroBased n -> Index (ZeroBased n) -> Int

uncheckedOffset :: ZeroBased n -> Index (ZeroBased n) -> Int

inBounds :: ZeroBased n -> Index (ZeroBased n) -> Bool

sizeOffset :: ZeroBased n -> (Int, Index (ZeroBased n) -> Int)

uncheckedSizeOffset :: ZeroBased n -> (Int, Index (ZeroBased n) -> Int)

(Indexed sh0, Indexed sh1) => Indexed (sh0, sh1)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (sh0, sh1) :: Type

Methods

indices :: (sh0, sh1) -> [Index (sh0, sh1)]

offset :: (sh0, sh1) -> Index (sh0, sh1) -> Int

uncheckedOffset :: (sh0, sh1) -> Index (sh0, sh1) -> Int

inBounds :: (sh0, sh1) -> Index (sh0, sh1) -> Bool

sizeOffset :: (sh0, sh1) -> (Int, Index (sh0, sh1) -> Int)

uncheckedSizeOffset :: (sh0, sh1) -> (Int, Index (sh0, sh1) -> Int)

(Indexed sh0, Indexed sh1) => Indexed (sh0 :+: sh1)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (sh0 :+: sh1) :: Type

Methods

indices :: (sh0 :+: sh1) -> [Index (sh0 :+: sh1)]

offset :: (sh0 :+: sh1) -> Index (sh0 :+: sh1) -> Int

uncheckedOffset :: (sh0 :+: sh1) -> Index (sh0 :+: sh1) -> Int

inBounds :: (sh0 :+: sh1) -> Index (sh0 :+: sh1) -> Bool

sizeOffset :: (sh0 :+: sh1) -> (Int, Index (sh0 :+: sh1) -> Int)

uncheckedSizeOffset :: (sh0 :+: sh1) -> (Int, Index (sh0 :+: sh1) -> Int)

(TriangularPart part, Indexed size) => Indexed (Triangular part size)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Triangular part size) :: Type

Methods

indices :: Triangular part size -> [Index (Triangular part size)]

offset :: Triangular part size -> Index (Triangular part size) -> Int

uncheckedOffset :: Triangular part size -> Index (Triangular part size) -> Int

inBounds :: Triangular part size -> Index (Triangular part size) -> Bool

sizeOffset :: Triangular part size -> (Int, Index (Triangular part size) -> Int)

uncheckedSizeOffset :: Triangular part size -> (Int, Index (Triangular part size) -> Int)

(Indexed sh0, Indexed sh1, Indexed sh2) => Indexed (sh0, sh1, sh2)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (sh0, sh1, sh2) :: Type

Methods

indices :: (sh0, sh1, sh2) -> [Index (sh0, sh1, sh2)]

offset :: (sh0, sh1, sh2) -> Index (sh0, sh1, sh2) -> Int

uncheckedOffset :: (sh0, sh1, sh2) -> Index (sh0, sh1, sh2) -> Int

inBounds :: (sh0, sh1, sh2) -> Index (sh0, sh1, sh2) -> Bool

sizeOffset :: (sh0, sh1, sh2) -> (Int, Index (sh0, sh1, sh2) -> Int)

uncheckedSizeOffset :: (sh0, sh1, sh2) -> (Int, Index (sh0, sh1, sh2) -> Int)

class Indexed sh => InvIndexed sh where

Minimal complete definition

indexFromOffset

Methods

indexFromOffset :: sh -> Int -> Index sh

It should hold indexFromOffset sh k == indices sh !! k, but indexFromOffset should generally be faster.

uncheckedIndexFromOffset :: sh -> Int -> Index sh

Instances

InvIndexed ()

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: () -> Int -> Index ()

uncheckedIndexFromOffset :: () -> Int -> Index ()

C sh => InvIndexed (Deferred sh)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Deferred sh -> Int -> Index (Deferred sh)

uncheckedIndexFromOffset :: Deferred sh -> Int -> Index (Deferred sh)

(Enum n, Bounded n) => InvIndexed (Enumeration n)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Enumeration n -> Int -> Index (Enumeration n)

uncheckedIndexFromOffset :: Enumeration n -> Int -> Index (Enumeration n)

Integral n => InvIndexed (Shifted n)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Shifted n -> Int -> Index (Shifted n)

uncheckedIndexFromOffset :: Shifted n -> Int -> Index (Shifted n)

Ix n => InvIndexed (Range n)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Range n -> Int -> Index (Range n)

uncheckedIndexFromOffset :: Range n -> Int -> Index (Range n)

Integral n => InvIndexed (OneBased n)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: OneBased n -> Int -> Index (OneBased n)

uncheckedIndexFromOffset :: OneBased n -> Int -> Index (OneBased n)

Integral n => InvIndexed (ZeroBased n)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: ZeroBased n -> Int -> Index (ZeroBased n)

uncheckedIndexFromOffset :: ZeroBased n -> Int -> Index (ZeroBased n)

(InvIndexed sh0, InvIndexed sh1) => InvIndexed (sh0, sh1)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: (sh0, sh1) -> Int -> Index (sh0, sh1)

uncheckedIndexFromOffset :: (sh0, sh1) -> Int -> Index (sh0, sh1)

(InvIndexed sh0, InvIndexed sh1) => InvIndexed (sh0 :+: sh1)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: (sh0 :+: sh1) -> Int -> Index (sh0 :+: sh1)

uncheckedIndexFromOffset :: (sh0 :+: sh1) -> Int -> Index (sh0 :+: sh1)

(TriangularPart part, InvIndexed size) => InvIndexed (Triangular part size)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Triangular part size -> Int -> Index (Triangular part size)

uncheckedIndexFromOffset :: Triangular part size -> Int -> Index (Triangular part size)

(InvIndexed sh0, InvIndexed sh1, InvIndexed sh2) => InvIndexed (sh0, sh1, sh2)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: (sh0, sh1, sh2) -> Int -> Index (sh0, sh1, sh2)

uncheckedIndexFromOffset :: (sh0, sh1, sh2) -> Int -> Index (sh0, sh1, sh2)

newtype ZeroBased n

ZeroBased denotes a range starting at zero and has a certain length.

Constructors

ZeroBased

Fields

• zeroBasedSize :: n

Instances

Functor ZeroBased

Defined in Data.Array.Comfort.Shape

Methods

fmap :: (a -> b) -> ZeroBased a -> ZeroBased b

(<$) :: a -> ZeroBased b -> ZeroBased a

Applicative ZeroBased

Defined in Data.Array.Comfort.Shape

Methods

pure :: a -> ZeroBased a

(<*>) :: ZeroBased (a -> b) -> ZeroBased a -> ZeroBased b

liftA2 :: (a -> b -> c) -> ZeroBased a -> ZeroBased b -> ZeroBased c

(*>) :: ZeroBased a -> ZeroBased b -> ZeroBased b

(<*) :: ZeroBased a -> ZeroBased b -> ZeroBased a

Eq n => Eq (ZeroBased n)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: ZeroBased n -> ZeroBased n -> Bool

(/=) :: ZeroBased n -> ZeroBased n -> Bool

Show n => Show (ZeroBased n)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> ZeroBased n -> ShowS

show :: ZeroBased n -> String

showList :: [ZeroBased n] -> ShowS

Storable n => Storable (ZeroBased n)

Defined in Data.Array.Comfort.Shape

Methods

sizeOf :: ZeroBased n -> Int

alignment :: ZeroBased n -> Int

peekElemOff :: Ptr (ZeroBased n) -> Int -> IO (ZeroBased n)

pokeElemOff :: Ptr (ZeroBased n) -> Int -> ZeroBased n -> IO ()

peekByteOff :: Ptr b -> Int -> IO (ZeroBased n)

pokeByteOff :: Ptr b -> Int -> ZeroBased n -> IO ()

peek :: Ptr (ZeroBased n) -> IO (ZeroBased n)

poke :: Ptr (ZeroBased n) -> ZeroBased n -> IO ()

NFData n => NFData (ZeroBased n)

Defined in Data.Array.Comfort.Shape

Methods

rnf :: ZeroBased n -> ()

Integral n => InvIndexed (ZeroBased n)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: ZeroBased n -> Int -> Index (ZeroBased n)

uncheckedIndexFromOffset :: ZeroBased n -> Int -> Index (ZeroBased n)

Integral n => Indexed (ZeroBased n)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (ZeroBased n) :: Type

Methods

indices :: ZeroBased n -> [Index (ZeroBased n)]

offset :: ZeroBased n -> Index (ZeroBased n) -> Int

uncheckedOffset :: ZeroBased n -> Index (ZeroBased n) -> Int

inBounds :: ZeroBased n -> Index (ZeroBased n) -> Bool

sizeOffset :: ZeroBased n -> (Int, Index (ZeroBased n) -> Int)

uncheckedSizeOffset :: ZeroBased n -> (Int, Index (ZeroBased n) -> Int)

Integral n => C (ZeroBased n)

Defined in Data.Array.Comfort.Shape

Methods

size :: ZeroBased n -> Int

uncheckedSize :: ZeroBased n -> Int

type Index (ZeroBased n)

Defined in Data.Array.Comfort.Shape

type Index (ZeroBased n) = n

newtype OneBased n

OneBased denotes a range starting at one and has a certain length.

Constructors

OneBased

Fields

• oneBasedSize :: n

Instances

Functor OneBased

Defined in Data.Array.Comfort.Shape

Methods

fmap :: (a -> b) -> OneBased a -> OneBased b

(<$) :: a -> OneBased b -> OneBased a

Applicative OneBased

Defined in Data.Array.Comfort.Shape

Methods

pure :: a -> OneBased a

(<*>) :: OneBased (a -> b) -> OneBased a -> OneBased b

liftA2 :: (a -> b -> c) -> OneBased a -> OneBased b -> OneBased c

(*>) :: OneBased a -> OneBased b -> OneBased b

(<*) :: OneBased a -> OneBased b -> OneBased a

Eq n => Eq (OneBased n)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: OneBased n -> OneBased n -> Bool

(/=) :: OneBased n -> OneBased n -> Bool

Show n => Show (OneBased n)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> OneBased n -> ShowS

show :: OneBased n -> String

showList :: [OneBased n] -> ShowS

Storable n => Storable (OneBased n)

Defined in Data.Array.Comfort.Shape

Methods

sizeOf :: OneBased n -> Int

alignment :: OneBased n -> Int

peekElemOff :: Ptr (OneBased n) -> Int -> IO (OneBased n)

pokeElemOff :: Ptr (OneBased n) -> Int -> OneBased n -> IO ()

peekByteOff :: Ptr b -> Int -> IO (OneBased n)

pokeByteOff :: Ptr b -> Int -> OneBased n -> IO ()

peek :: Ptr (OneBased n) -> IO (OneBased n)

poke :: Ptr (OneBased n) -> OneBased n -> IO ()

NFData n => NFData (OneBased n)

Defined in Data.Array.Comfort.Shape

Methods

rnf :: OneBased n -> ()

Integral n => InvIndexed (OneBased n)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: OneBased n -> Int -> Index (OneBased n)

uncheckedIndexFromOffset :: OneBased n -> Int -> Index (OneBased n)

Integral n => Indexed (OneBased n)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (OneBased n) :: Type

Methods

indices :: OneBased n -> [Index (OneBased n)]

offset :: OneBased n -> Index (OneBased n) -> Int

uncheckedOffset :: OneBased n -> Index (OneBased n) -> Int

inBounds :: OneBased n -> Index (OneBased n) -> Bool

sizeOffset :: OneBased n -> (Int, Index (OneBased n) -> Int)

uncheckedSizeOffset :: OneBased n -> (Int, Index (OneBased n) -> Int)

Integral n => C (OneBased n)

Defined in Data.Array.Comfort.Shape

Methods

size :: OneBased n -> Int

uncheckedSize :: OneBased n -> Int

type Index (OneBased n)

Defined in Data.Array.Comfort.Shape

type Index (OneBased n) = n

data Range n

Range denotes an inclusive range like those of the Haskell 98 standard Array type from the array package. E.g. the shape type (Range Int32, Range Int64) is equivalent to the ix type (Int32, Int64) for Arrays.

Constructors

Range

Fields

• rangeFrom, rangeTo :: n

Instances

Functor Range

Defined in Data.Array.Comfort.Shape

Methods

fmap :: (a -> b) -> Range a -> Range b

(<$) :: a -> Range b -> Range a

Eq n => Eq (Range n)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: Range n -> Range n -> Bool

(/=) :: Range n -> Range n -> Bool

Show n => Show (Range n)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> Range n -> ShowS

show :: Range n -> String

showList :: [Range n] -> ShowS

Storable n => Storable (Range n)

Defined in Data.Array.Comfort.Shape

Methods

sizeOf :: Range n -> Int

alignment :: Range n -> Int

peekElemOff :: Ptr (Range n) -> Int -> IO (Range n)

pokeElemOff :: Ptr (Range n) -> Int -> Range n -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Range n)

pokeByteOff :: Ptr b -> Int -> Range n -> IO ()

peek :: Ptr (Range n) -> IO (Range n)

poke :: Ptr (Range n) -> Range n -> IO ()

NFData n => NFData (Range n)

Defined in Data.Array.Comfort.Shape

Methods

rnf :: Range n -> ()

Ix n => InvIndexed (Range n)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Range n -> Int -> Index (Range n)

uncheckedIndexFromOffset :: Range n -> Int -> Index (Range n)

Ix n => Indexed (Range n)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Range n) :: Type

Methods

indices :: Range n -> [Index (Range n)]

offset :: Range n -> Index (Range n) -> Int

uncheckedOffset :: Range n -> Index (Range n) -> Int

inBounds :: Range n -> Index (Range n) -> Bool

sizeOffset :: Range n -> (Int, Index (Range n) -> Int)

uncheckedSizeOffset :: Range n -> (Int, Index (Range n) -> Int)

Ix n => C (Range n)

Defined in Data.Array.Comfort.Shape

Methods

size :: Range n -> Int

uncheckedSize :: Range n -> Int

type Index (Range n)

Defined in Data.Array.Comfort.Shape

type Index (Range n) = n

data Shifted n

Shifted denotes a range defined by the start index and the length.

Constructors

Shifted

Fields

• shiftedOffset, shiftedSize :: n

Instances

Functor Shifted

Defined in Data.Array.Comfort.Shape

Methods

fmap :: (a -> b) -> Shifted a -> Shifted b

(<$) :: a -> Shifted b -> Shifted a

Eq n => Eq (Shifted n)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: Shifted n -> Shifted n -> Bool

(/=) :: Shifted n -> Shifted n -> Bool

Show n => Show (Shifted n)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> Shifted n -> ShowS

show :: Shifted n -> String

showList :: [Shifted n] -> ShowS

Storable n => Storable (Shifted n)

Defined in Data.Array.Comfort.Shape

Methods

sizeOf :: Shifted n -> Int

alignment :: Shifted n -> Int

peekElemOff :: Ptr (Shifted n) -> Int -> IO (Shifted n)

pokeElemOff :: Ptr (Shifted n) -> Int -> Shifted n -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Shifted n)

pokeByteOff :: Ptr b -> Int -> Shifted n -> IO ()

peek :: Ptr (Shifted n) -> IO (Shifted n)

poke :: Ptr (Shifted n) -> Shifted n -> IO ()

NFData n => NFData (Shifted n)

Defined in Data.Array.Comfort.Shape

Methods

rnf :: Shifted n -> ()

Integral n => InvIndexed (Shifted n)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Shifted n -> Int -> Index (Shifted n)

uncheckedIndexFromOffset :: Shifted n -> Int -> Index (Shifted n)

Integral n => Indexed (Shifted n)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Shifted n) :: Type

Methods

indices :: Shifted n -> [Index (Shifted n)]

offset :: Shifted n -> Index (Shifted n) -> Int

uncheckedOffset :: Shifted n -> Index (Shifted n) -> Int

inBounds :: Shifted n -> Index (Shifted n) -> Bool

sizeOffset :: Shifted n -> (Int, Index (Shifted n) -> Int)

uncheckedSizeOffset :: Shifted n -> (Int, Index (Shifted n) -> Int)

Integral n => C (Shifted n)

Defined in Data.Array.Comfort.Shape

Methods

size :: Shifted n -> Int

uncheckedSize :: Shifted n -> Int

type Index (Shifted n)

Defined in Data.Array.Comfort.Shape

type Index (Shifted n) = n

data Enumeration n

Enumeration denotes a shape of fixed size that is defined by Enum and Bounded methods. For correctness it is necessary that the Enum and Bounded are properly implemented. Automatically derived instances are fine.

Constructors

Enumeration

Instances

Eq (Enumeration n)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: Enumeration n -> Enumeration n -> Bool

(/=) :: Enumeration n -> Enumeration n -> Bool

Show (Enumeration n)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> Enumeration n -> ShowS

show :: Enumeration n -> String

showList :: [Enumeration n] -> ShowS

Storable (Enumeration n)

Defined in Data.Array.Comfort.Shape

Methods

sizeOf :: Enumeration n -> Int

alignment :: Enumeration n -> Int

peekElemOff :: Ptr (Enumeration n) -> Int -> IO (Enumeration n)

pokeElemOff :: Ptr (Enumeration n) -> Int -> Enumeration n -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Enumeration n)

pokeByteOff :: Ptr b -> Int -> Enumeration n -> IO ()

peek :: Ptr (Enumeration n) -> IO (Enumeration n)

poke :: Ptr (Enumeration n) -> Enumeration n -> IO ()

NFData (Enumeration n)

Defined in Data.Array.Comfort.Shape

Methods

rnf :: Enumeration n -> ()

(Enum n, Bounded n) => InvIndexed (Enumeration n)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Enumeration n -> Int -> Index (Enumeration n)

uncheckedIndexFromOffset :: Enumeration n -> Int -> Index (Enumeration n)

(Enum n, Bounded n) => Indexed (Enumeration n)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Enumeration n) :: Type

Methods

indices :: Enumeration n -> [Index (Enumeration n)]

offset :: Enumeration n -> Index (Enumeration n) -> Int

uncheckedOffset :: Enumeration n -> Index (Enumeration n) -> Int

inBounds :: Enumeration n -> Index (Enumeration n) -> Bool

sizeOffset :: Enumeration n -> (Int, Index (Enumeration n) -> Int)

uncheckedSizeOffset :: Enumeration n -> (Int, Index (Enumeration n) -> Int)

(Enum n, Bounded n) => C (Enumeration n)

Defined in Data.Array.Comfort.Shape

Methods

size :: Enumeration n -> Int

uncheckedSize :: Enumeration n -> Int

type Index (Enumeration n)

Defined in Data.Array.Comfort.Shape

type Index (Enumeration n) = n

newtype Deferred sh

This data type wraps another array shape. Its index type is a wrapped Int. The advantages are: No conversion forth and back Int and Index sh. You can convert once using deferIndex and revealIndex whenever you need your application specific index type. No need for e.g. Storable (Index sh), because Int is already Storable.

Constructors

Deferred sh

Instances

Eq sh => Eq (Deferred sh)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: Deferred sh -> Deferred sh -> Bool

(/=) :: Deferred sh -> Deferred sh -> Bool

Show sh => Show (Deferred sh)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> Deferred sh -> ShowS

show :: Deferred sh -> String

showList :: [Deferred sh] -> ShowS

NFData sh => NFData (Deferred sh)

Defined in Data.Array.Comfort.Shape

Methods

rnf :: Deferred sh -> ()

C sh => InvIndexed (Deferred sh)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Deferred sh -> Int -> Index (Deferred sh)

uncheckedIndexFromOffset :: Deferred sh -> Int -> Index (Deferred sh)

C sh => Indexed (Deferred sh)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Deferred sh) :: Type

Methods

indices :: Deferred sh -> [Index (Deferred sh)]

offset :: Deferred sh -> Index (Deferred sh) -> Int

uncheckedOffset :: Deferred sh -> Index (Deferred sh) -> Int

inBounds :: Deferred sh -> Index (Deferred sh) -> Bool

sizeOffset :: Deferred sh -> (Int, Index (Deferred sh) -> Int)

uncheckedSizeOffset :: Deferred sh -> (Int, Index (Deferred sh) -> Int)

C sh => C (Deferred sh)

Defined in Data.Array.Comfort.Shape

Methods

size :: Deferred sh -> Int

uncheckedSize :: Deferred sh -> Int

type Index (Deferred sh)

Defined in Data.Array.Comfort.Shape

type Index (Deferred sh) = DeferredIndex (Index sh)

data DeferredIndex ix

Instances

Eq (DeferredIndex ix)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: DeferredIndex ix -> DeferredIndex ix -> Bool

(/=) :: DeferredIndex ix -> DeferredIndex ix -> Bool

Show (DeferredIndex ix)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> DeferredIndex ix -> ShowS

show :: DeferredIndex ix -> String

showList :: [DeferredIndex ix] -> ShowS

Storable (DeferredIndex ix)

Defined in Data.Array.Comfort.Shape

Methods

sizeOf :: DeferredIndex ix -> Int

alignment :: DeferredIndex ix -> Int

peekElemOff :: Ptr (DeferredIndex ix) -> Int -> IO (DeferredIndex ix)

pokeElemOff :: Ptr (DeferredIndex ix) -> Int -> DeferredIndex ix -> IO ()

peekByteOff :: Ptr b -> Int -> IO (DeferredIndex ix)

pokeByteOff :: Ptr b -> Int -> DeferredIndex ix -> IO ()

peek :: Ptr (DeferredIndex ix) -> IO (DeferredIndex ix)

poke :: Ptr (DeferredIndex ix) -> DeferredIndex ix -> IO ()

deferIndex :: (Indexed sh, Index sh ~ ix) => sh -> ix -> DeferredIndex ix

revealIndex :: (InvIndexed sh, Index sh ~ ix) => sh -> DeferredIndex ix -> ix

data sh0 :+: sh1 infixr 5

Constructors

sh0 :+: sh1 infixr 5

Instances

(Eq sh0, Eq sh1) => Eq (sh0 :+: sh1)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: (sh0 :+: sh1) -> (sh0 :+: sh1) -> Bool

(/=) :: (sh0 :+: sh1) -> (sh0 :+: sh1) -> Bool

(Show sh0, Show sh1) => Show (sh0 :+: sh1)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> (sh0 :+: sh1) -> ShowS

show :: (sh0 :+: sh1) -> String

showList :: [sh0 :+: sh1] -> ShowS

(NFData sh0, NFData sh1) => NFData (sh0 :+: sh1)

Defined in Data.Array.Comfort.Shape

Methods

rnf :: (sh0 :+: sh1) -> ()

(InvIndexed sh0, InvIndexed sh1) => InvIndexed (sh0 :+: sh1)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: (sh0 :+: sh1) -> Int -> Index (sh0 :+: sh1)

uncheckedIndexFromOffset :: (sh0 :+: sh1) -> Int -> Index (sh0 :+: sh1)

(Indexed sh0, Indexed sh1) => Indexed (sh0 :+: sh1)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (sh0 :+: sh1) :: Type

Methods

indices :: (sh0 :+: sh1) -> [Index (sh0 :+: sh1)]

offset :: (sh0 :+: sh1) -> Index (sh0 :+: sh1) -> Int

uncheckedOffset :: (sh0 :+: sh1) -> Index (sh0 :+: sh1) -> Int

inBounds :: (sh0 :+: sh1) -> Index (sh0 :+: sh1) -> Bool

sizeOffset :: (sh0 :+: sh1) -> (Int, Index (sh0 :+: sh1) -> Int)

uncheckedSizeOffset :: (sh0 :+: sh1) -> (Int, Index (sh0 :+: sh1) -> Int)

(C sh0, C sh1) => C (sh0 :+: sh1)

Defined in Data.Array.Comfort.Shape

Methods

size :: (sh0 :+: sh1) -> Int

uncheckedSize :: (sh0 :+: sh1) -> Int

type Index (sh0 :+: sh1)

Defined in Data.Array.Comfort.Shape

type Index (sh0 :+: sh1) = Either (Index sh0) (Index sh1)

data Triangular part size

Constructors

Triangular

Fields

• triangularPart :: part
• triangularSize :: size

Instances

(Eq part, Eq size) => Eq (Triangular part size)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: Triangular part size -> Triangular part size -> Bool

(/=) :: Triangular part size -> Triangular part size -> Bool

(Show part, Show size) => Show (Triangular part size)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> Triangular part size -> ShowS

show :: Triangular part size -> String

showList :: [Triangular part size] -> ShowS

(TriangularPart part, NFData size) => NFData (Triangular part size)

Defined in Data.Array.Comfort.Shape

Methods

rnf :: Triangular part size -> ()

(TriangularPart part, InvIndexed size) => InvIndexed (Triangular part size)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Triangular part size -> Int -> Index (Triangular part size)

uncheckedIndexFromOffset :: Triangular part size -> Int -> Index (Triangular part size)

(TriangularPart part, Indexed size) => Indexed (Triangular part size)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Triangular part size) :: Type

Methods

indices :: Triangular part size -> [Index (Triangular part size)]

offset :: Triangular part size -> Index (Triangular part size) -> Int

uncheckedOffset :: Triangular part size -> Index (Triangular part size) -> Int

inBounds :: Triangular part size -> Index (Triangular part size) -> Bool

sizeOffset :: Triangular part size -> (Int, Index (Triangular part size) -> Int)

uncheckedSizeOffset :: Triangular part size -> (Int, Index (Triangular part size) -> Int)

(TriangularPart part, C size) => C (Triangular part size)

Defined in Data.Array.Comfort.Shape

Methods

size :: Triangular part size -> Int

uncheckedSize :: Triangular part size -> Int

type Index (Triangular part size)

Defined in Data.Array.Comfort.Shape

type Index (Triangular part size) = (Index size, Index size)

data Lower

Constructors

Lower

Instances

Eq Lower

Defined in Data.Array.Comfort.Shape

Methods

(==) :: Lower -> Lower -> Bool

(/=) :: Lower -> Lower -> Bool

Show Lower

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> Lower -> ShowS

show :: Lower -> String

showList :: [Lower] -> ShowS

data Upper

Constructors

Upper

Instances

Eq Upper

Defined in Data.Array.Comfort.Shape

Methods

(==) :: Upper -> Upper -> Bool

(/=) :: Upper -> Upper -> Bool

Show Upper

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> Upper -> ShowS

show :: Upper -> String

showList :: [Upper] -> ShowS

type LowerTriangular = Triangular Lower

type UpperTriangular = Triangular Upper

lowerTriangular :: size -> LowerTriangular size

upperTriangular :: size -> UpperTriangular size

triangleSize :: Int -> Int

triangleRoot :: Floating a => a -> a