Hydra.Impl.Haskell.Dsl.Terms

A DSL for constructing Hydra terms

Documentation

annot :: m -> Term m -> Term m

apply :: Term m -> Term m -> Term m

bigfloat :: Double -> Term m

bigint :: Integer -> Term m

binary :: String -> Term m

boolean :: Bool -> Term m

cases :: Name -> [Field m] -> Term m

compareTo :: Term m -> Term m

constFunction :: Term m -> Term m

delta :: Term m

element :: Name -> Term m

elementRef :: Element a -> Term m

elementRefByName :: Name -> Term m

eliminateNominal :: Name -> Term m

elimination :: Elimination m -> Term m

expectBinary :: Show m => Term m -> Flow s String

expectBoolean :: Show m => Term m -> Flow s Bool

expectFloat32 :: Show m => Term m -> Flow s Float

expectFloat64 :: Show m => Term m -> Flow s Double

expectInt32 :: Show m => Term m -> Flow s Int

expectInt64 :: Show m => Term m -> Flow s Integer

expectList :: Show m => (Term m -> Flow s a) -> Term m -> Flow s [a]

expectLiteral :: Show m => (Literal -> Flow s a) -> Term m -> Flow s a

expectMap :: (Ord k, Show m) => (Term m -> Flow s k) -> (Term m -> Flow s v) -> Term m -> Flow s (Map k v)

expectNArgs :: Int -> [Term m] -> Flow s ()

expectOptional :: Show m => (Term m -> Flow s a) -> Term m -> Flow s (Maybe a)

expectRecord :: Show m => Term m -> Flow s [Field m]

expectSet :: (Ord a, Show m) => (Term m -> Flow s a) -> Term m -> Flow s (Set a)

expectString :: Show m => Term m -> Flow s String

expectUnion :: Show m => Term m -> Flow s (Field m)

field :: String -> Term m -> Field m

fieldsToMap :: [Field m] -> Map FieldName (Term m)

float32 :: Float -> Term m

float64 :: Double -> Term m

float :: FloatValue -> Term m

fold :: Term m -> Term m

int16 :: Int16 -> Term m

int32 :: Int -> Term m

int64 :: Int64 -> Term m

int8 :: Int8 -> Term m

integer :: IntegerValue -> Term m

isUnit :: Eq m => Term m -> Bool

lambda :: String -> Term m -> Term m

letTerm :: Variable -> Term m -> Term m -> Term m

list :: [Term m] -> Term m

literal :: Literal -> Term m

map :: Map (Term m) (Term m) -> Term m

mapTerm :: Map (Term m) (Term m) -> Term m

match :: Name -> [(FieldName, Term m)] -> Term m

matchOptional :: Term m -> Term m -> Term m

matchWithVariants :: Name -> [(FieldName, FieldName)] -> Term m

nominal :: Name -> Term m -> Term m

optional :: Maybe (Term m) -> Term m

primitive :: Name -> Term m

product :: [Term m] -> Term m

projection :: Name -> FieldName -> Term m

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

requireField :: Map FieldName (Term m) -> FieldName -> GraphFlow m (Term m)

set :: Set (Term m) -> Term m

stringList :: [String] -> Term m

stringSet :: Ord m => Set String -> Term m

string :: String -> Term m

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

uint16 :: Integer -> Term m

uint32 :: Integer -> Term m

uint64 :: Integer -> Term m

uint8 :: Integer -> Term m

union :: Name -> Field m -> Term m

unit :: Term m

unitVariant :: Name -> FieldName -> Term m

variable :: String -> Term m

variant :: Name -> FieldName -> Term m -> Term m

withVariant :: Name -> FieldName -> Term m

Orphan instances

IsString (Term m)

Methods

fromString :: String -> Term m