package free
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- free
- FreeApplicativeSupport
- FreeSupport
- EitherKSupport
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- type Node[F[_], A] = FixKK[NodeSerialParallelF, F, A]
- type NodeF[S[_[_], _], F[_], A] = EitherK[F, [β$0$]S[F, β$0$], A]
- type NodeSerialParallelF[S[_[_], _], F[_], A] = EitherK[F, [β$0$]Free[[β$12$]FreeApplicative[[β$7$]S[F, β$7$], β$12$], β$0$], A]
- type Parallel[F[_], A] = FreeApplicative[[β$7$]Node[F, β$7$], A]
- type ParallelF[S[_[_], _], F[_], A] = FreeApplicative[[β$7$]S[F, β$7$], A]
- type Serial[F[_], A] = Free[[β$12$]Parallel[F, β$12$], A]
- type SerialF[S[_[_], _], F[_], A] = Free[[β$12$]S[F, β$12$], A]
- type SerialParallelF[S[_[_], _], F[_], A] = Free[[β$12$]FreeApplicative[[β$7$]S[F, β$7$], β$12$], A]
Value Members
-
def
compileF_[F[_], G[_]](f: ~>[F, G]): ~>[[β$0$]Free[F, β$0$], [β$1$]Free[G, β$1$]]
- Definition Classes
- FreeSupport
-
implicit
val
compileF__: FunctorK[Free]
- Definition Classes
- FreeSupport
-
def
compile_[F[_], G[_]](f: ~>[F, G]): ~>[[β$0$]FreeApplicative[F, β$0$], [β$1$]FreeApplicative[G, β$1$]]
- Definition Classes
- FreeApplicativeSupport
-
implicit
val
compile__: FunctorK[FreeApplicative]
- Definition Classes
- FreeApplicativeSupport
-
def
foldCP_[F[_], G[_], H[_]](f: ~>[F, H], g: ~>[G, H]): ~>[[γ$0$]EitherK[F, G, γ$0$], H]
- Definition Classes
- EitherKSupport
-
def
foldMapF_[F[_], G[_]](f: ~>[F, G])(implicit arg0: Monad[G]): ~>[[β$5$]Free[F, β$5$], G]
- Definition Classes
- FreeSupport
-
def
foldMap_[F[_], G[_]](f: ~>[F, G])(implicit arg0: Applicative[G]): ~>[[β$8$]FreeApplicative[F, β$8$], G]
- Definition Classes
- FreeApplicativeSupport
-
def
fold_[F[_]](implicit arg0: Applicative[F]): ~>[[β$5$]FreeApplicative[F, β$5$], F]
- Definition Classes
- FreeApplicativeSupport
- implicit val functorKKNodeSerialParallelF: FunctorKK[NodeSerialParallelF]
- implicit val functorKKSerialParallelF: FunctorKK[SerialParallelF]
- implicit def functorKNode: FunctorK[Node]
- implicit def functorKParallel: FunctorK[Parallel]
- implicit def functorKSerial: FunctorK[Serial]
-
def
left_[F[_], G[_]]: ~>[F, [γ$3$]EitherK[F, G, γ$3$]]
- Definition Classes
- EitherKSupport
-
def
liftF_[F[_]]: ~>[F, [β$8$]Free[F, β$8$]]
- Definition Classes
- FreeSupport
-
def
lift_[F[_]]: ~>[F, [β$11$]FreeApplicative[F, β$11$]]
- Definition Classes
- FreeApplicativeSupport
-
def
rightMap[F[_], G[_], H[_]](f: ~>[G, H]): ~>[[γ$9$]EitherK[F, G, γ$9$], [γ$10$]EitherK[F, H, γ$10$]]
- Definition Classes
- EitherKSupport
-
def
rightMap_[F[_]]: FunctorK[[G[_$1], A]EitherK[F, G, A]]
- Definition Classes
- EitherKSupport
-
def
right_[F[_], G[_]]: ~>[G, [γ$6$]EitherK[F, G, γ$6$]]
- Definition Classes
- EitherKSupport
-
def
runTailRec_[F[_]](implicit arg0: Monad[F]): ~>[[β$11$]Free[F, β$11$], F]
- Definition Classes
- FreeSupport