Portability | non-portable (rank-2 polymorphism) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Documentation
class PostUnfold w f whereSource
postUnfold :: w (f a) -> f (w (f a))Source
class Distributes f g whereSource
class Functor f => FunctorZero f whereSource
class FunctorZero f => FunctorPlus f whereSource