Package hydra.dsl

Interface Strip

public interface Strip

DSL functions for hydra.strip

Method Summary

Static Methods

Modifier and Type	Method	Description
static TypedTerm<Term>	deannotateAndDetypeTerm(TypedTerm<Term> arg0)	DSL reference to hydra.strip.deannotateAndDetypeTerm
static TypedTerm<Term>	deannotateTerm(TypedTerm<Term> arg0)	DSL reference to hydra.strip.deannotateTerm
static TypedTerm<Type>	deannotateType(TypedTerm<Type> arg0)	DSL reference to hydra.strip.deannotateType
static TypedTerm<Type>	deannotateTypeParameters(TypedTerm<Type> arg0)	DSL reference to hydra.strip.deannotateTypeParameters
static TypedTerm<Type>	deannotateTypeRecursive(TypedTerm<Type> arg0)	DSL reference to hydra.strip.deannotateTypeRecursive
static TypedTerm<TypeScheme>	deannotateTypeSchemeRecursive(TypedTerm<TypeScheme> arg0)	DSL reference to hydra.strip.deannotateTypeSchemeRecursive
static TypedTerm<Term>	detypeTerm(TypedTerm<Term> arg0)	DSL reference to hydra.strip.detypeTerm
static TypedTerm<Term>	removeTermAnnotations(TypedTerm<Term> arg0)	DSL reference to hydra.strip.removeTermAnnotations
static TypedTerm<Type>	removeTypeAnnotations(TypedTerm<Type> arg0)	DSL reference to hydra.strip.removeTypeAnnotations
static TypedTerm<Term>	removeTypeAnnotationsFromTerm(TypedTerm<Term> arg0)	DSL reference to hydra.strip.removeTypeAnnotationsFromTerm
static TypedTerm<Term>	removeTypesFromTerm(TypedTerm<Term> arg0)	DSL reference to hydra.strip.removeTypesFromTerm
static TypedTerm<Term>	stripTypeLambdas(TypedTerm<Term> arg0)	DSL reference to hydra.strip.stripTypeLambdas

Method Detail

deannotateAndDetypeTerm

static TypedTerm<Term> deannotateAndDetypeTerm(TypedTerm<Term> arg0)

DSL reference to hydra.strip.deannotateAndDetypeTerm

deannotateTerm

static TypedTerm<Term> deannotateTerm(TypedTerm<Term> arg0)

DSL reference to hydra.strip.deannotateTerm

deannotateType

static TypedTerm<Type> deannotateType(TypedTerm<Type> arg0)

DSL reference to hydra.strip.deannotateType

deannotateTypeParameters

static TypedTerm<Type> deannotateTypeParameters(TypedTerm<Type> arg0)

DSL reference to hydra.strip.deannotateTypeParameters

deannotateTypeRecursive

static TypedTerm<Type> deannotateTypeRecursive(TypedTerm<Type> arg0)

DSL reference to hydra.strip.deannotateTypeRecursive

deannotateTypeSchemeRecursive

static TypedTerm<TypeScheme> deannotateTypeSchemeRecursive(TypedTerm<TypeScheme> arg0)

DSL reference to hydra.strip.deannotateTypeSchemeRecursive

detypeTerm

static TypedTerm<Term> detypeTerm(TypedTerm<Term> arg0)

DSL reference to hydra.strip.detypeTerm

removeTermAnnotations

static TypedTerm<Term> removeTermAnnotations(TypedTerm<Term> arg0)

DSL reference to hydra.strip.removeTermAnnotations

removeTypeAnnotations

static TypedTerm<Type> removeTypeAnnotations(TypedTerm<Type> arg0)

DSL reference to hydra.strip.removeTypeAnnotations

removeTypeAnnotationsFromTerm

static TypedTerm<Term> removeTypeAnnotationsFromTerm(TypedTerm<Term> arg0)

DSL reference to hydra.strip.removeTypeAnnotationsFromTerm

removeTypesFromTerm

static TypedTerm<Term> removeTypesFromTerm(TypedTerm<Term> arg0)

DSL reference to hydra.strip.removeTypesFromTerm

stripTypeLambdas

static TypedTerm<Term> stripTypeLambdas(TypedTerm<Term> arg0)

DSL reference to hydra.strip.stripTypeLambdas