Skip to content
scalive
Menu
ConnectingLiveReconnectingOffline
o

ContextAppend

object ContextAppend extends LowPriorityContextAppend

Built-in and refined forms of ContextAppend.

Defined by scalive.ContextAppend. View source (scalive/api/src/scalive/LiveMountAspect.scala:223-232)

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/LiveMountAspect.scala:225-225)

Givens1

empty

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

Defined by scalive.ContextAppend.empty. View source (scalive/api/src/scalive/LiveMountAspect.scala:229-232)