com.github.tarao.record4s.typing
package com.github.tarao.record4s.typing
Members list
Type members
Classlikes
object ArrayRecord
Attributes
- Source
- ArrayRecord.scala
- Supertypes
- Self type
-
ArrayRecord.type
Attributes
- Companion
- object
- Source
- Typing.scala
- Supertypes
object Context
Attributes
- Companion
- class
- Source
- Typing.scala
- Supertypes
- Self type
-
Context.type
trait MaybeError
Base trait for typing given instances.
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
- Supertypes
- Known subtypes
object Record
Attributes
- Source
- Record.scala
- Supertypes
- Self type
-
Record.type
Value members
Concrete methods
Attributes
- Source
- Typing.scala
In this article