Ist die folgende Abstraktion mit Instanzen Contravariant , Divisible und etc. bereits in einem Paket umgesetzt? Ich unterstelle etwas im Sinne des folgenden kompilierbaren Codes:
Sie können diese Art als eine Zusammensetzung von Op von contravariant und Ap von reducers . % Co_de% nur Op a b und hat co_de% eine b -> a Instanz für jedes%.
Um das Verhalten Ihrer Instanz zu erhalten, können wir verwenden Divisible , was ein Monoid a mit Ap m a und Monoid für jedes mappend = liftA2 (<>) und mempty = pure mempty bietet.
Tags und Links haskell