hydra.decode.core module

Term decoders for hydra.core.

hydra.decode.core.annotated_term(cx: Graph, raw: Term) → object

Decoder for hydra.core.AnnotatedTerm.

hydra.decode.core.annotated_type(cx: Graph, raw: Term) → object

Decoder for hydra.core.AnnotatedType.

hydra.decode.core.application(cx: Graph, raw: Term) → object

Decoder for hydra.core.Application.

hydra.decode.core.application_type(cx: Graph, raw: Term) → object

Decoder for hydra.core.ApplicationType.

hydra.decode.core.binding(cx: Graph, raw: Term) → object

Decoder for hydra.core.Binding.

hydra.decode.core.case_alternative(cx: Graph, raw: Term) → object

Decoder for hydra.core.CaseAlternative.

hydra.decode.core.case_statement(cx: Graph, raw: Term) → object

Decoder for hydra.core.CaseStatement.

hydra.decode.core.either_type(cx: Graph, raw: Term) → object

Decoder for hydra.core.EitherType.

hydra.decode.core.field(cx: Graph, raw: Term) → object

Decoder for hydra.core.Field.

hydra.decode.core.field_type(cx: Graph, raw: Term) → object

Decoder for hydra.core.FieldType.

hydra.decode.core.float_type(cx: Graph, raw: Term) → object

Decoder for hydra.core.FloatType.

hydra.decode.core.float_value(cx: Graph, raw: Term) → object

Decoder for hydra.core.FloatValue.

hydra.decode.core.forall_type(cx: Graph, raw: Term) → object

Decoder for hydra.core.ForallType.

hydra.decode.core.function_type(cx: Graph, raw: Term) → object

Decoder for hydra.core.FunctionType.

hydra.decode.core.injection(cx: Graph, raw: Term) → object

Decoder for hydra.core.Injection.

hydra.decode.core.integer_type(cx: Graph, raw: Term) → object

Decoder for hydra.core.IntegerType.

hydra.decode.core.integer_value(cx: Graph, raw: Term) → object

Decoder for hydra.core.IntegerValue.

hydra.decode.core.lambda_(cx: Graph, raw: Term) → object

Decoder for hydra.core.Lambda.

hydra.decode.core.let(cx: Graph, raw: Term) → object

Decoder for hydra.core.Let.

hydra.decode.core.literal(cx: Graph, raw: Term) → object

Decoder for hydra.core.Literal.

hydra.decode.core.literal_type(cx: Graph, raw: Term) → object

Decoder for hydra.core.LiteralType.

hydra.decode.core.map_type(cx: Graph, raw: Term) → object

Decoder for hydra.core.MapType.

hydra.decode.core.name(cx: Graph, raw: Term) → object

Decoder for hydra.core.Name.

hydra.decode.core.pair_type(cx: Graph, raw: Term) → object

Decoder for hydra.core.PairType.

hydra.decode.core.projection(cx: Graph, raw: Term) → object

Decoder for hydra.core.Projection.

hydra.decode.core.record(cx: Graph, raw: Term) → object

Decoder for hydra.core.Record.

hydra.decode.core.term(cx: Graph, raw: Term) → object

Decoder for hydra.core.Term.

hydra.decode.core.type(cx: Graph, raw: Term) → object

Decoder for hydra.core.Type.

hydra.decode.core.type_application_term(cx: Graph, raw: Term) → object

Decoder for hydra.core.TypeApplicationTerm.

hydra.decode.core.type_class_constraint(cx: Graph, raw: Term) → object

Decoder for hydra.core.TypeClassConstraint.

hydra.decode.core.type_lambda(cx: Graph, raw: Term) → object

Decoder for hydra.core.TypeLambda.

hydra.decode.core.type_scheme(cx: Graph, raw: Term) → object

Decoder for hydra.core.TypeScheme.

hydra.decode.core.type_variable_constraints(cx: Graph, raw: Term) → object

Decoder for hydra.core.TypeVariableConstraints.

hydra.decode.core.wrapped_term(cx: Graph, raw: Term) → object

Decoder for hydra.core.WrappedTerm.