SDP.Finite

SDP.Finite provide generalized finite-dimensional index type (:&) based on repa (:.).

Since sdp-0.2, for (:&) available OverloadedLists-based syntactic sugar. For example, instead of the inconvenient es!(ind4 0 1 2 3) or just awful es!(E:&0:&1:&1:&2:&3) you can write: es![0, 1, 2, 3].

Note that OverloadedLists instances requires a strictly defined number of subindexes.

Generalized index

data E

Service type, that represents zero-dimensional index.

Constructors

E

Instances

IsList E

Defined in SDP.Finite

Associated Types

type Item E

Methods

fromList :: [Item E] -> E

fromListN :: Int -> [Item E] -> E

toList :: E -> [Item E]

Eq E

Defined in SDP.Finite

Methods

(==) :: E -> E -> Bool

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

Ord E

Defined in SDP.Finite

Methods

compare :: E -> E -> Ordering

(<) :: E -> E -> Bool

(<=) :: E -> E -> Bool

(>) :: E -> E -> Bool

(>=) :: E -> E -> Bool

max :: E -> E -> E

min :: E -> E -> E

Read E

Defined in SDP.Finite

Methods

readsPrec :: Int -> ReadS E

readList :: ReadS [E]

readPrec :: ReadPrec E

readListPrec :: ReadPrec [E]

Show E

Defined in SDP.Finite

Methods

showsPrec :: Int -> E -> ShowS

show :: E -> String

showList :: [E] -> ShowS

Default E

Defined in SDP.Finite

Methods

def :: E

Shape E

Defined in SDP.Shape

Associated Types

type DimLast E

type DimInit E

Methods

fromGIndex :: GIndex E -> E

toGIndex :: E -> GIndex E

rank :: E -> Int

consDim :: DimInit E -> DimLast E -> E

initDim :: E -> DimInit E

lastDim :: E -> DimLast E

unconsDim :: E -> (DimInit E, DimLast E)

Index E

Defined in SDP.Index

Methods

size :: (E, E) -> Int

sizes :: (E, E) -> [Int]

safeElem :: (E, E) -> E -> E

ordBounds :: (E, E) -> (E, E)

defLimit :: E -> Integer

defaultBounds :: Int -> (E, E)

unsafeIndex :: Int -> E

isEmpty :: (E, E) -> Bool

inBounds :: (E, E) -> E -> InBounds

isOverflow :: (E, E) -> E -> Bool

isUnderflow :: (E, E) -> E -> Bool

inRange :: (E, E) -> E -> Bool

prev :: (E, E) -> E -> E

next :: (E, E) -> E -> E

offset :: (E, E) -> E -> Int

index :: (E, E) -> Int -> E

range :: (E, E) -> [E]

subshape :: (Sub E j, Index (E :|: j)) => (E, E) -> (E :|: j) -> (j, j)

slice :: (Sub E j, ij ~ (E :|: j), Index j) => (E, E) -> ij -> ((ij, ij), (j, j))

IsList (E :& i)

Defined in SDP.Finite

Associated Types

type Item (E :& i)

Methods

fromList :: [Item (E :& i)] -> E :& i

fromListN :: Int -> [Item (E :& i)] -> E :& i

toList :: (E :& i) -> [Item (E :& i)]

Enum i => Enum (E :& i)

Defined in SDP.Finite

Methods

succ :: (E :& i) -> E :& i

pred :: (E :& i) -> E :& i

toEnum :: Int -> E :& i

fromEnum :: (E :& i) -> Int

enumFrom :: (E :& i) -> [E :& i]

enumFromThen :: (E :& i) -> (E :& i) -> [E :& i]

enumFromTo :: (E :& i) -> (E :& i) -> [E :& i]

enumFromThenTo :: (E :& i) -> (E :& i) -> (E :& i) -> [E :& i]

Shape i => Shape (E :& i)

Defined in SDP.Shape

Associated Types

type DimLast (E :& i)

type DimInit (E :& i)

Methods

fromGIndex :: GIndex (E :& i) -> E :& i

toGIndex :: (E :& i) -> GIndex (E :& i)

rank :: (E :& i) -> Int

consDim :: DimInit (E :& i) -> DimLast (E :& i) -> E :& i

initDim :: (E :& i) -> DimInit (E :& i)

lastDim :: (E :& i) -> DimLast (E :& i)

unconsDim :: (E :& i) -> (DimInit (E :& i), DimLast (E :& i))

Index i => Index (E :& i)

Defined in SDP.Index

Methods

size :: (E :& i, E :& i) -> Int

sizes :: (E :& i, E :& i) -> [Int]

safeElem :: (E :& i, E :& i) -> (E :& i) -> E :& i

ordBounds :: (E :& i, E :& i) -> (E :& i, E :& i)

defLimit :: (E :& i) -> Integer

defaultBounds :: Int -> (E :& i, E :& i)

unsafeIndex :: Int -> E :& i

isEmpty :: (E :& i, E :& i) -> Bool

inBounds :: (E :& i, E :& i) -> (E :& i) -> InBounds

isOverflow :: (E :& i, E :& i) -> (E :& i) -> Bool

isUnderflow :: (E :& i, E :& i) -> (E :& i) -> Bool

inRange :: (E :& i, E :& i) -> (E :& i) -> Bool

prev :: (E :& i, E :& i) -> (E :& i) -> E :& i

next :: (E :& i, E :& i) -> (E :& i) -> E :& i

offset :: (E :& i, E :& i) -> (E :& i) -> Int

index :: (E :& i, E :& i) -> Int -> E :& i

range :: (E :& i, E :& i) -> [E :& i]

subshape :: (Sub (E :& i) j, Index ((E :& i) :|: j)) => (E :& i, E :& i) -> ((E :& i) :|: j) -> (j, j)

slice :: (Sub (E :& i) j, ij ~ ((E :& i) :|: j), Index j) => (E :& i, E :& i) -> ij -> ((ij, ij), (j, j))

type Item E

Defined in SDP.Finite

type Item E = E

type DimLast E

Defined in SDP.Shape

type DimLast E = E

type DimInit E

Defined in SDP.Shape

type DimInit E = E

type Item (E :& i)

Defined in SDP.Finite

type Item (E :& i) = i

type DimLast (E :& i)

Defined in SDP.Shape

type DimLast (E :& i) = i

type DimInit (E :& i)

Defined in SDP.Shape

type DimInit (E :& i) = E

data tail :& head

N-dimensional index type. The type (head :& tail) allows working with any finite dimension number.

Constructors

!tail :& !head

Instances

(Item (i' :& i) ~~ i, IsList (i' :& i)) => IsList ((i' :& i) :& i)

Defined in SDP.Finite

Associated Types

type Item ((i' :& i) :& i)

Methods

fromList :: [Item ((i' :& i) :& i)] -> (i' :& i) :& i

fromListN :: Int -> [Item ((i' :& i) :& i)] -> (i' :& i) :& i

toList :: ((i' :& i) :& i) -> [Item ((i' :& i) :& i)]

IsList (E :& i)

Defined in SDP.Finite

Associated Types

type Item (E :& i)

Methods

fromList :: [Item (E :& i)] -> E :& i

fromListN :: Int -> [Item (E :& i)] -> E :& i

toList :: (E :& i) -> [Item (E :& i)]

Enum i => Enum (E :& i)

Defined in SDP.Finite

Methods

succ :: (E :& i) -> E :& i

pred :: (E :& i) -> E :& i

toEnum :: Int -> E :& i

fromEnum :: (E :& i) -> Int

enumFrom :: (E :& i) -> [E :& i]

enumFromThen :: (E :& i) -> (E :& i) -> [E :& i]

enumFromTo :: (E :& i) -> (E :& i) -> [E :& i]

enumFromThenTo :: (E :& i) -> (E :& i) -> (E :& i) -> [E :& i]

(Eq tail, Eq head) => Eq (tail :& head)

Defined in SDP.Finite

Methods

(==) :: (tail :& head) -> (tail :& head) -> Bool

(/=) :: (tail :& head) -> (tail :& head) -> Bool

(Ord tail, Ord head) => Ord (tail :& head)

Defined in SDP.Finite

Methods

compare :: (tail :& head) -> (tail :& head) -> Ordering

(<) :: (tail :& head) -> (tail :& head) -> Bool

(<=) :: (tail :& head) -> (tail :& head) -> Bool

(>) :: (tail :& head) -> (tail :& head) -> Bool

(>=) :: (tail :& head) -> (tail :& head) -> Bool

max :: (tail :& head) -> (tail :& head) -> tail :& head

min :: (tail :& head) -> (tail :& head) -> tail :& head

(IsList (i' :& i), Item (i' :& i) ~~ i, Read i) => Read (i' :& i)

Defined in SDP.Finite

Methods

readsPrec :: Int -> ReadS (i' :& i)

readList :: ReadS [i' :& i]

readPrec :: ReadPrec (i' :& i)

readListPrec :: ReadPrec [i' :& i]

(IsList (i' :& i), Item (i' :& i) ~~ i, Show i) => Show (i' :& i)

Defined in SDP.Finite

Methods

showsPrec :: Int -> (i' :& i) -> ShowS

show :: (i' :& i) -> String

showList :: [i' :& i] -> ShowS

(Default d, Default d') => Default (d :& d')

Defined in SDP.Finite

Methods

def :: d :& d'

(Shape i, Enum i, Bounded i, Shape (i' :& i)) => Shape ((i' :& i) :& i)

Defined in SDP.Shape

Associated Types

type DimLast ((i' :& i) :& i)

type DimInit ((i' :& i) :& i)

Methods

fromGIndex :: GIndex ((i' :& i) :& i) -> (i' :& i) :& i

toGIndex :: ((i' :& i) :& i) -> GIndex ((i' :& i) :& i)

rank :: ((i' :& i) :& i) -> Int

consDim :: DimInit ((i' :& i) :& i) -> DimLast ((i' :& i) :& i) -> (i' :& i) :& i

initDim :: ((i' :& i) :& i) -> DimInit ((i' :& i) :& i)

lastDim :: ((i' :& i) :& i) -> DimLast ((i' :& i) :& i)

unconsDim :: ((i' :& i) :& i) -> (DimInit ((i' :& i) :& i), DimLast ((i' :& i) :& i))

Shape i => Shape (E :& i)

Defined in SDP.Shape

Associated Types

type DimLast (E :& i)

type DimInit (E :& i)

Methods

fromGIndex :: GIndex (E :& i) -> E :& i

toGIndex :: (E :& i) -> GIndex (E :& i)

rank :: (E :& i) -> Int

consDim :: DimInit (E :& i) -> DimLast (E :& i) -> E :& i

initDim :: (E :& i) -> DimInit (E :& i)

lastDim :: (E :& i) -> DimLast (E :& i)

unconsDim :: (E :& i) -> (DimInit (E :& i), DimLast (E :& i))

(Index i, Enum i, Bounded i, Index (i' :& i)) => Index ((i' :& i) :& i)

Defined in SDP.Index

Methods

size :: ((i' :& i) :& i, (i' :& i) :& i) -> Int

sizes :: ((i' :& i) :& i, (i' :& i) :& i) -> [Int]

safeElem :: ((i' :& i) :& i, (i' :& i) :& i) -> ((i' :& i) :& i) -> (i' :& i) :& i

ordBounds :: ((i' :& i) :& i, (i' :& i) :& i) -> ((i' :& i) :& i, (i' :& i) :& i)

defLimit :: ((i' :& i) :& i) -> Integer

defaultBounds :: Int -> ((i' :& i) :& i, (i' :& i) :& i)

unsafeIndex :: Int -> (i' :& i) :& i

isEmpty :: ((i' :& i) :& i, (i' :& i) :& i) -> Bool

inBounds :: ((i' :& i) :& i, (i' :& i) :& i) -> ((i' :& i) :& i) -> InBounds

isOverflow :: ((i' :& i) :& i, (i' :& i) :& i) -> ((i' :& i) :& i) -> Bool

isUnderflow :: ((i' :& i) :& i, (i' :& i) :& i) -> ((i' :& i) :& i) -> Bool

inRange :: ((i' :& i) :& i, (i' :& i) :& i) -> ((i' :& i) :& i) -> Bool

prev :: ((i' :& i) :& i, (i' :& i) :& i) -> ((i' :& i) :& i) -> (i' :& i) :& i

next :: ((i' :& i) :& i, (i' :& i) :& i) -> ((i' :& i) :& i) -> (i' :& i) :& i

offset :: ((i' :& i) :& i, (i' :& i) :& i) -> ((i' :& i) :& i) -> Int

index :: ((i' :& i) :& i, (i' :& i) :& i) -> Int -> (i' :& i) :& i

range :: ((i' :& i) :& i, (i' :& i) :& i) -> [(i' :& i) :& i]

subshape :: (Sub ((i' :& i) :& i) j, Index (((i' :& i) :& i) :|: j)) => ((i' :& i) :& i, (i' :& i) :& i) -> (((i' :& i) :& i) :|: j) -> (j, j)

slice :: (Sub ((i' :& i) :& i) j, ij ~ (((i' :& i) :& i) :|: j), Index j) => ((i' :& i) :& i, (i' :& i) :& i) -> ij -> ((ij, ij), (j, j))

Index i => Index (E :& i)

Defined in SDP.Index

Methods

size :: (E :& i, E :& i) -> Int

sizes :: (E :& i, E :& i) -> [Int]

safeElem :: (E :& i, E :& i) -> (E :& i) -> E :& i

ordBounds :: (E :& i, E :& i) -> (E :& i, E :& i)

defLimit :: (E :& i) -> Integer

defaultBounds :: Int -> (E :& i, E :& i)

unsafeIndex :: Int -> E :& i

isEmpty :: (E :& i, E :& i) -> Bool

inBounds :: (E :& i, E :& i) -> (E :& i) -> InBounds

isOverflow :: (E :& i, E :& i) -> (E :& i) -> Bool

isUnderflow :: (E :& i, E :& i) -> (E :& i) -> Bool

inRange :: (E :& i, E :& i) -> (E :& i) -> Bool

prev :: (E :& i, E :& i) -> (E :& i) -> E :& i

next :: (E :& i, E :& i) -> (E :& i) -> E :& i

offset :: (E :& i, E :& i) -> (E :& i) -> Int

index :: (E :& i, E :& i) -> Int -> E :& i

range :: (E :& i, E :& i) -> [E :& i]

subshape :: (Sub (E :& i) j, Index ((E :& i) :|: j)) => (E :& i, E :& i) -> ((E :& i) :|: j) -> (j, j)

slice :: (Sub (E :& i) j, ij ~ ((E :& i) :|: j), Index j) => (E :& i, E :& i) -> ij -> ((ij, ij), (j, j))

type Item ((i' :& i) :& i)

Defined in SDP.Finite

type Item ((i' :& i) :& i) = i

type Item (E :& i)

Defined in SDP.Finite

type Item (E :& i) = i

type DimLast ((i' :& i) :& i)

Defined in SDP.Shape

type DimLast ((i' :& i) :& i) = i

type DimLast (E :& i)

Defined in SDP.Shape

type DimLast (E :& i) = i

type DimInit ((i' :& i) :& i)

Defined in SDP.Shape

type DimInit ((i' :& i) :& i) = i' :& i

type DimInit (E :& i)

Defined in SDP.Shape

type DimInit (E :& i) = E

Type synonyms

type I1 i = E :& i

1-dimensional index ((E :& i) without TypeOperators).

type I2 i = (E :& i) :& i

2-dimensional index

type I3 i = I2 i :& i

3-dimensional index

type I4 i = I3 i :& i

4-dimensional index

type I5 i = I4 i :& i

5-dimensional index

type I6 i = I5 i :& i

6-dimensional index

type I7 i = I6 i :& i

7-dimensional index

type I8 i = I7 i :& i

8-dimensional index

type I9 i = I8 i :& i

9-dimensional index

type I10 i = I9 i :& i

10-dimensional index

type I11 i = I10 i :& i

11-dimensional index

type I12 i = I11 i :& i

12-dimensional index

type I13 i = I12 i :& i

13-dimensional index

type I14 i = I13 i :& i

14-dimensional index

type I15 i = I14 i :& i

15-dimensional index

Old constructors

ind2 :: i -> i -> I2 i

2-dimensional index constructor.

ind3 :: i -> i -> i -> I3 i

3-dimensional index constructor.

ind4 :: i -> i -> i -> i -> I4 i

4-dimensional index constructor.

ind5 :: i -> i -> i -> i -> i -> I5 i

5-dimensional index constructor.

ind6 :: i -> i -> i -> i -> i -> i -> I6 i

6-dimensional index constructor.

ind7 :: i -> i -> i -> i -> i -> i -> i -> I7 i

7-dimensional index constructor.

ind8 :: i -> i -> i -> i -> i -> i -> i -> i -> I8 i

8-dimensional index constructor.

ind9 :: i -> i -> i -> i -> i -> i -> i -> i -> i -> I9 i

9-dimensional index constructor.

ind10 :: i -> i -> i -> i -> i -> i -> i -> i -> i -> i -> I10 i

10-dimensional index constructor.

ind11 :: i -> i -> i -> i -> i -> i -> i -> i -> i -> i -> i -> I11 i

11-dimensional index constructor.

ind12 :: i -> i -> i -> i -> i -> i -> i -> i -> i -> i -> i -> i -> I12 i

12-dimensional index constructor.

ind13 :: i -> i -> i -> i -> i -> i -> i -> i -> i -> i -> i -> i -> i -> I13 i

13-dimensional index constructor.

ind14 :: i -> i -> i -> i -> i -> i -> i -> i -> i -> i -> i -> i -> i -> i -> I14 i

14-dimensional index constructor.

ind15 :: i -> i -> i -> i -> i -> i -> i -> i -> i -> i -> i -> i -> i -> i -> i -> I15 i

15-dimensional index constructor.