prop

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