Safe Haskell | None |
---|---|
Language | Haskell2010 |
Uses of recursion schemes that use Haskell’s built-in recursion in a total manner.
Synopsis
- newtype Fix f = Fix {}
- distCofreeT :: (Functor f, Functor h) => DistributiveLaw f h -> DistributiveLaw f (Cofree h)
Documentation
A fixed-point constructor that uses Haskell's built-in recursion. This is lazy/corecursive.
distCofreeT :: (Functor f, Functor h) => DistributiveLaw f h -> DistributiveLaw f (Cofree h) Source #