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](es: NonEmptyList[Err])(`evidence$3`: Show[Err]): String
def showEvidences[Evidence](es: List[Evidence])(`evidence$4`: Show[Evidence]): String
def tab: String

Implicits

Implicits

implicit def monoidTypingResult[Err, Evidence]: Monoid[TypingResult[Err, Evidence]]
implicit def showTypingResult[Err, Evidence](`evidence$1`: Show[Err], `evidence$2`: Show[Evidence]): Show[TypingResult[Err, Evidence]]