oop-lib/it.unibo.tuprolog.solve.libs.oop.primitives/Type

Type

object Type : BinaryRelation.Functional<ExecutionContext>

type(?TypeName, ?TypeRef): converts between a type-name it.unibo.tuprolog.core.Atom TypeName (the type's simple name, see it.unibo.tuprolog.solve.libs.oop.name) and a it.unibo.tuprolog.solve.libs.oop.TypeRef TypeRef, in either direction, using it.unibo.tuprolog.solve.libs.oop.TypeFactory.default to resolve names to types.

Fails (rather than throwing) if TypeName names a type that cannot be resolved.

Throws

it.unibo.tuprolog.solve.exception.error.InstantiationError

if both arguments are unbound.

Properties

descriptionPair

val descriptionPair: Pair<Signature, Primitive>

val functor: String

override val implementation: Primitive

val signature: Signature