object HFix extends Serializable
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- HFix
- Serializable
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def anaNT[F[_[_], _], G[_]](alg: HCoAlgebra[F, G])(implicit arg0: HFunctor[F]): ~>[G, [β$7$]HFix[F, β$7$]]
- def annotate[F[_[_], _], A[_]](ann: A[Nothing])(implicit arg0: HFunctor[F]): ~>[[β$29$]HFix[F, β$29$], [γ$30$]HFix[[γ$2$[_$1], δ$3$]HEnvT[A, F, γ$2$, δ$3$], γ$30$]]
- def annotateAlg[F[_[_], _], A[_]](ann: A[Nothing]): ~>[[β$21$]HFix[F, β$21$], [δ$23$]HEnvT[A, F, [β$22$]HFix[F, β$22$], δ$23$]]
Algebra to annotate the whole HCofree with a same annotation
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def cataNT[F[_[_], _], G[_]](alg: HAlgebra[F, G])(implicit arg0: HFunctor[F]): ~>[[β$5$]HFix[F, β$5$], G]
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def forget[F[_[_], _], A[_]](implicit arg0: HFunctor[F]): ~>[[γ$19$]HFix[[γ$2$[_$1], δ$3$]HEnvT[A, F, γ$2$, δ$3$], γ$19$], [β$20$]HFix[F, β$20$]]
- def forgetAlg[F[_[_], _], A[_]]: ~>[[δ$13$]HEnvT[A, F, [β$12$]HFix[F, β$12$], δ$13$], [β$14$]HFix[F, β$14$]]
Algebra to discard the annotations from an HCofree structure.
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- implicit def hCoFreeHFunctor[F[_[_], _]](implicit HF: HFunctor[F]): HFunctor[[β$31$[_$4], γ$32$]HFix[[γ$2$[_$1], δ$3$]HEnvT[β$31$, F, γ$2$, δ$3$], γ$32$]]
HFunctor over the annotation type of an HCofree value
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- def hcofree[F[_[_], _], A[_], I](ask: A[I], fga: => F[[γ$9$]HFix[[γ$2$[_$1], δ$3$]HEnvT[A, F, γ$2$, δ$3$], γ$9$], I]): HCofree[F, A, I]
Smart constructor for HCofree values.
- def hfix[F[_[_], _], I](fa: => F[[β$4$]HFix[F, β$4$], I]): HFix[F, I]
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated @Deprecated
- Deprecated