Data.MonadicStreamFunction.Instances.ArrowLoop

Instance of ArrowLoop for Monadic Stream Functions (MSF).

Import this module to include that (orphan) instance.

This is only defined for monads that are instances of MonadFix.

Documentation

Orphan instances

(Monad m, MonadFix m) => ArrowLoop (MSF m)

ArrowLoop instance for MSFs. The monad must be an instance of MonadFix.

Methods

loop :: MSF m (b, d) (c, d) -> MSF m b c