zio
API
Generated with
zio/zio/zio.internal/zio.internal.macros

zio.internal.macros

package zio.internal.macros

Members list

Type members

Classlikes

final case class Graph[Key, A](nodes: List[Node[Key, A]], keyEquals: (Key, Key) => Boolean)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
sealed trait GraphError[+Key, +A]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class CircularDependency[Key, A]
object GraphError

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
GraphError.type
final case class LayerBuilder[Type, Expr](target0: List[Type], remainder: List[Type], providedLayers0: List[Expr], layerToDebug: PartialFunction[Expr, Debug], sideEffectType: Type, anyType: Type, typeEquals: (Type, Type) => Boolean, foldTree: (LayerTree[Expr]) => Expr, method: ProvideMethod, exprToNode: Expr => Node[Type, Expr], typeToNode: Type => Node[Type, Expr], showExpr: Expr => String, showType: Type => String, reportWarn: String => Unit, reportError: String => Nothing)

LayerBuilder houses the core logic for compile-time layer construction. It is parameterized by Type and Expr such that it can be shared across Scala 2 and 3, which have incompatible macro libraries.

LayerBuilder houses the core logic for compile-time layer construction. It is parameterized by Type and Expr such that it can be shared across Scala 2 and 3, which have incompatible macro libraries.

Value parameters

exprToNode

A method for converting an Expr into a Node for use in the graph traversal.

foldTree

A method for folding a tree of layers into the final layer.

layerToDebug

A method which allows LayerBuilder to filter/extract the special ZLayer.Debug layers from the provided layers.

method

The sort of method that is being called: provide, provideSome, or provideCustom. This is used to provide improved compilation warnings.

providedLayers0

A list of layers ASTs that have been provided by the user.

remainder

A list of types indicating the input of the final layer. This would be the parameter of ZIO.provideSome

target

A list of types indicating the intended output of the final layer. This is generally determined by the R of the effect that ZIO.provide is called on.

typeEquals

A method for comparing types: Used in the construction of the final layer

typeToNode

A method for converting a leftover type into a Node to be used in the graph traversal.

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object LayerMacros

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
sealed abstract class LayerTree[+A] extends Product, Serializable

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Known subtypes
class ComposeH[A]
class ComposeV[A]
object Empty
class Value[A]
Self type
object LayerTree

Attributes

Companion
class
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
LayerTree.type
final case class Node[+Key, +A](inputs: List[Key], outputs: List[Key], value: A)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
sealed trait ProvideMethod extends Product, Serializable

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Known subtypes
object Provide
object ProvideCustom
object ProvideSome
object ProvideMethod

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
object ZLayerDerivationMacros

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Generated with