nyaya

Type Members

1. final case class Atom[P[_], A](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) ⇒ Stream[B], check: (A, Stream[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