为什么不能为MaybeT派生Show实例？

haskell

如果我为Identity定义了monad转换器类型，它就能够派生Show实例。newtype IdentityT f a = deriving (Show)instance Show (f a) => Show (IdentityT f a)newtype MaybeT m a = MaybeT</

浏览 5提问于2017-06-25得票数 8

回答已采纳

1回答

为什么在编写新的Monad Transformers时会出现样板

monads、boilerplate、monad-transformers、haskell

现实世界Haskell一书中的部分建议，当编写新的Monad Transformer时，我们必须手动为MonadState、MonadIO等派生实例。newtype MaybeT m a = MaybeT {} instance Monad m => Monad (MaybeT m) where --

浏览 0提问于2010-12-06得票数 4

回答已采纳

2回答

是否有创建[可能]模拟的语法，但这是类的( -> )

haskell、syntax、typeclass、deriving、derivingvia

这导致了以下不幸的解决办法：我好像漏掉了一些语法。有可能定义这样一个实例吗？

浏览 5提问于2021-06-25得票数 4

回答已采纳

2回答

定义新的monad实例

haskell、monads、deriving、derivingvia

几天前，我试图通过创建一个新的monad实例来证明monad规则，但我发现自己被困在定义新的monad实例上。

浏览 30提问于2020-11-27得票数 0

回答已采纳

1回答

使类型可显示。

haskell

type InterpreterMonad = StateT (Env, Env) (ErrorT String IO ) () 通常，我会输入deriving Show，但我有一个type，而不是newtype

浏览 5提问于2016-04-27得票数 1

2回答

高阶多态是否需要严格的参数顺序？

haskell、syntax、higher-kinded-types

但是如果使用交换类型参数定义了初始类型(如果Writer'是用交换类型参数定义的)，那么怎么办：现在可以实现Monad实例了吗

浏览 3提问于2016-02-10得票数 7

回答已采纳

2回答

如何将Do符号与可能和IO同时使用

haskell、monads、do-notation

three <- maybe3main = putStr (show: IO () two <- maybe2 putStr (show: IO () two <- maybe2 thr

浏览 6提问于2020-04-11得票数 3

回答已采纳

2回答

从1开始的Haskell枚举

haskell

考虑使用以下方法在Haskell中创建start-at-1枚举： deriving (Show, Eq, Ord) maxBound = Upperdata Level = DontUseThis | Lower | Middle | Upper deriving (Show

浏览 0提问于2011-10-19得票数 3

回答已采纳

2回答

为什么在MonadState中使用MultiParamTypeClasses

haskell

get put s' instance MonadState s m => MonadState s (MaybeT为什么MonadState的实例需要一个状态和一个monad，为什么不创建一个单参数的state类呢？

浏览 1提问于2012-09-03得票数 5

回答已采纳

1回答

如何为泛型类型的数据字段生成隐藏实例

haskell、ghc、quickcheck

我正在寻找一种安全的方法来为数据类型生成实例，该数据类型包含没有派生类的字段，但这些字段具有泛型实例。我可以在test模块中为User定义newtype，但不能为Name类型定义newtype。它在用户内部是硬编码的。我理解孤立实例的问题。它们可以重叠，但在这里，我希望GHC在递归地为Use

浏览 17提问于2020-05-17得票数 0

1回答

当我试图导出方程时，我会得到一个错误。我怎么才能解决这个问题？

haskell

我得到了这个错误：我不知道为什么以及如何解决这个问题(Ord的错误是一样的)import Data.Matrix

浏览 0提问于2019-04-27得票数 0

1回答

打印到控制台并以相同的功能更新Monad状态

haskell、functional-programming、monads

我想要定义一个函数，它需要一个Int，根据数字(x)在控制台中打印一个错误，然后用Nothing更新State。我得到的是： newtype StateError a = StateError { runStateError :: Env -> Maybe (a, Env) } throw :: Monad m => a -> m a instance MonadError State

浏览 0提问于2018-12-15得票数 1

回答已采纳

1回答

Haskell显示数据

haskell、instance、show

浏览 0提问于2016-03-21得票数 0

2回答

为什么GHC不能为Monoid派生实例？

haskell、ghc、monoids

GHC有一些语言标志，如DeriveFunctor、DeriveDataTypeable等，它们允许编译器为Haskell98中允许的类型类以外的类型类生成派生实例。这对于Functor这样的东西尤其有意义，因为该类的规则规定了一个明显的、“自然”的派生实例。instance (Monoid a, Monoid b, Monoid c, ...) => Monoid T where memp

浏览 2提问于2012-06-23得票数 20

回答已采纳

1回答

基于MaybeT和RandT的Monad变压器栈

haskell、random、monad-transformers、option-type

我决定避免在任何地方使用lift，也不为RandT的所有其他转换器编写自己的实例声明。所以我把它移到了底部。尽管MonadRandom拥有所有的实例(MaybeT除外)，但我仍然必须为每个转换器编写自己的实例声明：No instance for (MonadRandom (ReaderT Problem (StateT SolutionSt

浏览 2提问于2015-01-06得票数 4

回答已采纳

5回答

.NET继承:从MusiInherit/抽象函数返回实现给定接口的类的实例

.net、inheritance、abstract-class、return-type

我希望这个方法返回一个实现给定接口的类的实例。当我在派生类中实现该方法时，我得到了一个编译器错误，因为返回类型不匹配(即。在抽象类中，返回类型是接口的类型，而在派生类中，返回类型是实现接口的类)。有人能为我澄清一下潜在的问题吗？我不太明白出了什么问题。特别是考虑到指定的抽象方法的返回类型是一个接口，它不能被实例化，那么方法实现一定要返回实现接口的类的实例吗？也许我只是只见树木不见森林。我可以通过使基类泛型(我可以指定T必须实现我的接口)来解决这个问题，然后抽象方法将返

浏览 1提问于2010-11-14得票数 1

回答已采纳

2回答

自定义类型的Haskell派生显示

haskell、instance、show

我如何告诉haskell，当在代数类型的变量列表上调用show时，应该在每一行后面插入“n”？type Customer = (Int, Int, [Int])instance of Show Customer where但显然我只能为“数据.”创建这样的实例。我需要只为一个客户列表派生Show，这样当我显示它时，输出就很容易读，每一行只有一个客户。

浏览 0提问于2012-11-19得票数 7

2回答

为什么该实例的继承链中的析构函数按顺序被调用，从大多数派生到最少派生？

基于C#规范，10.13析构函数 为什么按顺序调用析构函数，从大多数派生到最少派生？为什么不按部就班地从最少派生到最衍生或其他顺序呢？

浏览 3提问于2012-09-29得票数 5

回答已采纳

3回答

导出在haskell中的应用

haskell

为什么GHC不能为Applicative派生KO？main = print "hello" ·无法生成“应用程序KO”的派生实例

浏览 4提问于2021-05-04得票数 2

回答已采纳

3回答

显示类型A -> A

haskell、typeclass

data A = Num Int我想让函数A -> A有一个属性来打印它，因此Fun有一个String类型参数。当我将它加载到ghci中时，我得到 Not in scope: type c

浏览 0提问于2013-02-13得票数 6

回答已采纳

点击加载更多

扫码

添加站长进交流群

领取专属 10元无门槛券

手把手带您无忧上云

为什么不能为MaybeT派生Show实例？

相关·内容