Skip to content
scalive
Menu
ConnectingLiveReconnectingOffline
GitHub
o

ContextAppend

object ContextAppend extends LowPriorityContextAppend

Built-in and refined forms of ContextAppend.

Defined by scalive.ContextAppend. View source (scalive/api/src/scalive/ContextAppend.scala:22-31)

Types1

Aux

type Aux = ([In, Out, Result0] =>> (ContextAppend[In, Out] { type Result = Result0 }))

Refines Result to Result0.

Defined by scalive.ContextAppend.Aux. View source (scalive/api/src/scalive/ContextAppend.scala:24-24)

Givens1

empty

given empty[Out]: ContextAppend.empty[Out]

Defined by scalive.ContextAppend.empty. View source (scalive/api/src/scalive/ContextAppend.scala:28-31)