kyo-prelude
API
Generated with
kyo-prelude/kyo/Layer

Layer

kyo.Layer
See theLayer companion class
object Layer

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Layer.type

Members list

Value members

Concrete methods

def apply[A : Tag, S](kyo: => A < S)(implicit evidence$1: Tag[A], Frame): Layer[A, S]
def from[A : Tag, B : Tag, S](f: A => B < S)(implicit evidence$1: Tag[A], evidence$2: Tag[B], Frame): Layer[B, Env[A] & S]
def from[A : Tag, B : Tag, C : Tag, S](f: (A, B) => C < S)(implicit evidence$1: Tag[A], evidence$2: Tag[B], evidence$3: Tag[C], Frame): Layer[C, Env[A & B] & S]
def from[A : Tag, B : Tag, C : Tag, D : Tag, S](f: (A, B, C) => D < S)(implicit evidence$1: Tag[A], evidence$2: Tag[B], evidence$3: Tag[C], evidence$4: Tag[D], Frame): Layer[D, Env[A & B & C] & S]
def from[A : Tag, B : Tag, C : Tag, D : Tag, E : Tag, S](f: (A, B, C, D) => E < S)(implicit evidence$1: Tag[A], evidence$2: Tag[B], evidence$3: Tag[C], evidence$4: Tag[D], evidence$5: Tag[E], Frame): Layer[E, Env[A & B & C & D] & S]
transparent inline def init[Target](inline layers: Layer[_, _]*): Layer[Target, _]

Concrete fields

val empty: Layer[Any, Any]

Extensions

Extensions

extension [In, Out, S](layer: Layer[Out, Env[In] & S])
def run[R](using reduce: Reducible[Env[In]]): TypeMap[Out] < (S & reduce.SReduced & Memo)
Generated with