object HFix extends Serializable
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- HFix
- Serializable
- Serializable
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
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( ... ) @native() @IntrinsicCandidate()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): 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[_]
- 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( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
Deprecated Value Members
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] ) @Deprecated
- Deprecated