[<<][haskell][>>][..]
Sat Jun 2 09:18:44 EDT 2018

More Free


  hoistFree :: Functor g => (forall a. f a -> g a) -> Free f b -> Free g b

    Lift a natural transformation from f to g into a natural
    transformation from FreeT f to FreeT g.

  foldFree :: Monad m => (forall x. f x -> m x) -> Free f a -> m a

    The very definition of a free monad is that given a natural
    transformation you get a monad homomorphism.




[Reply][About]
[<<][haskell][>>][..]