Package hydra.encode.core

Interface Core

public interface Core

Term encoders for hydra.core

Method Summary

Static Methods

Modifier and Type	Method	Description
static Term	annotatedTerm(AnnotatedTerm x)
static Term	annotatedType(AnnotatedType x)
static Term	application(Application x)
static Term	applicationType(ApplicationType x)
static Term	binding(Binding x)
static Term	caseStatement(CaseStatement x)
static Term	eitherType(EitherType x)
static Term	elimination(Elimination v1)
static Term	field(Field x)
static Term	fieldType(FieldType x)
static Term	floatType(FloatType v1)
static Term	floatValue(FloatValue v1)
static Term	forallType(ForallType x)
static Term	function(Function v1)
static Term	functionType(FunctionType x)
static Term	injection(Injection x)
static Term	integerType(IntegerType v1)
static Term	integerValue(IntegerValue v1)
static Term	lambda(Lambda x)
static Term	let(Let x)
static Term	literal(Literal v1)
static Term	literalType(LiteralType v1)
static Term	mapType(MapType x)
static Term	name(Name x)
static Term	pairType(PairType x)
static Term	projection(Projection x)
static Term	record(Record x)
static Term	rowType(RowType x)
static Term	term(Term v1)
static Term	type(Type v1)
static Term	typeApplicationTerm(TypeApplicationTerm x)
static Term	typeLambda(TypeLambda x)
static Term	typeScheme(TypeScheme x)
static Term	typeVariableMetadata(TypeVariableMetadata x)
static Term	wrappedTerm(WrappedTerm x)
static Term	wrappedType(WrappedType x)

Method Details

annotatedTerm

static Term annotatedTerm(AnnotatedTerm x)

annotatedType

static Term annotatedType(AnnotatedType x)

application

static Term application(Application x)

applicationType

static Term applicationType(ApplicationType x)

binding

static Term binding(Binding x)

caseStatement

static Term caseStatement(CaseStatement x)

eitherType

static Term eitherType(EitherType x)

pairType

static Term pairType(PairType x)

elimination

static Term elimination(Elimination v1)

field

static Term field(Field x)

fieldType

static Term fieldType(FieldType x)

floatType

static Term floatType(FloatType v1)

floatValue

static Term floatValue(FloatValue v1)

forallType

static Term forallType(ForallType x)

function

static Term function(Function v1)

functionType

static Term functionType(FunctionType x)

injection

static Term injection(Injection x)

integerType

static Term integerType(IntegerType v1)

integerValue

static Term integerValue(IntegerValue v1)

lambda

static Term lambda(Lambda x)

let

static Term let(Let x)

literal

static Term literal(Literal v1)

literalType

static Term literalType(LiteralType v1)

mapType

static Term mapType(MapType x)

name

static Term name(Name x)

projection

static Term projection(Projection x)

record

static Term record(Record x)

rowType

static Term rowType(RowType x)

term

static Term term(Term v1)

type

static Term type(Type v1)

typeApplicationTerm

static Term typeApplicationTerm(TypeApplicationTerm x)

typeLambda

static Term typeLambda(TypeLambda x)

typeScheme

static Term typeScheme(TypeScheme x)

typeVariableMetadata

static Term typeVariableMetadata(TypeVariableMetadata x)

wrappedTerm

static Term wrappedTerm(WrappedTerm x)

wrappedType

static Term wrappedType(WrappedType x)