arrows

    3热度

    1回答

    如何从Free和MonadFree创建Arrow? class (Functor f, Monad m) => MonadFree f m where ... data Free f a = Impure (f (Free f a)) | Pure a MonadFree包含2个参数m和f,但Kleisli没有空间插入f,所以我们不能用Kleisli箭头,MonadFree。 据我了解,它

    1热度

    2回答

    我使用Fancybox作为图片库。 图像的宽度不同,所以箭头根据图像宽度左右移动(进出)。 我的客户希望箭头留在一个地方,以便您可以轻松地点击一组而不必前后移动来点击。我在这里查看了所有的Fancybox问题,但没有找到答案。我试过改变CSS并且无法得到这个工作。 该图库是here。

    10热度

    1回答

    背景 我已经经历约翰·休斯Programming with Arrows,我觉得我的一切直在我的头上,直到使用地图的下面的例子: >runSF (mapA (delay 0)) [[1,2,3],[4,5,6],[7,8,9]] [[0,0,0],[1,2,3],[4,5,6]] 凡runSF提取流功能从定义为流函数箭头: newtype SF a b = SF {runSF :: [a]-

    2热度

    2回答

    我试图让我的脑袋绕过HXT,一个解析使用箭头的XML的Haskell库。对于我的具体使用情况,我宁愿不使用deep,因为有些情况下<outer_tag><payload_tag>value</payload_tag></outer_tag>与<outer_tag><inner_tag><payload_tag>value</payload_tag></inner_tag></outer_tag>不

    6热度

    2回答

    箭头比haskell中的常规功能有什么优势。他们能做什么功能不能。函数可以使用fmap映射到结构上。

    7热度

    4回答

    在Haskell Control.Arrow文档中,它讨论了Kleisli箭与monads的关系,但是我不清楚如何使用它。我有一个我认为适合箭头的功能,除了它涉及IO monad,所以我认为Kleisli箭头可能会有所帮助。 以下函数返回一对目录的原始文件名和修改后的文件名。 import System.Directory import System.FilePath datedFiles

    0热度

    1回答

    我正在学习如何使用Haskell中的箭头并实现了以下解析器。 所有测试正常工作除了最后两项测试: test (pZeroOrMore pDigit) "x123abc" test (pZeroOrMore pDigit) "123abc" 这些测试会卡在一个无限循环。问题是为什么?据我所见,它应该可以正常工作? {-# LANGUAGE Arrows #-} module Code.Ar

    0热度

    1回答

    我之前问过一个关于这个问题,但我不认为我真的知道我在问什么。我想我现在明白我的问题稍好一些。 我正在使用netwire,箭头化的FRP库,并且在实现此arrowloop时遇到了一些麻烦。 我 f :: ArrowLoop r => a -> r [a] a g :: ArrowLoop r => [a] -> r() [a] 这样g基本上捆绑使用f与所有其他元素的列表中给出的列表中的每个元素

    5热度

    1回答

    要试用Netwire,我使用库实现了Pong。在代码中我有一个球形导线和一个计算机桨形导线,并且由于它们依赖于对方的某些值,所以我一直在遇到无限循环的问题。一些伪代码解释: ball :: Wire() IO GameInput Ball ball = (... define ball ...) . pcPaddle pcPaddle :: Wire() IO GameInput Paddl

    2热度

    1回答

    我遇到了一些问题HXT:我试图找到符合某些条件的文档中的所有节点,并且我试图将镜头/ XPaths作为谓词使用Control.Arrow.<+>,如this guide所示。但是,当我尝试“运行”文档上的箭头时,我得到重复的结果。有没有简单的方法来删除重复项,或以更有意义的方式组合测试?这是我的代码: run :: App -> IO() run a = do inputContent