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

Hydra.Dsl.Expect

Description

A DSL for constructing Hydra terms

Documentation

field :: Name -> (Term -> Flow s x) -> [Field] -> Flow s x Source #

list :: (Term -> Flow s x) -> Term -> Flow s [x] Source #

map :: Ord k => (Term -> Flow s k) -> (Term -> Flow s v) -> Term -> Flow s (Map k v) Source #

nArgs :: Int -> [Term] -> Flow s () Source #

optional :: (Term -> Flow s x) -> Term -> Flow s (Maybe x) Source #

pair :: (Term -> Flow s k) -> (Term -> Flow s v) -> Term -> Flow s (k, v) Source #

set :: Ord x => (Term -> Flow s x) -> Term -> Flow s (Set x) Source #

unit :: Term -> Flow s () Source #