Ivory.Language.Array

Documentation

data Ix n

Values in the range 0 .. n-1.

Instances

ANat n => Num (Ix n)

ANat n => IvoryExpr (Ix n)

ANat n => IvoryVar (Ix n)

ANat n => IvoryType (Ix n)

ANat n => IvoryOrd (Ix n)

ANat n => IvoryEq (Ix n)

ANat n => IvoryStore (Ix n)

ANat n => IvoryZeroVal (Ix n)

ANat len => IvoryInit (Ix len)

(ANat n, IvoryIntegral to, Default to) => 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.