Futhark.Test.Values

This module defines an efficient value representation as well as parsing and comparison functions. This is because the standard Futhark parser is not able to cope with large values (like arrays that are tens of megabytes in size). The representation defined here does not support tuples, so don't use those as input/output for your test programs.

Documentation

data Value

An efficiently represented Futhark value. Use pretty to get a human-readable representation, and the instances of Get and Put to obtain binary representations

Instances

Show Value

Defined in Futhark.Test.Values

Methods

showsPrec :: Int -> Value -> ShowS

show :: Value -> String

showList :: [Value] -> ShowS

Binary Value

Defined in Futhark.Test.Values

Methods

put :: Value -> Put

get :: Get Value

putList :: [Value] -> Put

Pretty Value

Defined in Futhark.Test.Values

Methods

ppr :: Value -> Doc

pprPrec :: Int -> Value -> Doc

pprList :: [Value] -> Doc

valueType :: Value -> String

A textual description of the type of a value. Follows Futhark type notation, and contains the exact dimension sizes if an array.

Reading Values

readValues :: ByteString -> Maybe [Value]

Parse Futhark values from the given bytestring.

Comparing Values

compareValues :: [Value] -> [Value] -> Maybe [Mismatch]

Compare two sets of Futhark values for equality. Shapes and types must also match.

data Mismatch

Two values differ in some way.

Instances

Show Mismatch

Defined in Futhark.Test.Values

Methods

showsPrec :: Int -> Mismatch -> ShowS

show :: Mismatch -> String

showList :: [Mismatch] -> ShowS

explainMismatch :: (Show i, Pretty a) => i -> String -> a -> a -> String

A human-readable description of how two values are not the same.