@hackage data-fresh0.2013.250.1

Interface and functor transformers for fresh values

A simple library, mostly containing of an interface to generate fresh values.

This package also includes two functor transformers which implement this interface. They consume fresh values from user-supplied comonads. Currently, two approaches are implemented:

  • In Stream, the comonad provides a way to succeed a value.

  • In Delta, the comonad provides a way to split the value or to succeeded it. The benefit is that the underlying functor doesn't need to be a monad.