core
0.12.0
API
Generated with
core/com.github.tarao.record4s/com.github.tarao.record4s.typing

com.github.tarao.record4s.typing

package com.github.tarao.record4s.typing

Members list

Type members

Classlikes

object ArrayRecord

Attributes

Source
ArrayRecord.scala
Supertypes
class Object
trait Matchable
class Any
Self type
final class Concrete[T]

Attributes

Companion
object
Source
Typing.scala
Supertypes
class Object
trait Matchable
class Any
object Concrete

Attributes

Companion
class
Source
Typing.scala
Supertypes
class Object
trait Matchable
class Any
Self type
Concrete.type
final class Context[T]

Attributes

Companion
object
Source
Typing.scala
Supertypes
class Object
trait Matchable
class Any
object Context

Attributes

Companion
class
Source
Typing.scala
Supertypes
class Object
trait Matchable
class Any
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
class Object
trait Matchable
class Any
Known subtypes
class Concat[R1, R2]
class Concat[R1, R2]
class Select[R, S]
class Unselect[R, U]
object Record

Attributes

Source
Record.scala
Supertypes
class Object
trait Matchable
class Any
Self type
Record.type
object syntax

Attributes

Source
syntax.scala
Supertypes
class Object
trait Matchable
class Any
Self type
syntax.type

Value members

Concrete methods

inline def withPotentialTypingError[T](inline block: => T)(using err: MaybeError): T

Attributes

Source
Typing.scala
Generated with