data class Signature: TermConvertible, Any
Fields
Name | Description |
---|---|
val name: String
|
|
val arity: Int
|
|
val vararg: Boolean
|
Constructors
<init>
constructor(name: String, arity: Int, vararg: Boolean)
The signature of a query Struct or a Primitive
Parameters
Name | Description |
---|---|
name: String
|
|
arity: Int
|
|
vararg: Boolean
|
Methods
toTerm
fun toTerm(): Struct
Converts this signature to a Struct '/'([name], [arity])
or '/'([name],'+'([arity], vararg))
ReturnValue
Name | Description |
---|---|
Struct
|
CompanionObject
Signature
data class Signature: TermConvertible, Any
The signature of a query Struct or a Primitive
Fields
Name | Description |
---|---|
const FUNCTOR: String
|
The functor of a Signature struct |
Methods
fromSignatureTerm
fun fromSignatureTerm(term: Struct): Signature?
Creates a Signature instance from a well-formed Signature Struct, or returns null
if it cannot be interpreted as Signature
Parameters
Name | Description |
---|---|
term: Struct
|
ReturnValue
Name | Description |
---|---|
Signature?
|
The signature of a query Struct or a Primitive