Free monad, Cofree comonad, Yoneda and Coyoneda functors, and the Trampoline monad implementations for PureScript.
The Free monad implementation is represented using a sequential data structure.
See the following reference for further information.
- Reflection without Remorse (Ploeg and Kiselyov 2014)
bower install purescript-free
Module documentation is published on Pursuit.
The following benchmarks compare the current implementation with the implementation at v0.6.1 (purescript/purescript-free@0df59c5d459fed983131856886fc3a4b43234f1f), which used the Gosub technique to defer monadic binds.
