An efficiently represented Futhark value, represented as a shape vector and a value vector, which contains elements in row-major order. The size of the value vector must be equal to the product of the shape vector. This is not enforced by the representation, but consuming functions may give unexpected results if this invariant is broken. Scalars are represented with an empty shape vector.

Use valueText to get a human-readable representation, and put to obtain binary a representation.

The Eq instance is the naive one, meaning that no values containing NaNs will be considered equal. Use the functions from Futhark.Data.Compare if this is not what you want.

The value vector type.

Construct a textual representation of the value as a strict text.

The scalar types supported by the value format.

Textual primitive type as a strict text.

The number of bytes taken up by a single element of this type.

The type of a simple Futhark value, comprising a shape and an element type.

Prettyprint a value type with empty dimensions as a strict text. This is needed for Futhark server programs, whose types are un-sized.

Get the type of a value.

Get the element type of a value.

The shape of a value. Empty list in case of a scalar.

Prettyprint a value type as a strict text.

A class for Haskell values that can be retrieved from Value. This is a convenience facility - don't expect it to be fast.

A class for Haskell values that can be converted to Value. This is a convenience facility - don't expect it to be fast.

Like PutValue, but only for scalars and a few other simple things that cannot fail.

Produce a list of the immediate elements of the value. That is, a 2D array will produce a list of 1D values. A zero-dimensional value will produce an empty list. While lists are of course inefficient, the actual values are just slices of the original value, which makes them fairly space-efficient (but beware space leaks).