The MonadState class is defined as: quote: -------- class Monad m => MonadState s m | m -> s where ...etc... -------- Please explain the part "| m -> s", that is, the use of the pipe symbol and the right arrow symbol which follow "MonadState s m". -- frigidcode.com indicium.us
Hi, This is a functional dependency: http://www.haskell.org/haskellwiki/Functional_dependencies [ ]s Rodrigo On Wed, Sep 5, 2012 at 9:13 AM, Christopher Howard < christopher.howard@frigidcode.com> wrote:
The MonadState class is defined as:
quote: -------- class Monad m => MonadState s m | m -> s where ...etc... --------
Please explain the part "| m -> s", that is, the use of the pipe symbol and the right arrow symbol which follow "MonadState s m".
-- frigidcode.com indicium.us
_______________________________________________ Beginners mailing list Beginners@haskell.org http://www.haskell.org/mailman/listinfo/beginners
participants (2)
-
Christopher Howard -
Rodrigo Ribeiro