Test.Speculate.Misc

This module is part o Speculate.

Miscellaneous functions I still did not find a reasonable place to put them in.

Documentation

functions1 :: (Typeable a, Typeable b) => Expr -> [(Expr, a -> b)]

functions2 :: (Typeable a, Typeable b, Typeable c) => Expr -> [(Expr, a -> b -> c)]

functions3 :: (Typeable a, Typeable b, Typeable c, Typeable d) => Expr -> [(Expr, a -> b -> c -> d)]

functions4 :: (Typeable a, Typeable b, Typeable c, Typeable d, Typeable e) => Expr -> [(Expr, a -> b -> c -> d -> e)]

fillings :: Expr -> [Expr] -> [Expr]

expressionsOf :: [Expr] -> [[Expr]]

Given a list of atomic expressions, enumerate experssions by application

NOTE: for now, very inneficient

This function exists solely for documentation and will never actually be useful, as:

mapT fst $ classes

Will return as expressions that are semantially different (and is more efficient)

Eventually this function will be removed from Speculate

valuedExpressionsOf :: Typeable a => [Expr] -> [[(Expr, a)]]

Given a list of atomic expressinos, enumerated expressions of a given type by application.

Never will be actually useful, see expressionsOf.

Eventually this functino will be removed from Speculate