Ivory.Language.Array

Documentation

data Ix (n :: Nat)

Values in the range 0 .. n-1.

Instances

ANat n => Bounded (Ix n)

Defined in Ivory.Language.Array

Methods

minBound :: Ix n

maxBound :: Ix n

ANat n => Num (Ix n)

Defined in Ivory.Language.Array

Methods

(+) :: Ix n -> Ix n -> Ix n

(-) :: Ix n -> Ix n -> Ix n

(*) :: Ix n -> Ix n -> Ix n

negate :: Ix n -> Ix n

abs :: Ix n -> Ix n

signum :: Ix n -> Ix n

fromInteger :: Integer -> Ix n

ANat n => IvoryExpr (Ix n)

Defined in Ivory.Language.Array

Methods

wrapExpr :: Expr -> Ix n

ANat n => IvoryVar (Ix n)

Defined in Ivory.Language.Array

Methods

wrapVar :: Var -> Ix n

unwrapExpr :: Ix n -> Expr

ANat n => IvoryType (Ix n)

Defined in Ivory.Language.Array

Methods

ivoryType :: Proxy (Ix n) -> Type

ANat n => IvoryOrd (Ix n)

Defined in Ivory.Language.Array

Methods

(>?) :: Ix n -> Ix n -> IBool

(>=?) :: Ix n -> Ix n -> IBool

(<?) :: Ix n -> Ix n -> IBool

(<=?) :: Ix n -> Ix n -> IBool

ANat n => IvoryEq (Ix n)

Defined in Ivory.Language.Array

Methods

(==?) :: Ix n -> Ix n -> IBool

(/=?) :: Ix n -> Ix n -> IBool

ANat n => IvoryStore (Ix n)

Defined in Ivory.Language.Array

ANat n => IvoryZeroVal (Ix n)

Defined in Ivory.Language.Init

Methods

izeroval :: Init (Stored (Ix n))

ANat len => IvoryInit (Ix len)

Defined in Ivory.Language.Init

Methods

ival :: Ix len -> Init (Stored (Ix len))

(ANat n, IvoryIntegral to, Default to) => SafeCast (Ix n) to

Defined in Ivory.Language.Array

Methods

safeCast :: Ix n -> to

type IxRep = Sint32

ixRep :: Type

The representation type of a TyIndex, this is fixed to Int32 for the time being.

fromIx :: ANat n => Ix n -> IxRep

toIx :: forall a n. (SafeCast a IxRep, ANat n) => a -> Ix n

Casting from a bounded Ivory expression to an index. This is safe, although the value may be truncated. Furthermore, indexes are always positive.

ixSize :: forall n. ANat n => Ix n -> Integer

The number of elements that an index covers.

arrayLen :: forall s len area n ref. (Num n, ANat len, IvoryArea area, IvoryRef ref) => ref s (Array len area) -> n

(!) :: forall s len area ref. (ANat len, IvoryArea area, IvoryRef ref, IvoryExpr (ref s (Array len area)), IvoryExpr (ref s area)) => ref s (Array len area) -> Ix len -> ref s area

Array indexing.