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$]]