dunai-0.13.1: Generalised reactive framework supporting classic, arrowized and monadic FRP.
Copyright(c) Ivan Perez and Manuel Baerenz 2016
LicenseBSD3
Maintainerivan.perez@keera.co.uk
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.MonadicStreamFunction.Instances.ArrowLoop

Description

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.

Orphan instances

MonadFix m => ArrowLoop (MSF m) Source #

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

Instance details

Methods

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