typing/es.weso.typing/TypingResult

TypingResult

object TypingResult
Companion
class
trait Product
trait Mirror
class Object
trait Matchable
class Any

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