Resultados da pesquisa a pedido "monoids"
Monoid vs MonadPlus [duplicado]
Esta pergunta já tem uma resposta aqui: Por que MonadPlus e não Monad + Monoid? [/questions/23023961/why-monadplus-and-not-monad-monoid] 2 respostas Sou muito novo para ambosMonads eMonoids e recentemente também aprendi sobreMonadPlus. Pelo que ...
Distinção entre typeclasses MonadPlus, Alternative e Monoid?
As typeclasses de Haskell da biblioteca padrão
Endofunção como Monóide
Estou tentando isso (para fins de aprendizado): {-# LANGUAGE FlexibleInstances #-} instance Monoid (a -> a) where mempty = id mappend f g = f . gesperandoid <> id ser igual aid . id No entanto, com(id <> id) 1 Eu recebo este erro: Non ...
Você pode formular o tipo de inserção como um monóide no Clojure?
Este é o código para uma classificação de inserção no Clojure: (defn in-sort! [data] (letfn [(insert ([raw x](insert [] raw x)) ([sorted [y & raw] x] (if (nil? y) (conj sorted x) (if (<= x y ) (concat sorted [x,y] raw) (recur (conj sorted y) raw ...
Haskell: Como escrever uma instância `Monoid` para algo que depende de parâmetros
Estou trabalhando em uma pequena biblioteca para a universidade que faz cálculos inteiros em umgrupo cíclico [https://en.wikipedia.org/wiki/Cyclic_group]; Coisas como: (3 (% 11)) + (10 (% 11)) --> (2 (% 11))'Inteiros (% n)' formar claramente ...
Por que MonadPlus e não Monad + Monoid?
Estou tentando entender a motivação por trás doMonadPlus. Por que é necessário se já existem as classes de tipoMonad eMonoid? Concedido, instâncias deMonoid são tipos concretos, enquanto instâncias deMonad requer um parâmetro de tipo único. ...
Uma mônada é apenas um monóide na categoria de endofunitores, qual é o problema?
Quem primeiro disse o seguinte? Uma mônada é apenas um monóide na categoria de endofunitores, qual é o problema? E, em uma nota menos importante, isso é verdade e, em caso afirmativo, você poderia dar uma explicação (espero que possa ser ...
Por que não existe uma instância 'Alternativa' para 'Control.Applicative.Const'
Existe uma instânciaMonoid a => Monoid (Const a b) para oConst [http://hackage.haskell.org/package/base-4.7.0.2/docs/Control-Applicative.html#t:Const] functor deControl.Applicative. Há também uma instânciaMonoid m => Applicative (Const m). Eu ...