purescript

5热度

1回答

我在使用PureScript类型类时遇到了问题。我不得不说，我不是Haskell的专家，所以我很抱歉，如果这些都是明显的错误。我尝试了几种不同的方法，并为每个方法打了一堵墙。我基本上试图为图的边界定义一个show函数。一种方法是这样的： module Foo where data Edge n = Edge { from :: n, to :: n } instance showEdge

3热度

1回答

记录PureScript

我不明白为什么这个工程： module Records where type Element e = { element :: String, label :: String | e } type Sel = (value :: Number, values :: [Number]) type Select = Element Sel 虽然这说Cannot unify # * wit

0热度

1回答

加入做代码块，停止代码执行

foreign import subscribeEventedOnPrime "function subscribeEventedOnPrime(n){ \ \ return function(fn){ \ \ return function(obj){ \ \ return function(){ \ \ obj.add

2热度

1回答

purescript入门

我刚开始学习purescript后purescript by example，但我坚持在Chapter2 using grunt project templates结束。我按照说明进行操作，但是当我运行繁重的命令，我得到这个错误： /Users/chad/playground/purescript/tests/tmp/node_modules/Control.Monad.Eff.Random/i

3热度

1回答

PureScript类型系统名称

PureScript中使用的类型系统的正确学术名称是什么？我正在寻找有关这方面的文件，并证明它是正确的。特别是，当类型系统允许将异常解决为隐藏通信通道问题时，当想要抛出一个私有异常类型的实例，并将其通过有效的计算传递给catch处理程序而不需要将该类型暴露给计算和在那里捕捉它的可能性，这将很高兴确认这是正确的。

1热度

1回答

构造函数的Purescript FFI类型定义

我试图用PureScripts外部函数接口来包装钛api的部分，但我遇到问题应该是函数的类型定义。 module Ti where foreign import data Window :: * foreign import window """ function (config) { return function() { return

1热度

1回答

与Purescript

我正在通过Purescript示例教程，我有麻烦类型排队使用左作为这种折叠匿名函数类型的问题左边的折叠是 Cannot unify Prim.Function u13116 with Data.Maybe.Maybe 我相信类型排队，但我不能让这个错误的正面或反面。此外，是否有可能清理匿名函数的语法让 foldl(\acc i -> smallerFile(acc i)) Just(x) x

1热度

1回答

purescript-镜头组成类型错误

我想用purescript-lens更新嵌套记录的属性。然而，当我撰写的镜头获得的财产，我得到以下类型的错误： Warning: Error at src/Main.purs line 150, column 38 - line 152, column 3: Error in declaration performAction Cannot unify { description :: u24