package
nyaya
Type Members
-
final
case class
Atom[P[_], A](f: P[A]) extends Logic[P, A] with Product with Serializable
-
final
case class
Biconditional[P[_], A](p: Logic[P, A], q: Logic[P, A]) extends Logic[P, A] with Product with Serializable
-
final
case class
Conjunction[P[_], A](ls: NonEmptyList[Logic[P, A]]) extends Logic[P, A] with Product with Serializable
-
case class
CycleDetector[A, B](extract: (A) ⇒ Stream[B], check: (A, Stream[B]) ⇒ Option[(B, B)]) extends Product with Serializable
-
final
case class
CycleFree[A](value: A) extends Product with Serializable
-
final
case class
Disjunction[P[_], A](ls: NonEmptyList[Logic[P, A]]) extends Logic[P, A] with Product with Serializable
-
final
case class
Eval extends Product with Serializable
-
type
EvalL = Logic[Eval_, Nothing]
-
final
case class
EvalOver(input: Any) extends Product with Serializable
-
type
Eval_[x] = Eval
-
type
FailureReason = String
-
type
FailureReasonO = Option[FailureReason]
-
final
case class
Implication[P[_], A](a: Logic[P, A], c: Logic[P, A]) extends Logic[P, A] with Product with Serializable
-
case class
Input(a: Any) extends Product with Serializable
-
sealed abstract
class
Logic[P[_], A] extends AnyRef
-
implicit final
class
LogicPropExt[A] extends AnyVal
-
final
case class
Mapped[P[_], A, B](m: (A) ⇒ B, l: Logic[P, B]) extends Logic[P, A] with Product with Serializable
-
type
Name = Need[String]
-
final
case class
Named[P[_], A](n: Name, l: Logic[P, A]) extends Logic[P, A] with Product with Serializable
-
final
case class
Negation[P[_], A](l: Logic[P, A]) extends Logic[P, A] with Product with Serializable
-
-
final
class
PropA[A] extends AnyRef
-
implicit final
class
Prop_AnyExt[A] extends AnyVal
-
final
case class
Reduction[P[_], A](c: Logic[P, A], a: Logic[P, A]) extends Logic[P, A] with Product with Serializable
Value Members
-
object
CycleDetector extends Serializable
-
object
Eval extends Serializable
-
-
-
-
Inherited from AnyRef
Inherited from Any