mandubian / freek Goto Github PK

In Readme:

type PRG = Log :|: KVS :|: File :|: FXNil
object PRG = Program[PRG]

should be

type PRG = Log :|: KVS :|: File :|: FXNil
val PRG = Program[PRG]

Eager to see this rolling, would be nice if you could throw it somewhere my SBT can find it!

HI @mandubian,

I'm slightly concern about what I see to be a little abuse of terminology which might push newcomers in a wrong way of thinking.

Correct me if I'm wrong, but what you are really doing here is combining algebras, that's it.
The fact that Free can be used to build a pseudo-effect system is an incident, and nothing to do with this library, so I think you should really avoid mentioning "effect" when it is not the subject.

I friendly encourage you to rename FXNil and rephrase relevant sentences in the README.

Hope that makes sens to you as well?

Thanks for the lib :-)

The general use case is to be able to specify what depth of the onion stack you want to use as the correct return type of a step.

This is needed to be able to use an Onion stack with more than one layers, but for steps where the last layers are actually part of the business type (typically, a List, Option, Either or some other data containers) and should not be part of the monad transformer stack.

An example is available here: https://gist.github.com/fanf/845273a15377347a04375d51a0139b78
See also thread: https://twitter.com/mandubian/status/765809870734028800