hydra-0.5.1: Type-aware transformations for data and programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Dsl.Tests

Documentation

module Hydra.Testing

module Hydra.Sources.Libraries

module Hydra.Dsl.Terms

testCase :: EvaluationStyle -> Term -> Term -> TestCase Source #

intList :: [Int] -> Term Source #

intListList :: [[Int]] -> Term Source #

primCase :: Name -> [Term] -> Term -> TestCase Source #

stringList :: [String] -> Term Source #

stringSet :: Set String -> Term Source #