validating
validating
es.weso.checking
Checker
CheckerCats
CheckerCatsStr
validating
/
es.weso.checking
/
Checker
Checker
trait
Checker
Graph
Supertypes
Known subtypes
class
Object
trait
Matchable
class
Any
class
CheckerCats
object
CheckerCatsStr
Type members
Value members
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
getConfig
:
Check
[
Config
]
def
getEnv
:
Check
[
Env
]
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]]