monoids

6Hitze

1Antwort

Debugging unendliche Summe in Haskell

Sagen wir, ich habe eine Funktion (es keine praktische Anwendung hat, nur ein akademisches Interesse, so seltsame Art und Weise, es zu schreiben, mit Monoide, applicative functors und Fixpoint combina

debugging testing haskell monoids applicative 2013-04-05

---

10Hitze

1Antwort

Wie kann ich foldr in Form von foldMap für typenabgestimmte Sequenzen ausdrücken?

Ich spiele mit type-aligned sequences herum, und insbesondere bin ich damit beschäftigt, sie zu falten. Ein faltbarer Typ ausrichte Sequenz sieht wie folgt aus etwas: class FoldableTA fm where fo

haskell types monoids type-variables foldable 2015-06-22

---

33Hitze

2Antwort

Warum MonadPlus und nicht Monad + Monoid?

Ich versuche die Motivation hinter dem MonadPlus zu verstehen. Warum ist es notwendig, wenn bereits die Typklassen Monad und Monoid vorhanden sind? Zugegeben, Instanzen von Monoid sind konkrete Typen,

haskell monads monoids 2014-04-11

---

2Hitze

2Antwort

Endofunction als Monoid

Ich versuche, diese (zu Lernzwecken): {-# LANGUAGE FlexibleInstances #-} instance Monoid (a -> a) where mempty = id mappend f g = f . g id <> id gleich id . id jedoch zu erwarten, mit (i

haskell monoids 2016-06-18

---

5Hitze

1Antwort

Instancing Monoid für einen Typ

Ich habe einen Typ in Haskell, um eine Map mehrere Werte zu einem Schlüssel zugeordnet haben. Wenn ich kompilieren den folgenden Code: type Mapa k v = Map k [v] instance Monoid (Mapa k v) where

haskell ghci monoids 2013-05-04

---

5Hitze

1Antwort

Anwendungsbeispiel für (Monad m, Monoid o) => m o?

Entschuldigung für den schrecklichen Titel. Ich versuche, eine Instanz von Applicative für einen Monad Wrapping einen Typ zu machen, der ein Monoid ist. instance (Monad m, Monoid o) => Applicative (m

haskell monads gadt applicative monoids 2013-08-17

---

8Hitze

2Antwort

Warum benötigt mein Datentyp eine Instanz von Monoid, um dieses Objektiv zu verwenden?

Ich verwende den unten stehenden Code für einen Datensatz mit einem Feld '_scene' vom Typ SceneGraph. Ich habe Linsen dafür mit makeLenses erstellt. inputGame :: Input -> Game -> Game inputGame i g =

haskell lenses monoids lens 2013-07-09

---

8Hitze

2Antwort

Woher kommen die Foldl/Foldr Implementierungen von Foldable für Binärbäume in Haskell?

Ich arbeite durch lernen Sie ein Haskell, und ich bin auf der Abschnitt über Monoids. In diesem Abschnitt definiert der Autor die foldMap Methode für einen Baum wie folgt: instance F.Foldable Tree whe

haskell tree fold monoids 2013-05-26

---

7Hitze

4Antwort

Haskell Monoid faltbar Rosenstock

Ich brauche eine faltbare Beispiel für eine Rose Baumdatenstruktur zu machen: data Rose a = a :> [Rose a] deriving (Eq, Show) Mit dem folgenden Monoid und Klasse/Instanzen-Rose bezogen werden:

class haskell monoids 2014-10-08

---

6Hitze

1Antwort

Wie kann foldMap dasselbe tun wie foldr, wenn letzteres nichts mit Monoiden zu tun hat?

foldr und foldMap können verwendet werden, um einander zu definieren, wie ich es verstehe. Aber wie ist das möglich, da letzterer Monoide verwendet, während ersteres nicht funktioniert? Haben wir irge

haskell fold monoids 2016-05-29

---