typing
typing
es.weso.typing
Typing
Typing
TypingMap
TypingResult
TypingResult
typing
/
es.weso.typing
/
TypingResult
TypingResult
object
TypingResult
Companion:
class
Graph
Supertypes
Self type
trait
Product
trait
Mirror
class
Object
trait
Matchable
class
Any
TypingResult
.type
Type members
Value members
Implicits
Type members
Inherited types
type
MirroredElemLabels
<:
Tuple
The names of the product elements
The names of the product elements
Inherited from:
Mirror
type
MirroredLabel
<:
String
The name of the type
The name of the type
Inherited from:
Mirror
Value members
Concrete methods
def
fromErr
[
Err
,
Evidence
](
err:
Err
):
TypingResult
[
Err
,
Evidence
]
def
showErrors
[
Err
:
Show
](
es:
NonEmptyList
[
Err
]):
String
def
showEvidences
[
Evidence
:
Show
](
es:
List
[
Evidence
]):
String
def
tab
:
String
Implicits
Implicits
implicit
def
monoidTypingResult
[
Err
,
Evidence
]:
Monoid
[
TypingResult
[
Err
,
Evidence
]]
implicit
def
showTypingResult
[
Err
:
Show
,
Evidence
:
Show
]:
Show
[
TypingResult
[
Err
,
Evidence
]]