MaybeError
com.github.tarao.record4s.typing.MaybeError
trait 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
- Known subtypes
Members list
In this article