typing
typing
es.weso.typing
Typing
Typing
TypingMap
TypingResult
TypingResult
typing
/
es.weso.typing
/
TypingResult
TypingResult
case
class
TypingResult
[Err, Evidence](t:
ValidatedNel
[
Err
,
List
[
Evidence
]])
Companion
object
Graph
Supertypes
trait
Serializable
trait
Product
trait
Equals
class
Object
trait
Matchable
class
Any
Value members
Value members
Concrete methods
def
addEvidence
(e:
Evidence
):
TypingResult
[
Err
,
Evidence
]
def
addEvidences
(es:
List
[
Evidence
]):
TypingResult
[
Err
,
Evidence
]
def
addNotEvidence
(e:
Err
):
TypingResult
[
Err
,
Evidence
]
def
getErrors
:
Option
[
List
[
Err
]]
def
getEvidences
:
Option
[
List
[
Evidence
]]
def
isOK
:
Boolean
Inherited methods
def
productElementNames
:
Iterator
[
String
]
Inherited from
Product
def
productIterator
:
Iterator
[
Any
]
Inherited from
Product