Looking for haskell Keywords? Try Ask4Keywords

Haskell LanguageFaltbar


Einführung

Foldable ist die Klasse der Typen t :: * -> * die einen Faltvorgang zulassen. Eine Falte fasst die Elemente einer Struktur in einer genau definierten Reihenfolge zusammen und verwendet dabei eine Kombinationsfunktion.

Bemerkungen

Wenn t Foldable , bedeutet dies, dass wir für jeden Wert ta wissen, wie auf alle Elemente von a von "inside" von ta in einer festen linearen Reihenfolge zugegriffen werden kann. Dies ist die Bedeutung von foldMap :: Monoid m => (a -> m) -> (ta -> m) : Wir "besuchen" jedes Element mit einer Zusammenfassungsfunktion und zerstören alle Zusammenfassungen. Monoid (ist aber für verschiedene Gruppierungen unveränderlich).

Faltbar Verwandte Beispiele