Hi,
I want to use something like (Control.Monad.StateT (Data.Map.Map
String Dynamic) m). So I wrote VarStateT datatype and corresponding
classes (Control/Monad/VarState.hs in [1]). Then I tried to use it in
my program (Math/Eigenvalues.hs in [1]). But compiler refused to
compile it with many type
Hi,
You have a problem with your function getPhi. It has type:
getPhi :: forall a e m. (MutableMatrix a e m, Typeable a, Typeable e,
Floating e, Ord e) = VarStateT m ()
where MutableMatrix is:
class (PrimMonad m) = MutableMatrix a e m | a - e m where
No matter how you call getPhi, you
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Thank you, that was exactly what I needed. Now program compiles flawlessly.
2010/11/10 Neil Brown nc...@kent.ac.uk:
Hi,
You have a problem with your function getPhi. It has type:
getPhi :: forall a e m. (MutableMatrix a e m, Typeable a, Typeable e,
Floating e, Ord e) = VarStateT m ()