purescript

    2热度

    2回答

    我试图用FFI导入下面的JavaScript函数到PureScript映射0参数的JavaScript函数: function getGreeting() { return "Hi, welcome to the show." } ,但我不知道该类型应该是什么。最近我得到的是这样的: foreign import getGreeting :: Unit -> String 我想

    1热度

    1回答

    我想我可能会错过purescript-dom模块中的一个关键功能,将其从节点转换为特定的元素类型。例如,如果我有一个Event,我可以使用DOM.Events.Events.target来获取节点,但看起来像获得特定元素的唯一方法是使用unsafeCoerce,例如, import DOM.Event.Event (target) import DOM.HTML.HTMLInputElement

    2热度

    1回答

    我正在使用purescript-halogen,并且当子组件的消息被捕获时我想滚动到div的底部。 但是,它似乎不存在,在卤素滚动行动控制。 所以,我怎么能 Scroll to bottom of div? 一个解决方案,我认为是在事件捕获的其他这一号召,不是卤素,过程从主。 我不确定这个解决方案不坏。

    2热度

    1回答

    我与一个类型级权限的系统试验,我试图以禁止不从相同的“源”来源值的分配,即: data A = A { a :: Value, b :: Value } modify :: A -> A modify (A v) = A $ v { a = v.a } -- should work modify (A v) = A $ v { a = v.b } -- should *NOT* work

    1热度

    1回答

    我正在关注设置任务列表的各种Thermite教程。唯一有很多解释的教程也相当不合时宜,所以我正在修改它以适应当前的Thermite。但是,我有一个不能使数据类型匹配的调用。 import Optic.Lens (lens) import Optic.Prism (prism) import Optic.Types (Prism', Lens') import Thermite as T

    2热度

    2回答

    我是Purescript的新手,我正在尝试编写一个函数,它可以取得任何记录值并迭代字段和值并构建 查询字符串。 我想是这样的: buildQueryString :: forall a. PropertyTraversible r => r -> String ,我想用这样的: buildQueryString {name: "joe", age: 10} -- returns: "name

    1热度

    1回答

    以下PureScript代码: fibs 0 = 1 fibs 1 = 1 fibs n = fibs (n-1) + fibs (n-2) 编译为以下JavaScript: var fibs = function (v) { if (v === 0) { return 1; }; if (v === 1) { return 1;

    1热度

    1回答

    试图走出purescript FFI,并按照“Purescript按示例”一书中,我创建了一个JS文件,以获得一个数组的头: exports.head = function(arr) { return arr[0]; }; 而且在purescript我宣布一个新的Undefined数据头的类型签名,以表示undefined时返回数组是空的: foreign import data

    0热度

    1回答

    我有以下purescript代码: class Node a where parentNode :: forall b. (Node b) => a -> b 但是当编译这个我得到以下错误: A cycle appears in the definition of type synonym Node Cycles are disallowed because they can le

    0热度

    1回答

    我基本上需要知道如何写这样的功能... joinCommands :: forall e1 e2 e3 . Union e1 e2 e3 => Eff e1 Unit -> Eff e2 Unit -> Eff e3 Unit joinCommands fn1 fn2 = do fn1 fn2 不工作的一个联盟。我得到这个错误: [