Packages

o

es.weso.shacl.validator

SHACLChecker

object SHACLChecker extends CheckerCats with LazyLogging

Linear Supertypes
LazyLogging, CheckerCats, Checker, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SHACLChecker
  2. LazyLogging
  3. CheckerCats
  4. Checker
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. type Check[A] = EitherT[WriterEC, Err, A]
    Definition Classes
    CheckerCats → Checker
  2. type Config = RDFReader
    Definition Classes
    SHACLChecker → Checker
  3. type Env = ShapeTyping
    Definition Classes
    SHACLChecker → Checker
  4. type Err = AbstractResult
    Definition Classes
    SHACLChecker → Checker
  5. type Log = List[Evidence]
    Definition Classes
    SHACLChecker → Checker
  6. type ReaderConfig[A] = Kleisli[IO, Config, A]
    Definition Classes
    CheckerCats
  7. type ReaderEC[A] = Kleisli[ReaderConfig, Env, A]
    Definition Classes
    CheckerCats
  8. type WriterEC[A] = WriterT[ReaderEC, Log, A]
    Definition Classes
    CheckerCats

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(classOf[java.lang.CloneNotSupportedException]) @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. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  24. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  25. def err[A](e: Err): Check[A]
    Definition Classes
    CheckerCats → Checker
  26. def filterSuccess[A, B](ls: List[A], check: (A) => Check[B]): Check[List[(A, B)]]
    Definition Classes
    CheckerCats
  27. def fromEither[A](e: Either[Err, A]): Check[A]
    Definition Classes
    CheckerCats
  28. def fromEitherIO[A](e: EitherT[IO, Err, A]): Check[A]
    Definition Classes
    CheckerCats
  29. def fromIO[A](io: IO[A]): Check[A]
    Definition Classes
    CheckerCats
  30. def fromStreamIO[A](ls: Stream[IO, A]): Check[LazyList[A]]
  31. final def getClass(): Class[_ <: AnyRef]
    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 hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  35. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  36. def local[A](f: (Env) => Env)(c: Check[A]): Check[A]
    Definition Classes
    CheckerCats → Checker
  37. implicit val logMonoid: Monoid[Log]
    Definition Classes
    SHACLChecker → CheckerCats
  38. implicit val logShow: Show[Log]
  39. lazy val logger: Logger
    Attributes
    protected
    Definition Classes
    LazyLogging
    Annotations
    @transient()
  40. lazy val mWriterEC: Monad[WriterEC]
    Attributes
    protected
    Definition Classes
    CheckerCats
  41. def mkErr[F[_]](e: Err)(implicit arg0: Applicative[F]): F[Err]
    Definition Classes
    CheckerCats
  42. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  43. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  44. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  45. def ok[A](x: A): Check[A]
    Definition Classes
    CheckerCats → Checker
  46. def optCheck[A, B](c: Option[A], check: (A) => Check[B], default: => Check[B]): Check[B]
    Definition Classes
    CheckerCats
  47. def orElse[A](c1: Check[A], c2: => Check[A]): Check[A]
    Definition Classes
    CheckerCats → Checker
  48. def readerConfig2check[A](c: ReaderConfig[A]): Check[A]
    Definition Classes
    CheckerCats
  49. def readerConfig2readerEC[A](c: ReaderConfig[A]): ReaderEC[A]
    Definition Classes
    CheckerCats
  50. def readerEC2check[A](c: ReaderEC[A]): Check[A]
    Definition Classes
    CheckerCats
  51. def readerEC2writer[A](c: ReaderEC[A]): WriterEC[A]
    Definition Classes
    CheckerCats
  52. def run[A](c: Check[A])(config: Config)(env: Env): IO[(Log, Either[Err, A])]
    Definition Classes
    CheckerCats → Checker
  53. def runCheck[A](c: Check[A])(config: Config)(env: Env): IO[(Either[Err, A], Log)]
    Definition Classes
    Checker
  54. def runLocal[A](c: Check[A], f: (Env) => Env): Check[A]
    Definition Classes
    CheckerCats
  55. def runLocalSafe[A](c: Check[A], f: (Env) => Env, safe: (Err, Env) => A): Check[A]
    Definition Classes
    CheckerCats
  56. def runLocalW[A](f: (Env) => Env)(c: WriterEC[A]): WriterEC[A]
    Definition Classes
    CheckerCats
  57. def runLog[A](c: Check[A])(config: Config)(env: Env): IO[Log]
    Definition Classes
    Checker
  58. def runValue[A](c: Check[A])(config: Config)(env: Env): IO[Either[Err, A]]
    Definition Classes
    Checker
  59. def sequence[A](xs: List[Check[A]]): Check[List[A]]
    Definition Classes
    CheckerCats
  60. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  61. def toString(): String
    Definition Classes
    AnyRef → Any
  62. def validateCheck(condition: Boolean, e: Err): Check[Unit]
    Definition Classes
    CheckerCats
  63. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  64. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  65. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  66. 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 LazyLogging

Inherited from CheckerCats

Inherited from Checker

Inherited from AnyRef

Inherited from Any

Ungrouped