Вопросы по теме 'arrows'
Можете ли вы определить оператор (***) в F#?
Я работаю над Arrows в F# и хотел создать оператор *** . Однако я отмечаю, что (***) , необходимый способ выражения оператора в определении функции, пересекается с синтаксисом блочного комментария F#. Итак, как вы могли бы на самом деле выразить...
236 просмотров
schedule
28.02.2023
Подсчет и фильтрация Arrow для HXT
Я пытаюсь проанализировать XML, но хочу фильтровать и извлекать только определенное количество дочерних элементов из данного узла. Например:
<root>
<node id="a" />
<node id="b" />
<node id="c" />
<node...
445 просмотров
schedule
12.06.2022
Общие преобразования типов в Haskell
Я пытаюсь написать преобразователь arrow , который принимает обычные функции и превращает их в вычисления абстрактных значений. . Если у нас есть стрелка «источник»,
f :: Int -> Int
f x = x + 1
то целью будет заставить f работать с...
487 просмотров
schedule
31.10.2023
Стрела и монада, две независимые точки зрения для составления вычислений?
Я прочитал "The Typeclassopedia" Брента Йорги в Monad.Reader #13 и обнаружил, что "иерархия функторов" взаимозависима от "иерархии категорий", как показано на рисунке 1. И, по словам автора, ArrowApply == Monad , тем более, что предыдущий —...
2024 просмотров
schedule
07.09.2022
Существуют ли монады, которые можно использовать как автомат?
Я пишу преобразователь потока из некоторого типа входных данных в тип выходных данных. Ввод осуществляется пользователем, поэтому между событиями есть некоторое время. Поскольку для каждого ввода требуется некоторая загрузка ресурсов, я хотел бы...
1038 просмотров
schedule
09.12.2022
Как здесь использовать стрелки?
Учитывать
foldr (\x (a,b) -> (a || x==2, b || x==7 )) (False,False) [1..6]
--(True,False)
Игнорируя тот факт, что это можно легко написать с помощью elem , у меня есть сильное ощущение, что я мог бы использовать синтаксис Arrow для...
320 просмотров
schedule
16.12.2022
Haskell's Arrow-Class в Агде и -› в Агде
У меня есть два тесно связанных вопроса:
Во-первых, как можно смоделировать/представить класс Haskell Arrow в Agda?
class Arrow a where
arr :: (b -> c) -> a b c
(>>>) :: a b c -> a c d -> a b d
first ::...
670 просмотров
schedule
10.08.2022
Стрелки YUI scrollView не работают после прокрутки страницы
Я использовал прокрутку YUI, чтобы создать меню с касанием, пролистыванием и стрелками. Однако почему-то у стрелок есть баг.
Когда страница загружается в первый раз, она работает нормально, однако, как только пользователь прокручивает страницу с...
243 просмотров
schedule
05.08.2022
(Вниз) Стрелка с CSS
Я хочу сделать то, что делает это поле со стрелкой , но вместо стрелки, указывающей вправо, Я хочу, чтобы он был направлен вниз.
Я пробовал что-то вроде этого: ссылка jsfiddle здесь
#triangle-down {
width: 0;
height: 0;...
3836 просмотров
schedule
22.08.2022
HXT: выбрать узел по позиции с помощью HXT в Haskell?
Я пытаюсь разобрать некоторые файлы XML с помощью Haskell. Для этой работы я использую HXT , чтобы получить некоторое представление о стрелках в реальных приложениях. Так что я совсем новичок в темах со стрелками.
В XPath (и HaXml ) можно...
554 просмотров
schedule
04.07.2022
Можно ли переписать этот пример, используя стрелочную нотацию ghc?
Я заново изобрел своего рода «стрелку состояния»:
import Prelude hiding (id, (.))
import Control.Monad.State
import Control.Arrow
import Control.Category
data StateA s a b = StateA {runStateA :: s -> a -> (b, s)}
instance Category (StateA...
260 просмотров
schedule
13.08.2022
Инструменты для просмотра стрелок Haskell в виде графиков
Стрелки Haskell обычно объясняются как выражение ориентированного ациклического графа (DAG) вычислений. Я ищу инструменты или библиотечный код, который использовал бы эту связь для помощи в программировании с помощью Arrows.
От стрелки к графику...
518 просмотров
schedule
09.10.2022
Является ли разложение стрелки из обозначения стрелки действительным преобразованием?
Я пытаюсь разобраться в HXT, библиотеке Haskell для разбора XML, использующей стрелки. Для моего конкретного случая использования я бы предпочел не использовать deep , поскольку бывают случаи, когда...
190 просмотров
schedule
28.01.2024
Преобразуйте узлы с помощью HXT, используя количество узлов-предков ‹section›.
Я хочу заменить все элементы title элементами h1 , h2 ,..., h6 в зависимости от того, сколько предков являются элементами section . Пример ввода/вывода:
Input.xml
<document>
<section>
<title>Title...
560 просмотров
schedule
16.04.2023
Какой самый идиоматический способ поднять с помощью некоторого преобразования оба аргумента бинарной функции в Haskell?
Какой самый идиоматический способ «поднять» каким-либо преобразованием оба аргумента бинарной функции в Haskell? Пусть этот оператор будет называться «лифт», поэтому я ожидаю, что его тип будет
lift :: (a -> b) -> (b -> b -> c) ->...
111 просмотров
schedule
11.09.2022
Непонимание ArrowLoop при использовании с Netwire
Следуя отличному ответу в этом сообщении , я пытаюсь получите рабочий пример ArrowLoop , в котором не используются стрелки. Мне неудобно использовать обозначения стрелок, пока я полностью не пойму, как стрелки работают под капотом. При этом я...
301 просмотров
schedule
21.01.2023
Вывод типов в Haskell и Arrows
Я пытаюсь использовать стрелки и столкнулся с неприятной проблемой - мне нужно предоставить явные типы для всех функций, которые я реализовал. Если я не предоставлю его, ghc выведет какую-то ошибку, например
No instance for (Arrow a0) arising...
104 просмотров
schedule
20.09.2022
Линия/кривая JavaFX со стрелкой
Я создаю граф в JavaFX, который должен быть связан направленными ребрами. Лучше всего будет бикубическая кривая. Кто-нибудь знает, как добавить стрелки?
Наконечники стрелок, конечно, должны быть повернуты в зависимости от конца кривой.
Вот...
15231 просмотров
schedule
03.11.2022
Ползунок Jssor Переходы появляются и исчезают со стрелкой 2
у меня есть Jssor Slider, я хочу, чтобы две стрелки влево и вправо появлялись и отображались с затуханием и исчезновением - при наведении курсора мыши на исчезновение двух стрелок - при наведении мыши на исчезновение двух стрелок
любое предложение...
821 просмотров
schedule
29.01.2023
Jssor List Slider — добавить стрелки
Я безуспешно пытаюсь добавить стрелки выше и ниже элементов управления эскизами и текстовым списком с правой стороны.
В полном пакете нет примера для этого.
Любые предложения будут ценны.
126 просмотров
schedule
05.06.2022