Also, ich habe ein Paar Typklassen, die ich viel zusammen verwenden werde, und ich möchte vermeiden, beide jedes Mal zu spezifizieren. Grundsätzlich statt :: (Ord a, Fractional a, Ord b, Fractional b,
Ich versuche, Abstraktion in Haskell98 zu tun, aber weiß nicht, wie es geht. Was ich tun möchte, ist eine Klasse für Typen definieren, die in Listen umgewandelt werden können. toList :: a -> [b]
Abe
Ich glaube nicht, dass es ein Fehler ist, aber ich bin ein wenig verwirrt, warum das nicht funktioniert. Eine Bonusfrage ist, warum erwähnt es Variable e? Es gibt keine Variable e.
Prelude> :m +
class (Monoid w, Monad m) => MonadWriter w m | m -> w where
pass :: m (a,w -> w) -> m a
listen :: m a -> m (a,w)
tell :: w -> m()
Was bedeutet die obige Pipe? Das Snippet kommt von he