Type Members

1.  trait Advice[F[_], G[_]] extends Serializable

   An Aspect.Advice represents the effect of a particular Aspect on a single value (the target).

   An Aspect.Advice represents the effect of a particular Aspect on a single value (the target). It witnesses that for some value F[A] there exists a compatible type class / constraint instance G[A]. The target type A is existentially quantified to enable capturing all arguments lists of a method.

   F

   The carrier type of the target value (Eval for method arguments).

   G

   The type class / constraint that defines the behaviour of this Aspect.Advice.

2.  type Codomain[Alg[_[_]], F[_]] = Aspect[Alg, Trivial, F]
3.  type Domain[Alg[_[_]], F[_]] = Aspect[Alg, F, Trivial]
4.  type Function[Alg[_[_]], F[_]] = Aspect[Alg, F, F]
5.  final case class Weave[F[_], Dom[_], Cod[_], A](algebraName: String, domain: List[List[Advice[Eval, Dom]]], codomain: Aux[F, Cod, A]) extends Product with Serializable

   An Aspect.Weave represents a reified cross-cutting concern for a single method of an algebra.

   An Aspect.Weave represents a reified cross-cutting concern for a single method of an algebra. It can be applied to all method arguments, result, or both. Its behaviour is driven by type classes.

   F

   The underlying algebra carrier type which is the result of forwarding the method call.

   Dom

   Type class / constraint that should exist for all parameter types except implicits (domain).

   Cod

   Type class / constraint that should exist for the return type of the method (codomain).

   A

   Return type of the method.

   domain

   Aspect.Advice for all arguments except implicits. Target in Eval to capture by-name arguments.

   codomain

   Aspect.Advice for the result of the method. Target in F - the underlying algebra carrier.

   See also

   Weave.Domain, Weave.Codomain and Weave.Function for convenient type aliases.