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

morphir.knowledge.logic.core

package morphir.knowledge.logic.core

Members list

Type members

Classlikes

final case class Field[A](name: Name, fieldType: ClassTag[A])

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Field

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Field.type
object FieldConstraint

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
final case class Fields(bindings: Map[Field[_], Value])

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
object Fields

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Fields.type
final case class Flux[+A](stream: ZStream[Any, Nothing, Option[A]])

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
Flux[A]
object Flux

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Flux.type
sealed trait Goal extends Serializable

Attributes

Companion
object
Supertypes
trait Serializable
class Object
trait Matchable
class Any
object Goal

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Goal.type
final case class State(fields: Fields, fieldConstraints: Map[Field[_], List[FieldConstraint]])

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
object State

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
State.type

Types

type FieldConstraint = PartialFunction[State, State]
type Name = String
type SStream = Flux[State]
type Value = Any

Value members

Concrete fields

val SStream: Flux.type
Generated with