Hier ist der SO-Beitrag, auf den ich mich beziehen werde .Außerdem werde ich in dieser Frage dieselben Schnipsel wie das OP verwenden, um die Materialien nicht zu trennen . Es ist allgemein bekannt, dass eine ArrowApplyInstanz eine Monade ergibt und umgekehrt: newtype ArrowMonad a b = ArrowMonad (a...
Die Kategorie der Mengen ist sowohl kartesisch monoidal als auch kokartesisch monoidal. Die Arten der kanonischen Isomorphismen, die diese beiden monoidalen Strukturen bezeugen, sind nachstehend aufgeführt: type x + y = Either x y type x × y = (x, y) data Iso a b = Iso { fwd :: a -> b, bwd ::...
Der Standard sagt: Eine Deque ist ein Sequenzcontainer, der Iteratoren mit wahlfreiem Zugriff unterstützt (27.2.7). Darüber hinaus werden Einfüge- und Löschvorgänge mit konstanter Zeit am Anfang oder am Ende unterstützt. Einfügen und Löschen in der Mitte dauert linear. In derselben Klausel heißt es...
Es ist bekannt, dass natürliche Transformationen mit Typensignatur a -> a Identitätsfunktionen sein müssen. Dies folgt aus dem Yoneda-Lemma, kann aber auch direkt abgeleitet werden. Diese Frage verlangt nach der gleichen Eigenschaft, aber nach Monadenmorphismen anstelle natürlicher...