Package hydra.coreEncoding

Interface CoreEncoding

  • public interface CoreEncoding
    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).

    • Method Detail

      • coreEncodeAnnotatedType

        static Term coreEncodeAnnotatedType​(AnnotatedType at)

      • coreEncodeApplication

        static Term coreEncodeApplication​(Application app)

      • coreEncodeCaseStatement

        static Term coreEncodeCaseStatement​(CaseStatement cs)

      • coreEncodeElimination

        static Term coreEncodeElimination​(Elimination v1)

      • coreEncodeField

        static Term coreEncodeField​(Field f)

      • coreEncodeFieldType

        static Term coreEncodeFieldType​(FieldType ft)

      • coreEncodeFloatType

        static Term coreEncodeFloatType​(FloatType v1)

      • coreEncodeFloatValue

        static Term coreEncodeFloatValue​(FloatValue v1)

      • coreEncodeFunction

        static Term coreEncodeFunction​(Function v1)

      • coreEncodeFunctionType

        static Term coreEncodeFunctionType​(FunctionType ft)

      • coreEncodeInjection

        static Term coreEncodeInjection​(Injection i)

      • coreEncodeIntegerType

        static Term coreEncodeIntegerType​(IntegerType v1)

      • coreEncodeIntegerValue

        static Term coreEncodeIntegerValue​(IntegerValue v1)

      • coreEncodeLambda

        static Term coreEncodeLambda​(Lambda l)

      • coreEncodeLambdaType

        static Term coreEncodeLambdaType​(LambdaType lt)

      • coreEncodeLet

        static Term coreEncodeLet​(Let l)

      • coreEncodeLetBinding

        static Term coreEncodeLetBinding​(LetBinding b)

      • coreEncodeLiteral

        static Term coreEncodeLiteral​(Literal v1)

      • coreEncodeLiteralType

        static Term coreEncodeLiteralType​(LiteralType v1)

      • coreEncodeMapType

        static Term coreEncodeMapType​(MapType mt)

      • coreEncodeName

        static Term coreEncodeName​(Name fn)

      • coreEncodeOptionalCases

        static Term coreEncodeOptionalCases​(OptionalCases oc)

      • coreEncodeProjection

        static Term coreEncodeProjection​(Projection p)

      • coreEncodeRecord

        static Term coreEncodeRecord​(Record r)

      • coreEncodeRowType

        static Term coreEncodeRowType​(RowType rt)

      • coreEncodeSum

        static Term coreEncodeSum​(Sum s)

      • coreEncodeTerm

        static Term coreEncodeTerm​(Term v1)

      • coreEncodeType

        static Term coreEncodeType​(Type v1)

      • coreEncodeTypeScheme

        static Term coreEncodeTypeScheme​(TypeScheme ts)

      • coreEncodeTypedTerm

        static Term coreEncodeTypedTerm​(TypedTerm tt)

      • coreEncodeWrappedTerm

        static Term coreEncodeWrappedTerm​(WrappedTerm n)

      • coreEncodeWrappedType

        static Term coreEncodeWrappedType​(WrappedType nt)