Hydra.Dsl.Terms

A DSL for constructing Hydra terms

Documentation

(@@) :: Term -> Term -> Term

(<.>) :: Term -> Term -> Term

(>:) :: String -> Term -> Field infixr 0

annot :: Map String Term -> Term -> Term

apply :: Term -> Term -> Term

bigfloat :: Double -> Term

bigint :: Integer -> Term

binary :: String -> Term

boolean :: Bool -> Term

compose :: Term -> Term -> Term

constant :: Term -> Term

elimination :: Elimination -> Term

false :: Term

field :: String -> Term -> Field

fieldsToMap :: [Field] -> Map Name Term

float32 :: Float -> Term

float64 :: Double -> Term

float :: FloatValue -> Term

fold :: Term -> Term

identity :: Term

inject :: Name -> Field -> Term

int16 :: Int16 -> Term

int32 :: Int -> Term

int64 :: Int64 -> Term

int8 :: Int8 -> Term

integer :: IntegerValue -> Term

just :: Term -> Term

lambda :: String -> Term -> Term

letTerm :: Name -> Term -> Term -> Term

list :: [Term] -> Term

literal :: Literal -> Term

map :: Map Term Term -> Term

mapTerm :: Map Term Term -> Term

match :: Name -> Maybe Term -> [Field] -> Term

matchOpt :: Term -> Term -> Term

matchWithVariants :: Name -> Maybe Term -> [(Name, Name)] -> Term

nothing :: Term

optional :: Maybe Term -> Term

pair :: Term -> Term -> Term

primitive :: Name -> Term

product :: [Term] -> Term

project :: Name -> Name -> Term

record :: Name -> [Field] -> Term

set :: Set Term -> Term

string :: String -> Term

sum :: Int -> Int -> Term -> Term

true :: Term

typed :: Type -> Term -> Term

uint16 :: Int -> Term

uint32 :: Int64 -> Term

uint64 :: Integer -> Term

uint8 :: Int16 -> Term

unit :: Term

unitVariant :: Name -> Name -> Term

untuple :: Int -> Int -> Term

unwrap :: Name -> Term

var :: String -> Term

variant :: Name -> Name -> Term -> Term

with :: Term -> [Field] -> Term

withVariant :: Name -> Name -> Term

wrap :: Name -> Term -> Term

Orphan instances

IsString Term

Methods

fromString :: String -> Term