Remove shape information from a type.

Return the dimensionality of a type. For non-arrays, this is zero. For a one-dimensional array it is one, for a two-dimensional it is two, and so forth.

Return the shape of a type - for non-arrays, this is the mempty.

Modify the shape of an array - for non-arrays, this does nothing.

Set the shape of an array. If the given type is not an array, return the type unchanged.

True if the given type has a dimension that is existentially sized.

Return the uniqueness of a type.

Set the uniqueness attribute of a type.

unique t is True if the type of the argument is unique.

Convert types with non-existential shapes to types with non-existential shapes. Only the representation is changed, so all the shapes will be Free.

As staticShapes, but on a single type.

A type is a primitive type if it is not an array or memory block.

arrayOf t s u constructs an array type. The convenience compared to using the Array constructor directly is that t can itself be an array. If t is an n-dimensional array, and s is a list of length n, the resulting type is of an n+m dimensions. The uniqueness of the new array will be u, no matter the uniqueness of t. If the shape s has rank 0, then the t will be returned, although if it is an array, with the uniqueness changed to u.

Construct an array whose rows are the given type, and the outer size is the given dimension. This is just a convenient wrapper around arrayOf.

Construct an array whose rows are the given type, and the outer size is the given ShapeBase. This is just a convenient wrapper around arrayOf.

Replace the size of the outermost dimension of an array. If the given type is not an array, it is returned unchanged.

Replace the size of the given dimension of an array. If the given type is not an array, it is returned unchanged.

Replace the outermost dimension of an array shape.

Replace the specified dimension of an array shape.

Set the dimensions of an array. If the given type is not an array, return the type unchanged.

Set the existential dimensions of an array. If the given type is not an array, return the type unchanged.

peelArray n t returns the type resulting from peeling the first n array dimensions from t. Returns Nothing if t has less than n dimensions.

stripArray n t removes the n outermost layers of the array. Essentially, it is the type of indexing an array of type t with n indexes.

Return the dimensions of a type - for non-arrays, this is the empty list.

Return the existential dimensions of a type - for non-arrays, this is the empty list.

Return the size of the given dimension. If the dimension does not exist, the zero constant is returned.

Return the size of the given dimension. If the dimension does not exist, the zero constant is returned.

Return the size of the given dimension in the first element of the given type list. If the dimension does not exist, or no types are given, the zero constant is returned.

Return the immediate row-type of an array. For [[int]], this would be [int].

Returns the bottommost type of an array. For [[int]], this would be int. If the given type is not an array, it is returned.

Swap the two outer dimensions of the type.

Rearrange the dimensions of the type. If the length of the permutation does not match the rank of the type, the permutation will be extended with identity.

diet t returns a description of how a function parameter of type t might consume its argument.

x `subtypeOf` y is true if x is a subtype of y (or equal to y), meaning x is valid whenever y is.

xs `subtypesOf` ys is true if xs is the same size as ys, and each element in xs is a subtype of the corresponding element in ys..

Given the existential return type of a function, and the shapes of the values returned by the function, return the existential shape context. That is, those sizes that are existential in the return type.

The set of identifiers used for the shape context in the given ExtTypes.

The size of the set that would be returned by shapeContext.

If all dimensions of the given RetType are statically known, return the corresponding list of Type.

Given two lists of ExtTypes of the same length, return a list of ExtTypes that is a subtype (as per isSubtypeOf) of the two operands.

Given a list of ExtTypes and a list of "forbidden" names, modify the dimensions of the ExtTypes such that they are Ext where they were previously Free with a variable in the set of forbidden names.

In the call shapeMapping ts1 ts2, the lists ts1 and ts must be of equal length and their corresponding elements have the same types modulo exact dimensions (but matching array rank is important). The result is a mapping from named dimensions of ts1 to the corresponding dimension in ts2.

This function is useful when ts1 are the value parameters of some function and ts2 are the value arguments, and we need to figure out which shape context to pass.

Like shapeMapping, but works with explicit dimensions.

Like shapeMapping, but produces a mapping for the dimensions context.

Typeclass for things that contain Types.

Typeclass for things that contain DeclTypes.

Typeclass for things that contain ExtTypes.

Typeclass for things that contain DeclExtTypes.

Typeclass for things whose type can be changed.

Something with an existential context that can be (partially) fixed.