morphling/morphling/HFix

HFix

object HFix
Companion:
class
trait Product
trait Mirror
class Object
trait Matchable
class Any
HFix.type

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror

Value members

Concrete methods

def anaNT[F[_[_], _], G[_]](alg: HCoAlgebra[F, G])(using evidence$4: HFunctor[F]): FunctionK[G, [_] =>> HFix[F, _$46]]
def annotate[F[_[_], _], A[_]](ann: A[Nothing])(using evidence$6: HFunctor[F]): FunctionK[[_] =>> HFix[F, _$85], [_] =>> HCofree[F, A, _$86]]
def annotateAlg[F[_[_], _], A[_]](ann: A[Nothing]): FunctionK[[_] =>> HFix[F, _$74], [_] =>> HEnvT[A, F, [_] =>> HFix[F, _$75], _$76]]

Algebra to annotate the whole HCofree with a same annotation

Algebra to annotate the whole HCofree with a same annotation

def cataNT[F[_[_], _], G[_]](alg: HAlgebra[F, G])(using evidence$3: HFunctor[F]): FunctionK[[_] =>> HFix[F, _$40], G]
def forget[F[_[_], _], A[_]](using evidence$5: HFunctor[F]): FunctionK[[_] =>> HCofree[F, A, _$68], [_] =>> HFix[F, _$69]]
def forgetAlg[F[_[_], _], A[_]]: FunctionK[[_] =>> HEnvT[A, F, [_] =>> HFix[F, _$58], _$59], [_] =>> HFix[F, _$60]]

Algebra to discard the annotations from an HCofree structure.

Algebra to discard the annotations from an HCofree structure.

def hcofree[F[_[_], _], A[_], I](ask: A[I], fga: => F[[_] =>> HCofree[F, A, _$52], I]): HCofree[F, A, I]

Smart constructor for HCofree values.

Smart constructor for HCofree values.

def hfix[F[_[_], _], I](fa: => F[[_] =>> HFix[F, _$35], I]): HFix[F, I]