Type Members

1.  final case class Atom[P[_], A](n: Option[Name], f: P[A]) extends Logic[P, A] with Product with Serializable
2.  final case class Biconditional[P[_], A](p: Logic[P, A], q: Logic[P, A]) extends Logic[P, A] with Product with Serializable
3.  final case class Conjunction[P[_], A](ls: NonEmptyList[Logic[P, A]]) extends Logic[P, A] with Product with Serializable
4.  case class CycleDetector[A, B](extract: (A) ⇒ Iterator[B], check: (A, Iterator[B]) ⇒ Option[(B, B)]) extends Product with Serializable
5.  final case class CycleFree[A](value: A) extends Product with Serializable
6.  final case class Disjunction[P[_], A](ls: NonEmptyList[Logic[P, A]]) extends Logic[P, A] with Product with Serializable
7.  final case class Eval extends Product with Serializable
8.  type EvalL = Logic[Eval_, Nothing]
9.  final case class EvalOver(input: Any) extends Product with Serializable
10.  type Eval_[x] = Eval
11.  type FailureReason = String
12.  type FailureReasonO = Option[FailureReason]
13.  final case class Implication[P[_], A](a: Logic[P, A], c: Logic[P, A]) extends Logic[P, A] with Product with Serializable
14.  case class Input(a: Any) extends Product with Serializable
15.  sealed abstract class Logic[P[_], A] extends AnyRef
16.  implicit final class LogicPropExt[A] extends AnyVal
17.  final case class Mapped[P[_], A, B](m: (A) ⇒ B, l: Logic[P, B]) extends Logic[P, A] with Product with Serializable
18.  type Name = Need[String]
19.  final case class Named[P[_], A](n: Name, l: Logic[P, A]) extends Logic[P, A] with Product with Serializable
20.  final case class Negation[P[_], A](l: Logic[P, A]) extends Logic[P, A] with Product with Serializable
21.  type Prop[A] = Logic[PropA, A]
22.  final class PropA[A] extends AnyRef
23.  implicit final class Prop_AnyExt[A] extends AnyVal
24.  final case class Reduction[P[_], A](c: Logic[P, A], a: Logic[P, A]) extends Logic[P, A] with Product with Serializable