Prolog-as-ScalaDSL
API
Generated with
Prolog-as-ScalaDSL/io.github.kelvindev15.prolog/io.github.kelvindev15.prolog.core/RecursiveStruct/BinaryRecursiveStruct

BinaryRecursiveStruct

io.github.kelvindev15.prolog.core.RecursiveStruct.BinaryRecursiveStruct
See theBinaryRecursiveStruct companion trait
object BinaryRecursiveStruct

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

object Tuple

A destructuring object for BinaryRecursiveStructs.

A destructuring object for BinaryRecursiveStructs.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Tuple.type

Value members

Concrete methods

def fold[T <: BinaryRecursiveStruct](strategy: (Term, Term) => T)(args: Term*): T

Folds a sequence of arguments into a binarized struct using a strategy.

Folds a sequence of arguments into a binarized struct using a strategy.

Type parameters

T

the type of BinaryRecursiveStruct.

Value parameters

args

the sequence of terms.

strategy

the strategy for binarization.

Attributes

def wrapIfNecessary(strategy: Seq[Term] => BinaryRecursiveStruct)(args: Term*): Term

Binarize a list of Terms using a strategy.

Binarize a list of Terms using a strategy.

Value parameters

args

the arguments to binarize.

strategy

the binarization strategy.

Attributes

Throws
IllegalArgumentException

if the are no args.

Generated with