typing
typing
es.weso.typing
Typing
Typing
TypingMap
TypingResult
TypingResult
typing
/
es.weso.typing
/
Typing
Typing
abstract
class
Typing
[Key, Value, Err, Evidence]
Companion
object
Graph
Supertypes
Known subtypes
class
Object
trait
Matchable
class
Any
class
TypingMap
[
Key
,
Value
,
Err
,
Evidence
]
Type members
Value members
Type members
Types
type
Evidences
=
List
[
Evidence
]
type
SimpleSeq
=
Seq
[(
Key
,
Either
[
Value
,
Value
])]
Value members
Abstract methods
def
addEvidence
(key:
Key
, value:
Value
, es:
Evidence
):
Typing
[
Key
,
Value
,
Err
,
Evidence
]
def
addEvidences
(key:
Key
, value:
Value
, es:
List
[
Evidence
]):
Typing
[
Key
,
Value
,
Err
,
Evidence
]
def
addNotEvidence
(key:
Key
, value:
Value
, e:
Err
):
Typing
[
Key
,
Value
,
Err
,
Evidence
]
def
allOk
:
Boolean
def
combineTyping
(t:
Typing
[
Key
,
Value
,
Err
,
Evidence
]):
Typing
[
Key
,
Value
,
Err
,
Evidence
]
def
getEvidences
(key:
Key
, value:
Value
):
Option
[
List
[
Evidence
]]
def
getFailed
:
List
[
Key
]
def
getFailedValues
(key:
Key
):
Set
[
Value
]
def
getKeys
:
Seq
[
Key
]
def
getMap
:
Map
[
Key
,
Map
[
Value
,
TypingResult
[
Err
,
Evidence
]]]
def
getOkValues
(key:
Key
):
Set
[
Value
]
def
getValues
(key:
Key
):
Map
[
Value
,
TypingResult
[
Err
,
Evidence
]]
def
negateValuesWith
(cond:
Value
=>
Boolean
, err:
Err
):
Typing
[
Key
,
Value
,
Err
,
Evidence
]
def
removeValue
(key:
Key
, value:
Value
):
Typing
[
Key
,
Value
,
Err
,
Evidence
]
def
removeValuesWith
(cond:
Value
=>
Boolean
):
Typing
[
Key
,
Value
,
Err
,
Evidence
]
Concrete methods
def
addType
(key:
Key
, value:
Value
, evidences:
List
[
Evidence
]):
Typing
[
Key
,
Value
,
Err
,
Evidence
]
def
hasType
(key:
Key
, value:
Value
):
Boolean
def
simplified
:
SimpleSeq