core/com.github.tarao.record4s/com.github.tarao.record4s.typing/MaybeError

MaybeError

com.github.tarao.record4s.typing.MaybeError

Base trait for typing given instances.

Typing given instances infers result type as Out. If it is impossible to infer the type, then Out is Nothing and Msg is a string literal type of a message describing violation of the typing rule. Out is Nothing unless the type is successfully inferred.

To show the typing failure, use withPotentialTypingError { ... }.

Attributes

Source: Typing.scala
Graph
Supertypes: class Object

trait Matchable

class Any
Known subtypes: class Concat[R1, R2]

class Concat[R1, R2]

class Select[R, S]

class Unselect[R, U]

Members list

Type members

Types

Attributes

Source: Typing.scala

Attributes

Source: Typing.scala

In this article

Generated with