final class AspectOps[Alg[_[_]], F[_]] extends AnyVal
- Source
 - AspectSyntax.scala
 
Linear Supertypes
Ordering
- Alphabetic
 - By Inheritance
 
Inherited
- AspectOps
 - AnyVal
 - Any
 
- Hide All
 - Show All
 
Visibility
- Public
 - Protected
 
Instance Constructors
-  new AspectOps(af: Alg[F])
 
Value Members
-   final  def !=(arg0: Any): Boolean
- Definition Classes
 - Any
 
 -   final  def ##: Int
- Definition Classes
 - Any
 
 -   final  def ==(arg0: Any): Boolean
- Definition Classes
 - Any
 
 -   final  def asInstanceOf[T0]: T0
- Definition Classes
 - Any
 
 -    def getClass(): Class[_ <: AnyVal]
- Definition Classes
 - AnyVal → Any
 
 -   final  def isInstanceOf[T0]: Boolean
- Definition Classes
 - Any
 
 -    def toString(): String
- Definition Classes
 - Any
 
 -  def weave[Dom[_], Cod[_]](implicit aspect: Aspect[Alg, Dom, Cod]): Alg[[δ$0$]Weave[F, Dom, Cod, δ$0$]]
 -  def weaveCodomain[G[_]](implicit aspect: Codomain[Alg, G]): Alg[[γ$2$]Weave[F, Trivial, G, γ$2$]]
 -  def weaveDomain[G[_]](implicit aspect: Domain[Alg, G]): Alg[[γ$1$]Weave[F, G, Trivial, γ$1$]]
 -  def weaveFunction[G[_]](implicit aspect: Function[Alg, G]): Alg[[γ$3$]Weave[F, G, G, γ$3$]]