Описание тега purescript

PureScript - это функциональный язык с сильными статическими типами, который компилируется в JavaScript.
1 ответ

Существует ли класс типов Purescript, обобщающий целые числа?

Haskell имеет Integral класс типов, который включает Integer, Int, Int32, Int64, Natural, так далее. Есть ли подобный класс типов в Purescript?
06 июн '16 в 21:34
1 ответ

Конфликт импорта

Я могу запустить этот код в Haskell module Foo where test = 1 module Bar where test = 2 module Main where import Foo import Bar main = print "test" Но компилятор PureScript возвращает ошибку Конфликт импорта для теста из модулей Bar и Foo Это ошибка?
27 сен '15 в 09:19
1 ответ

Purescript - Невозможно построить с библиотеками чертежей и сигналов

Я пытаюсь запустить проект Purescript, который использует сигнал Purescript и библиотеки рисования. Когда я пытаюсь bower install с обоими зависимостями интерактивная подсказка bower просит разрешить несколько версий зависимостей. По общему признани…
24 окт '16 в 06:20
0 ответов

Создать карту из JSON

У меня есть сервер, который возвращает массив массивов размера 2. Как правило: [["foo",{"x":1,"y":"str"}] ,["bar",{"x":4,"y":"something"}]] Каков был бы правильный / самый простой способ генерировать Map String {x:Int, y:String} из этого? Я мог бы н…
18 июн '18 в 07:03
2 ответа

Как использовать setTimeout в PureScript v0.7

Я хочу использовать setTimeout для анимации в PureScript, как это. loop n = if n > 100 then do return Unit else do print n timeout (loop n+1) 30 Purescript-таймеры больше не работают в v0.7. У меня нет ни малейшего представления, как это реализов…
03 авг '15 в 05:25
1 ответ

Правильный способ загрузки двоичного файла с сервера с использованием PureScript и Pulp

У меня есть простая функция javascript, которая создает XMLHttpRequest, запускает его (синхронно, чтобы сделать вещи максимально простыми) и возвращает массив, который является результатом. exports.loadBinFile = function() { ... } У меня есть этот с…
07 май '16 в 10:11
1 ответ

Функция PureScript FFI без возвращаемого значения, только побочные эффекты

Как правильно вызвать / определить стороннюю функцию, которая ничего не возвращает. Что я делаю неправильно? Renderer.purs: module Renderer where import Prelude import Effect (Effect) foreign import renderMd :: String -> Effect Unit Renderer.js: …
12 окт '18 в 17:15
1 ответ

Принуждение Eff или Aff удовлетворяет функцию, ожидающую больший набор эффектов

У меня есть эффективное асинхронное действие с типом, скажем, effectful :: Aff e r Я хотел бы создать действие, которое выполняет некоторое асинхронное действие и отправляет результат Channel из purescript-сигнала. send функция имеет подпись: send :…
01 окт '17 в 08:42
1 ответ

Получить записи нового типа, лежащие в основе типа в purescript

Я пытаюсь выяснить, есть ли простой способ получить тип записи newtype для добавления в сигнатуры функций. newtype T1 = T1 { foo:: Int} derive instance newtypeT1 :: Newtype T1 _ ... other classes that require me to newtype the record ... Я знаю, что…
10 ноя '18 в 07:17
1 ответ

Подскажите Монаду в Purescript

Я работаю через определение Prompt И его Bind Пример описан здесь и пытается выяснить, как это будет выглядеть в Purescript. я использую Purescript.Exists для экзистенциального типа. Мое определение тогда: data PromptAskF p r a = PromptAskF (p a) (a…
28 июн '16 в 14:00
1 ответ

Как удалить Афф (похожий на Eff's unsafePerformEff)?

Я пытаюсь заполучить содержимое некоторых файлов, которые я прочитал из файла через Node.FS.Aff.readTextFile, используя асинхронные эффекты. Однако мой вопрос носит более общий характер. myFile::forall r. String -> Aff ( fs :: FS | r) (Either Err…
16 фев '16 в 13:47
1 ответ

Purescript Halogen: определение пользовательских элементов HTML

У меня возникли трудности, связанные с этим вопросом без ответа: Purescript: галоген HTML DSL только отображает теги "id" Я пытаюсь определить новый элемент HTML. В частности, я хотел бы отобразить svg Элем и image элемент с некоторыми новыми тегами…
18 янв '17 в 04:22
1 ответ

Запуск ненадежного кода PureScript

Можно ли использовать PureScript для безопасного * запуска ненадежного пользовательского кода? Можно ли надежно обеспечить чистоту и другие ограничения, используя систему типов (как в Safe Haskell)? Другими словами, возможно ли использовать PureScri…
20 июл '17 в 14:50
1 ответ

PureScript и классы типов

У меня проблемы с классами типов PureScript. Я должен сказать заранее, что я тоже не эксперт по Haskell, поэтому приношу свои извинения, если это очевидные ошибки. Я попробовал несколько разных подходов и ударил стену для каждого. Я в основном пытаю…
16 окт '14 в 11:35
1 ответ

Обобщить функцию purescript, используя MonadAff

У меня есть вопрос об обобщении. Начиная с этой функции: test0 :: String -> String test0 s = s мы можем обобщить это в аргументе: test1 :: forall a. Show a => a -> String test1 s = show s или по своему функциональному результату: test12 :: …
25 фев '18 в 14:41
1 ответ

Ошибка EscapedSkolem при переподключении websocket в PureScript и Halogen

Я пытаюсь реализовать переподключение Websocket в PureScript и совершенно не знаю, как действовать дальше. Я добавил код переподключения на верхнем уровне из-за использования Aff; Я думаю, что это правильное место, но я не уверен. Я пытался реализов…
07 мар '18 в 02:11
1 ответ

Как использовать конструкторы Value для создания записей в PureScript

Я пытаюсь создать запись на основе массива данных, функция выглядит следующим образом: type Address = { street :: String, city :: String, state :: String } convertToAddress :: Array String -> Maybe Address convertToAddress [street, city, state] =…
25 сен '17 в 12:26
0 ответов

Подпись типа purescript не компилируется, код работает без нее; предложенная подпись не работает

Следующий код выдает эту ошибку: module Broken1 where import Control.Monad.Aff.Class (MonadAff) import Control.Monad.Aff (Aff()) import DOM.HTML.Types import Halogen import DOM import Control.Monad.Eff.Exception import Control.Monad.Aff.AVar import …
04 янв '16 в 14:46
1 ответ

Что не так с этим конструктором Purescript?

Попытка создать конструктор для римских цифр: data RomanDigit a = M | D | C | L | V | I newRomanDigit :: Int -> RomanDigit newRomanDigit 1000 = M newRomanDigit 500 = D получает сообщение об ошибке: in module UserMod at src\UserMod.purs line 81, c…
07 авг '18 в 05:11
1 ответ

Как преобразовать частичные функции в безопасные (возможно) функции?

Я хочу, чтобы он использовал определенную библиотеку частичную функцию более удобным, или записывал обратный вызов с частичным сопоставлением с образцомкак это, partialMaybe :: forall a b. (Partial => a -> b) -> a -> Maybe b Я не мог най…
13 сен '17 в 03:11