Safe Haskell	Safe-Inferred
Language	Haskell2010

Hydra.Dsl.Expect

Description

A DSL for constructing Hydra terms

Documentation

bigfloat :: Term -> Flow s Double Source #

bigfloatValue :: FloatValue -> Flow s Double Source #

bigint :: Term -> Flow s Integer Source #

bigintValue :: IntegerValue -> Flow s Integer Source #

binary :: Term -> Flow s String Source #

binaryLiteral :: Literal -> Flow s String Source #

boolean :: Term -> Flow s Bool Source #

booleanLiteral :: Literal -> Flow s Bool Source #

cases :: Name -> Term -> Flow s CaseStatement Source #

casesCase :: Name -> String -> Term -> Flow s Field Source #

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

float32 :: Term -> Flow s Float Source #

float32Value :: FloatValue -> Flow s Float Source #

float64 :: Term -> Flow s Double Source #

float64Value :: FloatValue -> Flow s Double Source #

floatLiteral :: Literal -> Flow s FloatValue Source #

inject :: Name -> Term -> Flow s Field Source #

injection :: Term -> Flow s Field Source #

injectionWithName :: Name -> Term -> Flow s Field Source #

int8 :: Term -> Flow s Int8 Source #

int8Value :: IntegerValue -> Flow s Int8 Source #

int16 :: Term -> Flow s Int16 Source #

int16Value :: IntegerValue -> Flow s Int16 Source #

int32 :: Term -> Flow s Int Source #

int32Value :: IntegerValue -> Flow s Int Source #

int64 :: Term -> Flow s Int64 Source #

int64Value :: IntegerValue -> Flow s Int64 Source #

integerLiteral :: Literal -> Flow s IntegerValue Source #

lambda :: Term -> Flow s Lambda Source #

letBinding :: String -> Term -> Flow s Term Source #

lambdaBody :: Term -> Flow s Term Source #

letTerm :: Term -> Flow s Let Source #

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

listHead :: Term -> Flow s Term Source #

literal :: Term -> Flow s Literal 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 #

optCases :: Term -> Flow s OptionalCases Source #

optCasesJust :: Term -> Flow s Term Source #

optCasesNothing :: Term -> Flow s Term 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 #

record :: Term -> Flow s [Field] Source #

recordWithName :: Name -> Term -> Flow s [Field] Source #

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

string :: Term -> Flow s String Source #

stringLiteral :: Literal -> Flow s String Source #

strip :: Term -> Term Source #

uint8 :: Term -> Flow s Int16 Source #

uint8Value :: IntegerValue -> Flow s Int16 Source #

uint16 :: Term -> Flow s Int Source #

uint16Value :: IntegerValue -> Flow s Int Source #

uint32 :: Term -> Flow s Int64 Source #

uint32Value :: IntegerValue -> Flow s Int64 Source #

uint64 :: Term -> Flow s Integer Source #

uint64Value :: IntegerValue -> Flow s Integer Source #

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

unitVariant :: Name -> Term -> Flow s Name Source #

variable :: Term -> Flow s Name Source #

variant :: Name -> Term -> Flow s Field Source #

wrap :: Name -> Term -> Flow s Term Source #