hydra.dsl.arity module

DSL functions for hydra.arity.

hydra.dsl.arity.primitive_arity(arg0: TypedTerm[Primitive]) → TypedTerm[int]

DSL reference to hydra.arity.primitiveArity.

hydra.dsl.arity.term_arity(arg0: TypedTerm[Term]) → TypedTerm[int]

DSL reference to hydra.arity.termArity.

hydra.dsl.arity.type_arity(arg0: TypedTerm[Type]) → TypedTerm[int]

DSL reference to hydra.arity.typeArity.

hydra.dsl.arity.type_scheme_arity(arg0: TypedTerm[TypeScheme]) → TypedTerm[int]

DSL reference to hydra.arity.typeSchemeArity.

hydra.dsl.arity.uncurry_type(arg0: TypedTerm[Type]) → TypedTerm[Sequence[Type]]

DSL reference to hydra.arity.uncurryType.