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