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
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
]]