Packages

final class AspectOps[Alg[_[_]], F[_]] extends AnyVal

Source
AspectSyntax.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. AspectOps
  2. AnyVal
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new AspectOps(af: Alg[F])

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    Any
  2. final def ##: Int
    Definition Classes
    Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def getClass(): Class[_ <: AnyVal]
    Definition Classes
    AnyVal → Any
  6. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  7. def toString(): String
    Definition Classes
    Any
  8. def weave[Dom[_], Cod[_]](implicit aspect: Aspect[Alg, Dom, Cod]): Alg[[δ$0$]Weave[F, Dom, Cod, δ$0$]]
  9. def weaveCodomain[G[_]](implicit aspect: Codomain[Alg, G]): Alg[[γ$2$]Weave[F, Trivial, G, γ$2$]]
  10. def weaveDomain[G[_]](implicit aspect: Domain[Alg, G]): Alg[[γ$1$]Weave[F, G, Trivial, γ$1$]]
  11. def weaveFunction[G[_]](implicit aspect: Function[Alg, G]): Alg[[γ$3$]Weave[F, G, G, γ$3$]]

Inherited from AnyVal

Inherited from Any

Ungrouped