Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
newtype Fix1 (t :: (k -> *) -> k -> *) (a :: k) Source #
The fixpoint combinator, courtesy of Gregory Malecha. https://gist.github.com/gmalecha/ceb3778b9fdaa4374976e325ac8feced
Instances
newtype Fix1T (t :: (k -> *) -> (* -> *) -> k -> *) (m :: * -> *) (a :: k) Source #
Instances
type MonadFix1T t m = (MonadTrans (Fix1T t), Monad (t (Fix1T t m) m)) Source #