freestyle
package
freestyle
Type Members
-
type
FSHandler[F[_], G[_]] = FunctionK[F, G]
-
type
FreeS[F[_], A] = Free[[β$0$]FreeApplicative[F, β$0$], A]
-
type
ParInterpreter[F[_], G[_]] = FunctionK[[β$1$]FreeApplicative[F, β$1$], G]
-
type
ParOptimizer[F[_], G[_]] = FunctionK[[β$1$]FreeApplicative[F, β$1$], [β$2$]Free[[β$0$]FreeApplicative[G, β$0$], β$2$]]
Value Members
-
-
implicit
def
freeSPar2Seq[F[_], A](fa: Par[F, A]): FreeS[F, A]
Inherited from AnyRef
Inherited from Any