Interpret this algebra into a Monoid
Interpret this algebra into another FreeApplicative
Interpret/run the operations using the semantics of Applicative[F]
.
Interpret/run the operations using the semantics of Applicative[F]
.
Tail recursive only if F
provides tail recursive interpretation.
Interprets/Runs the sequence of operations using the semantics of Applicative G Tail recursive only if G provides tail recursive interpretation (ie G is FreeMonad)
Compile this FreeApplicative algebra into a Free algebra.
Applicative Functor for Free