validating/es.weso.checking/Checker

Checker

trait Checker
class Object
trait Matchable
class Any

Type members

Types

type Check[A]
type Config
type Env
type Err
type Log

Value members

Abstract methods

def addLog(log: Log): Check[Unit]
def attempt[A](c: Check[A]): Check[Either[Err, A]]
def checkSome[A](cs: List[Check[A]], errorIfNone: Err): Check[A]
def err[A](e: Err): Check[A]
def local[A](f: Env => Env)(c: Check[A]): Check[A]
def ok[A](x: A): Check[A]
def orElse[A](c1: Check[A], c2: => Check[A]): Check[A]
def run[A](c: Check[A])(config: Config)(env: Env): IO[(Log, Either[Err, A])]

Concrete methods

def runCheck[A](c: Check[A])(config: Config)(env: Env): IO[(Either[Err, A], Log)]
def runLog[A](c: Check[A])(config: Config)(env: Env): IO[Log]
def runValue[A](c: Check[A])(config: Config)(env: Env): IO[Either[Err, A]]