p
freestyle
package freestyle
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- freestyle
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
-
trait
Capture
[F[_]] extends Serializable
- Annotations
- @implicitNotFound( ... )
- trait CaptureInstances extends AnyRef
- trait EffectLike [F[_]] extends AnyRef
-
type
FSHandler[F[_], G[_]] = FunctionK[F, G]
- Annotations
- @implicitNotFound( ... )
- trait FreeModuleLike extends AnyRef
-
type
FreeS[F[_], A] = Free[[β$0$]FreeApplicative[F, β$0$], A]
A sequential series of parallel program fragments.
A sequential series of parallel program fragments.
originally named
SeqPar
and some of the relating functions below originated from a translation into Scala from John De Goes' original gist which can be found at https://gist.github.com/jdegoes/dfaa07042f51245fa09716c6387aa5a6 - trait FreeSInstances extends AnyRef
-
trait
FreeSLift
[F[_], G[_]] extends AnyRef
- Annotations
- @implicitNotFound( ... )
- implicit class FreeSLiftSyntax [G[_], A] extends AnyRef
-
implicit final
class
FreeSOps
[F[_], A] extends AnyVal
Syntax functions for FreeS.Par
-
implicit final
class
FreeSParSyntax
[F[_], A] extends AnyVal
Syntax functions for FreeS.Par
-
sealed
trait
InjK
[F[_], G[_]] extends AnyRef
A generalized injection typeclass to abstract over support for various coproduct implementations
- trait Interpreters extends AnyRef
- trait NonDeterminismInstances extends AnyRef
-
type
ParInterpreter[F[_], G[_]] = FunctionK[[β$1$]FreeApplicative[F, β$1$], G]
Interprets a parallel fragment
f
intog
Interprets a parallel fragment
f
intog
- Annotations
- @implicitNotFound( ... )
-
type
ParOptimizer[F[_], G[_]] = FunctionK[[β$1$]FreeApplicative[F, β$1$], [β$2$]Free[[β$0$]FreeApplicative[G, β$0$], β$2$]]
Optimizes a parallel fragment
f
into a sequential series of parallel program fragments ing
. -
macro
class
free
extends Annotation with StaticAnnotation
- Annotations
- @compileTimeOnly( ... ) @compileTimeOnly( ... )
-
macro
class
module
extends Annotation with StaticAnnotation
- Annotations
- @compileTimeOnly( ... ) @compileTimeOnly( ... )
- final class moduleImpl extends AnyRef
Value Members
- implicit def freeSPar2Seq[F[_], A](fa: Par[F, A]): FreeS[F, A]
- object Capture extends CaptureInstances with Serializable
- object FreeS
- object InjK extends InjKInstances0
- object freeImpl
- object implicits extends Interpreters with FreeSInstances
- object moduleImpl
- object nondeterminism extends NonDeterminismInstances