回答情况：
提问时间：
问题标签：
在以下方面：import qualified Data.ByteString.Lazy.UTF8 as BLU
safeReadFile :: FilePath
浏览 5修改于2019-08-02得票数 3
回答已采纳
我一直在读"“一书，我停止了这个例子： bimap :: (a -> b) -> (c -> d) -> p a c -> p b d-- (9, 11)λ second (*2) (3, 5) -- (3, 10)instance Bifunctorarguments to ‘(x, y)’
Expected kind ‘* -> * -> *’,
浏览 7修改于2020-06-08得票数 12
回答已采纳
如果我有一个Bifunctor[A,A] bf实例、一个函数f : A => A和一个Boolean值p val BF = implicitly[Bifunctor[F]]calc(false, t2
浏览 1修改于2010-11-11得票数 8
回答已采纳
然后，作者将BiComp设为a和b中的双函子，条件是类型构造器参数bf也是Bifunctor，且类型构造函数fu和gu是Functor的： bimap f1 f2 (BiComp x) = BiComp ((bimap (fmap现在我想提出以下几点意见：
定义右边的 bimap是利用这些约束的:假定bimap是在构造器bf的任何类型的Bifunctor
浏览 6修改于2021-01-24得票数 4
回答已采纳
2回答
Bifunctor和Arrow方法之间有一些重叠： first :: (a -> a') -> p a b -> p a' b (***) :: (a ~~> a') -> (b ~~> b') -> (a, b) ~~> (a', b')
Bi
浏览 2修改于2019-07-12得票数 11
回答已采纳
1回答
我有一个Seq[R]，我想把它分成一个Tuple2[Seq[E], Seq[S]]，在编写这个代码的时候，我想到了这样一个事实:我可以用一个自定义Bifunctor来处理一个seqs元组，并且在练习中试图对它进行编码： def
浏览 2提问于2016-06-14得票数 0
回答已采纳
1回答
代码：import Data.Bifunctorimport GHC.Generics
bimap f g (L2 p) = L2 (b
浏览 1提问于2018-08-09得票数 2
回答已采纳
遵循这个想法，下面是Bifunctor的等级2版本 {-# LANGUAGE RankNTypes #-}importData.Kind
class Rank2Bifunctor:
(forall x. p x -> p' x) -> (
浏览 14提问于2021-02-04得票数 3
回答已采纳
二进制函数的实例不编译；错误消息是
在Bifunctor (Pairs a b)的实例声明中
sndP :: Vec2 a b -> b sndP = snd .
浏览 2修改于2016-04-15得票数 0
在关于代码战争的解决方案中，我遇到了以下表达式：其中有join :: Monad m => m (m a) -> m a和bimap :: Bifunctor p => (a -结果表达式的类型为：Bifunctor p => (c -> d) -> p c c -> p d d。
浏览 1修改于2021-07-29得票数 1
回答已采纳
1回答
例如，我在中看到了由Jeremy和BrunoC.D.S.Oliveira编写的代码：map' f = In . bimap f (map' f) . out
fold' :: Bifunctor s => (s a b -> b)
浏览 5修改于2020-07-30得票数 14
回答已采纳
哈斯克尔的Data.Bifunctor基本上是： bimap :: (a -> c) -> (b -> d) -> f a b -> f c d class Bifunctor f => Biapplicative f where biap :: f (a -> b) (c --> y -> z) -> f a x -> f
浏览 2提问于2012-11-26得票数 32
回答已采纳
1回答
bifunctors库公开了以下数据类型：正如在库中所看到的，如果Biff p f g a是Bifunctor，g是Functor，那么p就是Bifunctor。instance (Bifunctor p, Functor g) => Functor (Biff p f g a) where
fmap f = Biff . second (fmap f) .
浏览 2修改于2020-06-20得票数 3
回答已采纳
我在尝试实现映射类(Bifunctor[Map[_, _]])时偶然发现了这个问题。在猫中是这样定义的： * The quintessential method of the Bifunctor trait, it applies a
* function to each"side" of the bifunctor
浏览 3提问于2019-09-26得票数 0
回答已采纳
最有趣的是，它只用于告诉我，这种数据类型存在着函子的重叠实例，因为我给出了任何Bifunctor的函子的实例化(以及数据类型的特定函子)。{-# LANGUAGE FlexibleInstances #-}
instance Bifunctor
浏览 3提问于2019-05-14得票数 2
回答已采纳
我有以下关于monoidal类别类的定义(类似于标准库，但提供了必要的自然同构的逆)： bimap :: r a b -> s c d -> t (p a c) (p b d)class (Bifunctorassociate :: k (b (b x y) z) (b x (b y z))
associa
浏览 6修改于2016-07-09得票数 4
回答已采纳
Contravariant函子
firsting => AnIso s t a b
-> Iso (f s x) (f t y) (f a x) (f b y)
浏览 3提问于2015-12-08得票数 3
回答已采纳
在关于Monad变形金刚、函子和应用组合一章的练习中，它要求读者为下列类型编写双函子实例我的第一次尝试(编译)是尝试: id bimap f g = id
In an equation for ‘bimap’: bimap f g = id
In
浏览 1修改于2019-10-21得票数 4
回答已采纳
令我惊讶的是，我发现Map甚至没有Bifunctor实例，即使存在first (mapKeys)和second (map)的实现。谢谢
浏览 4修改于2021-04-04得票数 1
回答已采纳
知道像ListF和TreeF这样的类型是双函子，到目前为止，我已经得到了以下内容：import Data.BifunctorBifunctor f => (a -> b) -> Fix (f a) -> Fix (f b) where在Haskell中，这会给出以下错误：Could not deduce (Functor (f a)) arising from a
浏览 1修改于2015-12-04得票数 11
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号