hydra.dsl.strip module

DSL functions for hydra.strip.

hydra.dsl.strip.deannotate_and_detype_term(arg0: TypedTerm[Term]) → TypedTerm[Term]

DSL reference to hydra.strip.deannotateAndDetypeTerm.

hydra.dsl.strip.deannotate_term(arg0: TypedTerm[Term]) → TypedTerm[Term]

DSL reference to hydra.strip.deannotateTerm.

hydra.dsl.strip.deannotate_type(arg0: TypedTerm[Type]) → TypedTerm[Type]

DSL reference to hydra.strip.deannotateType.

hydra.dsl.strip.deannotate_type_parameters(arg0: TypedTerm[Type]) → TypedTerm[Type]

DSL reference to hydra.strip.deannotateTypeParameters.

hydra.dsl.strip.deannotate_type_recursive(arg0: TypedTerm[Type]) → TypedTerm[Type]

DSL reference to hydra.strip.deannotateTypeRecursive.

hydra.dsl.strip.deannotate_type_scheme_recursive(arg0: TypedTerm[TypeScheme]) → TypedTerm[TypeScheme]

DSL reference to hydra.strip.deannotateTypeSchemeRecursive.

hydra.dsl.strip.detype_term(arg0: TypedTerm[Term]) → TypedTerm[Term]

DSL reference to hydra.strip.detypeTerm.

hydra.dsl.strip.remove_term_annotations(arg0: TypedTerm[Term]) → TypedTerm[Term]

DSL reference to hydra.strip.removeTermAnnotations.

hydra.dsl.strip.remove_type_annotations(arg0: TypedTerm[Type]) → TypedTerm[Type]

DSL reference to hydra.strip.removeTypeAnnotations.

hydra.dsl.strip.remove_type_annotations_from_term(arg0: TypedTerm[Term]) → TypedTerm[Term]

DSL reference to hydra.strip.removeTypeAnnotationsFromTerm.

hydra.dsl.strip.remove_types_from_term(arg0: TypedTerm[Term]) → TypedTerm[Term]

DSL reference to hydra.strip.removeTypesFromTerm.

hydra.dsl.strip.strip_type_lambdas(arg0: TypedTerm[Term]) → TypedTerm[Term]

DSL reference to hydra.strip.stripTypeLambdas.