t

es.weso.rbe

Matcher

trait Matcher[Edge, Node, Label, Evidence] extends CheckerCats

Source
Matcher.scala
Linear Supertypes
CheckerCats, Checker, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Matcher
  2. CheckerCats
  3. Checker
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type Attempt_ = Attempt[Node, Label]
  2. type Check[A] = EitherT[WriterEC, Err, A]
    Definition Classes
    CheckerCats → Checker
  3. type CheckInfo = Set[(Node, Edge, Node)]
  4. type CheckTyping = EitherT[WriterEC, Err, Typing_]
  5. type Config = (Schema_, Graph_)
    Definition Classes
    Matcher → Checker
  6. type Env = Typing[Node, Label, Err, Evidence]
    Definition Classes
    Matcher → Checker
  7. abstract type Err
    Definition Classes
    Checker
  8. type Graph_ = Graph[Edge, Node]
  9. type Log = MatcherLog[Edge, Node, Label, Evidence]
    Definition Classes
    Matcher → Checker
  10. type LogMessage = (Attempt_, String)
  11. type ReaderConfig[A] = Kleisli[IO, Config, A]
    Definition Classes
    CheckerCats
  12. type ReaderEC[A] = Kleisli[ReaderConfig, Env, A]
    Definition Classes
    CheckerCats
  13. type Schema_ = Schema[Edge, Node, Label, Err, Evidence]
  14. type Triples_ = Set[(Node, Edge, Node)]
  15. type Typing_ = Typing[Node, Label, Err, Evidence]
  16. type WriterEC[A] = WriterT[ReaderEC, Log, A]
    Definition Classes
    CheckerCats

Abstract Value Members

  1. abstract def matchNodeLabel(node: Node, label: Label): Check[Typing[Node, Label, Err, Evidence]]

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def addLog(log: Log): Check[Unit]
    Definition Classes
    CheckerCats → Checker
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def attempt[A](c: Check[A]): Check[Either[Err, A]]
    Definition Classes
    CheckerCats → Checker
  7. def checkAll[A](xs: List[Check[A]]): Check[List[A]]
    Definition Classes
    CheckerCats
  8. def checkAllFailFAtFirstFlag[A, B, F[_]](ls: ⇒ LazyList[A], check: (A) ⇒ F[(B, Boolean)], last: ⇒ B)(implicit arg0: Monoid[B], arg1: Monad[F]): F[(B, Boolean)]
    Definition Classes
    CheckerCats
  9. def checkAllFlag[A, B, F[_]](ls: ⇒ LazyList[A], check: (A) ⇒ F[(B, Boolean)], last: ⇒ B)(implicit arg0: Monoid[B], arg1: Monad[F]): F[(B, Boolean)]
    Definition Classes
    CheckerCats
  10. def checkList[A, B](ls: List[A], check: (A) ⇒ Check[B]): Check[List[B]]
    Definition Classes
    CheckerCats
  11. def checkLs[A](cs: List[Check[A]]): Check[List[A]]
    Definition Classes
    CheckerCats
  12. def checkOneOf[A](cs: List[Check[A]], errNone: Err, errMoreThanOne: (List[A]) ⇒ Err): Check[A]
    Definition Classes
    CheckerCats
  13. def checkPair1st[A, B](p: (Check[A], B)): Check[(A, B)]
    Definition Classes
    CheckerCats
  14. def checkPair2nd[A, B](p: (A, Check[B])): Check[(A, B)]
    Definition Classes
    CheckerCats
  15. def checkSequenceFlag[A, F[_]](ls: ⇒ List[F[(A, Boolean)]], last: A)(implicit arg0: Monoid[A], arg1: Monad[F]): F[(A, Boolean)]
    Definition Classes
    CheckerCats
  16. def checkSome[A](cs: LazyList[Check[A]])(implicit ev: Monoid[Err]): Check[A]
    Definition Classes
    CheckerCats
  17. def checkSome[A](cs: List[Check[A]], errorIfNone: Err): Check[A]
    Definition Classes
    CheckerCats → Checker
  18. def checkSomeFlag[A, B, F[_]](ls: ⇒ LazyList[A], check: (A) ⇒ F[(B, Boolean)], last: F[(B, Boolean)])(implicit arg0: Monad[F]): F[(B, Boolean)]
    Definition Classes
    CheckerCats
  19. def checkSomeFlagCount[A, B](ls: ⇒ LazyList[A], check: (A) ⇒ Check[(B, Boolean)], last: B)(implicit arg0: Monoid[B]): Check[(B, Int)]
    Definition Classes
    CheckerCats
  20. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @HotSpotIntrinsicCandidate()
  21. def cond[A, B](check: Check[A], thenPart: (A) ⇒ Check[B], elsePart: (Err) ⇒ Check[B]): Check[B]
    Definition Classes
    CheckerCats
  22. def condFlag[A, B](check: Check[A], thenPart: (A) ⇒ Check[B], elsePart: (Err) ⇒ Check[B]): Check[(B, Boolean)]
    Definition Classes
    CheckerCats
  23. implicit val envMonoid: Monoid[Env]
  24. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  25. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  26. def err[A](e: Err): Check[A]
    Definition Classes
    CheckerCats → Checker
  27. def filterSuccess[A, B](ls: List[A], check: (A) ⇒ Check[B]): Check[List[(A, B)]]
    Definition Classes
    CheckerCats
  28. def fromEither[A](e: Either[Err, A]): Check[A]
    Definition Classes
    CheckerCats
  29. def fromEitherIO[A](e: EitherT[IO, Err, A]): Check[A]
    Definition Classes
    CheckerCats
  30. def fromIO[A](io: IO[A]): Check[A]
    Definition Classes
    CheckerCats
  31. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  32. def getConfig: Check[Config]
    Definition Classes
    CheckerCats → Checker
  33. def getEnv: Check[Env]
    Definition Classes
    CheckerCats → Checker
  34. def getGraph: Check[Graph_]
  35. def getSchema: Check[Schema_]
  36. def getTyping: Check[Typing[Node, Label, Err, Evidence]]
  37. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  38. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  39. def local[A](f: (Env) ⇒ Env)(c: Check[A]): Check[A]
    Definition Classes
    CheckerCats → Checker
  40. implicit val logMonoid: Monoid[Log]
    Definition Classes
    Matcher → CheckerCats
  41. implicit val logShow: Show[Log]
  42. lazy val mWriterEC: Monad[WriterEC]
    Attributes
    protected
    Definition Classes
    CheckerCats
  43. def mkErr[F[_]](e: Err)(implicit arg0: Applicative[F]): F[Err]
    Definition Classes
    CheckerCats
  44. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  45. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  46. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  47. def ok[A](x: A): Check[A]
    Definition Classes
    CheckerCats → Checker
  48. def optCheck[A, B](c: Option[A], check: (A) ⇒ Check[B], default: ⇒ Check[B]): Check[B]
    Definition Classes
    CheckerCats
  49. def orElse[A](c1: Check[A], c2: ⇒ Check[A]): Check[A]
    Definition Classes
    CheckerCats → Checker
  50. def readerConfig2check[A](c: ReaderConfig[A]): Check[A]
    Definition Classes
    CheckerCats
  51. def readerConfig2readerEC[A](c: ReaderConfig[A]): ReaderEC[A]
    Definition Classes
    CheckerCats
  52. def readerEC2check[A](c: ReaderEC[A]): Check[A]
    Definition Classes
    CheckerCats
  53. def readerEC2writer[A](c: ReaderEC[A]): WriterEC[A]
    Definition Classes
    CheckerCats
  54. def run[A](c: Check[A])(config: Config)(env: Env): IO[(Log, Either[Err, A])]
    Definition Classes
    CheckerCats → Checker
  55. def runCheck[A](c: Check[A])(config: Config)(env: Env): IO[(Either[Err, A], Log)]
    Definition Classes
    Checker
  56. def runLocal[A](c: Check[A], f: (Env) ⇒ Env): Check[A]
    Definition Classes
    CheckerCats
  57. def runLocalSafe[A](c: Check[A], f: (Env) ⇒ Env, safe: (Err, Env) ⇒ A): Check[A]
    Definition Classes
    CheckerCats
  58. def runLocalW[A](f: (Env) ⇒ Env)(c: WriterEC[A]): WriterEC[A]
    Definition Classes
    CheckerCats
  59. def runLog[A](c: Check[A])(config: Config)(env: Env): IO[Log]
    Definition Classes
    Checker
  60. def runValue[A](c: Check[A])(config: Config)(env: Env): IO[Either[Err, A]]
    Definition Classes
    Checker
  61. def sequence[A](xs: List[Check[A]]): Check[List[A]]
    Definition Classes
    CheckerCats
  62. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  63. def toString(): String
    Definition Classes
    AnyRef → Any
  64. implicit val typingShow: Show[Env]
  65. def validateCheck(condition: Boolean, e: Err): Check[Unit]
    Definition Classes
    CheckerCats
  66. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  67. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  68. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  69. def writerEC2check[A](c: WriterEC[A]): Check[A]
    Definition Classes
    CheckerCats

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] ) @Deprecated
    Deprecated

Inherited from CheckerCats

Inherited from Checker

Inherited from AnyRef

Inherited from Any

Ungrouped