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

Concat

com.github.tarao.record4s.typing.Record.Concat
See theConcat companion class
object Concat

Attributes

Companion
class
Source
Record.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Concat.type

Members list

Type members

Types

type Aux[R1, R2, Out0 <: %] = Concat[R1, R2] { type Out = Out0; }

Attributes

Source
Record.scala

Givens

Givens

transparent inline given given_Concat_R1_R2[R1 : Context, R2]: Concat[R1, R2]

Attributes

Source
Record.scala
Generated with