package prop
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- prop
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- final case class Atom [P[_], A](n: Option[Name], 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) ⇒ Iterator[B], check: (A, Iterator[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
- type Prop[A] = Logic[PropA, A]
- 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
- val Prop: Prop_TempHack.type
- object CycleDetector extends Serializable
- object Eval extends Serializable
- object Logic
- object PropA
- object Prop_TempHack