slang/es.weso.slang/ValidateND

ValidateND

object ValidateND extends LazyLogging
trait LazyLogging
class Object
trait Matchable
class Any

Type members

Classlikes

case class Pair(node: RDFNode, shape: SLang)

Types

type SV[A] = StateT[IO, State, A]
type Validation[A] = EitherT[SV, String, A]

Value members

Concrete methods

def fromEither[A](e: Either[String, A]): Validation[A]
def fromStream[A](e: Stream[IO, A]): Validation[List[A]]
def ok[A](x: A): Validation[A]
def runValidation(node: RDFNode, shape: SLang, rdf: RDFReader, schema: SchemaS): IO[Either[String, ShapesMap]]
def validate(pending: List[Pair], rdf: RDFReader, schema: SchemaS): Validation[Unit]

Inherited fields

lazy protected val logger: Logger
Inherited from:
LazyLogging