Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Hydra.CoreEncoding
Description
Mapping of hydra/core constructs in a host language like Haskell or Java to their native Hydra counterparts as terms. This includes an implementation of LambdaGraph's epsilon encoding (types to terms).
Documentation
coreEncodeField :: Field -> Term Source #
coreEncodeFieldType :: FieldType -> Term Source #
coreEncodeFloatType :: FloatType -> Term Source #
coreEncodeFunction :: Function -> Term Source #
coreEncodeInjection :: Injection -> Term Source #
coreEncodeLambda :: Lambda -> Term Source #
coreEncodeLet :: Let -> Term Source #
coreEncodeLiteral :: Literal -> Term Source #
coreEncodeMapType :: MapType -> Term Source #
coreEncodeName :: Name -> Term Source #
coreEncodeRecord :: Record -> Term Source #
coreEncodeRowType :: RowType -> Term Source #
coreEncodeSum :: Sum -> Term Source #
coreEncodeTerm :: Term -> Term Source #
coreEncodeType :: Type -> Term Source #