Описание тега row-polymorphism

Вопросы с тегом
1 ответ

Определить `псевдоним типа 'с частичным определением или по умолчанию

Есть ли способ высушить это? Я не хочу повторяться contents : List Nav а также wrapperId : String type alias InputModel = { contents : List Nav , containerClassName : Maybe String , wrapperId : String } type alias Model = { contents : List Nav , con…
30 сен '18 в 02:15
4 ответа

Вывести тип для общих полей в двух записях

Потерпи меня, если это глупый вопрос. Как я могу набрать универсальную функцию, которая принимает две записи и возвращает массив их общих полей? Допустим, у меня есть: type A = { name :: String, color :: String } type B = { name :: String, address :…
26 фев '18 в 18:35
0 ответов

Purecript Союз Строк

Я пытался разработать систему компонентов в Purescript, используя класс типов Component, который определяет функцию eval. Функция eval для может быть рекурсивно вызвана компонентом для каждого подкомпонента компонента, по сути, выбирая значения ввод…
19 июл '18 в 12:14
1 ответ

Ищем тип, который является полиморфным в полях записи (статическая утка)

Я ищу тип, который является полиморфным в полях записей, чтобы он принимал записи, содержащие больше полей с ограничением, что все задействованные записи совпадают в этих дополнительных полях: type foo = { first: string, last: string }; const o = { …
18 апр '20 в 11:52
1 ответ

Сочетание параметрического полиморфизма и полиморфных вариантов (типы обратных кавычек)

Предположим, у меня есть тип, состоящий из нескольких (ковариантно) полиморфных вариантов, например следующих: [> `Ok of int | `Error of string] Далее предположим, что я хочу разложить это определение на какой-то конструктор типа и конкретный тип…
21 янв '20 в 02:41
1 ответ

Как анализировать полиморфные записи строк с помощью SimpleJSON в PureScript?

Я написал служебный тип и функцию, предназначенную для помощи в синтаксическом анализе определенных строково-полиморфных типов (в частности, в моем случае, все, что расширяет BaseIdRows: type IdTypePairF r = (identifier :: Foreign, identifierType ::…
18 ноя '20 в 22:56
0 ответов

Могу ли я указать, что тип является произвольной записью?

у меня есть тип type alias WithStatus l = { l | status : Status } Это расширяет запись с полем состояния. Теперь я хотел бы создать функцию, которая берет запись и присваивает ей определенный статус, поэтому я сделал: addStatus : Status -> l -&gt…
17 мар '22 в 12:07