回答情况：
提问时间：
问题标签：
代表Haskell生态系统中的标准和基本抽象： contramap :: (a -> b) -> f b -> f a
一个类型构造函数，它是Contravariant，而不是Divisible。
浏览 4修改于2019-05-23得票数 10
有没有人能解释为什么C#值类型不能使用逆变？private delegate Asset AssetDelegate(int m);
{ aw(32);}
{}
浏览 0修改于2010-06-09得票数 7
回答已采纳
我试图将我的Contravariant类型类与语法一起应用，但遇到了找不到它的问题。Test { private val f: Foo[String] = (_: String) => ()
implicit val cvar: Contravariant我提供了隐式Contravariant[Foo]，但是语法无论如何都不会被应用。怎么了？
浏览 3提问于2018-08-22得票数 1
让我们从一些定义开始：declare let cNum: Contravariant<number>;现在，假设我想要创建一个函数，可以在一个Contravariant联合类型的数组中传递它。但是，数组目前可以采用任何类型，我想将其限制为Contravariant类型，因此让T扩展Contrav
浏览 4修改于2022-07-17得票数 0
回答已采纳
我正在尝试为创建一个实例import Data.Discrimination.Grouping (hashing)import Data.Vector (Vector)import GHC.Exts (toList, fromList)
data JSONPrimitive = JString | JNumber | JBool | JNull deriv
浏览 3提问于2017-08-28得票数 1
回答已采纳
Control.Monad.Reader和Data.Functor.Contravariant之间的关系是什么
浏览 13提问于2021-11-02得票数 6
回答已采纳
我不能编译下面的代码，我很好奇我做错了什么。trait JsonWriter[-A] {}
def toJson[A](value: A)(implicit writer: JsonWriter[A]): Json =}object JsonWriterInstances {
implicit val stringWriter: JsonW
浏览 27修改于2018-08-09得票数 1
回答已采纳
1回答
{-# LANGUAGE TypeSynonymInstances #-}
-- data Op r a = (->) a r
instance Contravariant (Op r) wheretype synonym ‘Op’ should have 2 arguments, but has been giv
浏览 1提问于2021-11-02得票数 1
回答已采纳
在构建我的项目时，会出现以下错误： • Could not deduce (Contravariant (Backwards f))
浏览 0提问于2018-11-29得票数 0
回答已采纳
2回答
无论如何，我发现，如何使用例如：*Lib Data.Functor.Contravariant> :t contramap*Lib Data.Functor.Contravariant> :t contramap (\x -> x
浏览 2提问于2018-02-02得票数 3
回答已采纳
如果我定义： class Contravariant f where contramap f g = g . f 我得到的错误是实例类型不能是同义词。所以我想我需要一些类似的东西： instance Contravariant ((->) _ r) where
contramap f
浏览 12提问于2021-01-06得票数 1
回答已采纳
我们可以使用Contravariant方法调用Contravariant.apply实例。Cats为使用参数(包括Eq、Show和Function1 )的数据类型提供实例。下面是一个例子：
import cats.Show
val showSymbol = Contravariant[Show]
浏览 0提问于2018-02-07得票数 0
回答已采纳
为了探索方差是如何工作的，我提出了这种类型，它可以是Functor，也可以是Contravariant，具体取决于它的参数：instance (Functor f, Contravariant g) => Contravariant (Shift f g) where到contravariant包)是Contravariant，Applicative是Func
浏览 4提问于2022-07-09得票数 3
在Data.Functor.Contravariant中定义了newtype Comparison a。在contravariant-1.5中定义的此模块版本中，Contravariant上的Monoid实例定义如下： instance Monoid (Comparison a) where mappend (Comparison p) (Comparison q) = Comparison $ mappend p q 在base中也定义了Data.Functor.Contravarian
浏览 26修改于2019-01-03得票数 3
回答已采纳
2回答
// contravariant functor def contramap[A, B](f: B => A): F[A] => F[B]
}
浏览 0提问于2013-03-17得票数 42
回答已采纳
考虑协变类型参数A def bar(a: A) = a // error: covariant type A occurs in contravariantposition |
This is contravariant position
浏览 2修改于2021-07-03得票数 3
1回答
Apple>(); IContravariant<Apple> fContra = new Contravariant<Fruite>();
throw new NotImpleme
浏览 0修改于2016-11-13得票数 3
A1): Int = { } }
new Contravariant[Preference] {
def contramap[A, B](fa: Preference
浏览 0提问于2018-07-12得票数 0
回答已采纳
下面的带有Contravariant、Divisible等实例的抽象是否已经在某些包中实现了？我暗示了以下可编译代码的精神： ReaderDual (b -> m a)
instance Contravariant (ReaderDual
浏览 3修改于2015-08-09得票数 8
回答已采纳
如下所示： private case class MyClass(c: T)编译器说： private case class MyClass[U <: T](c: U)这次的错误是：
error: covariant type T occurs in contravariant
浏览 4提问于2012-03-08得票数 32
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号