Skip to content

Instantly share code, notes, and snippets.

@spott
Created May 17, 2014 05:25
Show Gist options
  • Select an option

  • Save spott/7b82e852322dd910f720 to your computer and use it in GitHub Desktop.

Select an option

Save spott/7b82e852322dd910f720 to your computer and use it in GitHub Desktop.
classy prelude fail
ClassyPrelude.hs:234:9:
Could not deduce (a ~ ())
from the context (Monad m, MonoFoldable c)
bound by the type signature for
mapM_ :: (Monad m, MonoFoldable c) =>
(Element c -> m a) -> c -> m ()
at ClassyPrelude.hs:233:10-69
`a' is a rigid type variable bound by
the type signature for
mapM_ :: (Monad m, MonoFoldable c) =>
(Element c -> m a) -> c -> m ()
at ClassyPrelude.hs:233:10
Expected type: (Element c -> m a) -> c -> m ()
Actual type: (Element c -> m ()) -> c -> m ()
In the expression: omapM_
In an equation for `mapM_': mapM_ = omapM_
ClassyPrelude.hs:237:9:
Could not deduce (a ~ ())
from the context (Monad m, MonoFoldable c)
bound by the type signature for
forM_ :: (Monad m, MonoFoldable c) =>
c -> (Element c -> m a) -> m ()
at ClassyPrelude.hs:236:10-69
`a' is a rigid type variable bound by
the type signature for
forM_ :: (Monad m, MonoFoldable c) =>
c -> (Element c -> m a) -> m ()
at ClassyPrelude.hs:236:10
Expected type: c -> (Element c -> m a) -> m ()
Actual type: c -> (Element c -> m ()) -> m ()
In the expression: oforM_
In an equation for `forM_': forM_ = oforM_
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment