Mlist

From HaskellWiki
Revision as of 07:43, 20 April 2021 by Atravers (talk | contribs) (To be deleted if no new content appears...)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

MList is a monadic-list, aiming to be an alternative to lazy I/O.

MList is parameterized on a monadic type, such that folding the list executes actions of that monad.

A value of type: MList IO a represents a list of a's whose evaluation continually requires executing actions in IO.

MLists do not cache results -- re-iterating an MList will re-execute the actions in the MList.