TypeTester

abstract class TypeTester<E : ExecutionContext> : Predicative<E>

Constructors

<init>

constructor(typeName: String)

Parameters

Name Description
typeName: String

Methods

compute

protected open fun Request<E>.compute(first: Term): Boolean

Receiver

Name Description
Request<E>

Parameters

Name Description
first: Term

ReturnValue

Name Description
Boolean

testType

abstract fun testType(term: Term): Boolean

Parameters

Name Description
term: Term

ReturnValue

Name Description
Boolean