hydra.encode.core module

Term encoders for hydra.core.

hydra.encode.core.annotated_term(x: AnnotatedTerm) → Term

Encoder for hydra.core.AnnotatedTerm.

hydra.encode.core.annotated_type(x: AnnotatedType) → Term

Encoder for hydra.core.AnnotatedType.

hydra.encode.core.application(x: Application) → Term

Encoder for hydra.core.Application.

hydra.encode.core.application_type(x: ApplicationType) → Term

Encoder for hydra.core.ApplicationType.

hydra.encode.core.binding(x: Binding) → Term

Encoder for hydra.core.Binding.

hydra.encode.core.case_alternative(x: CaseAlternative) → Term

Encoder for hydra.core.CaseAlternative.

hydra.encode.core.case_statement(x: CaseStatement) → Term

Encoder for hydra.core.CaseStatement.

hydra.encode.core.either_type(x: EitherType) → Term

Encoder for hydra.core.EitherType.

hydra.encode.core.field(x: Field) → Term

Encoder for hydra.core.Field.

hydra.encode.core.field_type(x: FieldType) → Term

Encoder for hydra.core.FieldType.

hydra.encode.core.float_type(v1: FloatType) → Term

Encoder for hydra.core.FloatType.

hydra.encode.core.float_value(v1: FloatValue) → Term

Encoder for hydra.core.FloatValue.

hydra.encode.core.forall_type(x: ForallType) → Term

Encoder for hydra.core.ForallType.

hydra.encode.core.function_type(x: FunctionType) → Term

Encoder for hydra.core.FunctionType.

hydra.encode.core.injection(x: Injection) → Term

Encoder for hydra.core.Injection.

hydra.encode.core.integer_type(v1: IntegerType) → Term

Encoder for hydra.core.IntegerType.

hydra.encode.core.integer_value(v1: IntegerValue) → Term

Encoder for hydra.core.IntegerValue.

hydra.encode.core.lambda_(x: Lambda) → Term

Encoder for hydra.core.Lambda.

hydra.encode.core.let(x: Let) → Term

Encoder for hydra.core.Let.

hydra.encode.core.literal(v1: Literal) → Term

Encoder for hydra.core.Literal.

hydra.encode.core.literal_type(v1: LiteralType) → Term

Encoder for hydra.core.LiteralType.

hydra.encode.core.map_type(x: MapType) → Term

Encoder for hydra.core.MapType.

hydra.encode.core.name(x: Name) → Term

Encoder for hydra.core.Name.

hydra.encode.core.pair_type(x: PairType) → Term

Encoder for hydra.core.PairType.

hydra.encode.core.projection(x: Projection) → Term

Encoder for hydra.core.Projection.

hydra.encode.core.record(x: Record) → Term

Encoder for hydra.core.Record.

hydra.encode.core.term(v1: Term) → Term

Encoder for hydra.core.Term.

hydra.encode.core.type(v1: Type) → Term

Encoder for hydra.core.Type.

hydra.encode.core.type_application_term(x: TypeApplicationTerm) → Term

Encoder for hydra.core.TypeApplicationTerm.

hydra.encode.core.type_class_constraint(v1: TypeClassConstraint) → Term

Encoder for hydra.core.TypeClassConstraint.

hydra.encode.core.type_lambda(x: TypeLambda) → Term

Encoder for hydra.core.TypeLambda.

hydra.encode.core.type_scheme(x: TypeScheme) → Term

Encoder for hydra.core.TypeScheme.

hydra.encode.core.type_variable_constraints(x: TypeVariableConstraints) → Term

Encoder for hydra.core.TypeVariableConstraints.

hydra.encode.core.wrapped_term(x: WrappedTerm) → Term

Encoder for hydra.core.WrappedTerm.