morphir-contrib-knowledge
API
Generated with
morphir-contrib-knowledge/morphir.knowledge.logic/microkanren

microkanren

morphir.knowledge.logic.microkanren$
object microkanren extends Kernel

Attributes

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

Members list

Type members

Classlikes

final implicit class MicrokanrenSyntax[A](val self: A) extends AnyVal

Attributes

Supertypes
class AnyVal
trait Matchable
class Any

Inherited types

type Field[A] = Field[A]

Attributes

Inherited from:
Kernel
type Goal = Goal

Attributes

Inherited from:
Kernel
type SStream = SStream

Attributes

Inherited from:
Kernel
type State = State

Attributes

Inherited from:
Kernel

Value members

Inherited methods

def and(goals: Goal*): Goal

Attributes

Inherited from:
Kernel
def and(goals: List[Goal]): Goal

Attributes

Inherited from:
Kernel
def constraint(constrainedFields: List[Field[_]], constraint: FieldConstraint): Goal

Attributes

Inherited from:
Kernel
def constraintConverter: ConstraintConverter

Attributes

Inherited from:
Kernel
def eq[A, B](a: A, b: B): Goal

An alias for equal.

An alias for equal.

Attributes

Inherited from:
Kernel
def equal[A, B](a: A, b: B): Goal

Attributes

Inherited from:
Kernel
def or(goals: Goal*): Goal

Attributes

Inherited from:
Kernel
def or(goals: List[Goal]): Goal

Attributes

Inherited from:
Kernel
def run(goal: Goal): SStream

Attributes

Inherited from:
Kernel
def run(goal: Goal, state: State): SStream

Attributes

Inherited from:
Kernel
def run(constraint: Constraint): SStream

Attributes

Inherited from:
Kernel
def run(constraint: Constraint, state: State): SStream

Attributes

Inherited from:
Kernel

Inherited fields

val Field: Field.type

Attributes

Inherited from:
Kernel
val Goal: Goal.type

Attributes

Inherited from:
Kernel
val SStream: Flux.type

Attributes

Inherited from:
Kernel
val State: State.type

Attributes

Inherited from:
Kernel

Implicits

Implicits

final implicit def MicrokanrenSyntax[A](self: A): MicrokanrenSyntax[A]
Generated with