commonMain.it.unibo.tuprolog.solve.primitive.Primitive.kt Maven / Gradle / Ivy

Go to download
package it.unibo.tuprolog.solve.primitive

import it.unibo.tuprolog.solve.ExecutionContext
import it.unibo.tuprolog.solve.Signature
import kotlin.js.JsName

/** A typealias for a primitive function that accepts a [Solve.Request] and returns a Sequence of [Solve.Response]s */
typealias Primitive = (Solve.Request) -> Sequence

/**
 * Creates a new [Primitive], behaving exactly as given [uncheckedPrimitive], but accepting only provided [supportedSignature]
 * as [Solve.Request] signature, throwing [IllegalArgumentException] otherwise
 */
@JsName("primitiveOf")
fun primitiveOf(supportedSignature: Signature, uncheckedPrimitive: Primitive): Primitive = {
    when (it.signature) { // TODO see TODO in "Signature"; here should be called that method to check if primitive could execute
        supportedSignature -> uncheckedPrimitive(it)
        else -> throw IllegalArgumentException("This primitive supports only this signature `$supportedSignature`")
    }
}