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

Описание тега Вопросы с тегом
Расширение и ключевое слово Haskell, используемые для определения ранговых и экзистенциально количественно определенных типов или для использования переменных типа с ограниченной областью видимости
5 ответов

В Скале

Как показано ниже, в Haskell можно хранить в списке значения разнородных типов с определенными границами контекста на них: data ShowBox = forall s. Show s => ShowBox s heteroList :: [ShowBox] heteroList = [ShowBox (), ShowBox 5, ShowBox True] Как…
27 авг '11 в 09:31
1 ответ

Явное указание на функцию класса типа

Начиная с ghc-8.0 у нас есть очень хорошее расширение под названием TypeApplications, Что позволяет нам вместо: λ> show (5 :: Int) "5" сделай так что то подобное: λ> :set -XTypeApplications λ> show @Int 5 "5" Что действительно круто. Это ст…
14 фев '19 в 22:34
1 ответ

Массовый сбор с помощью функции Sum

Я пытаюсь использовать Bulk All и Forall в базе данных Oracle: Оригинальный код из процедуры, как показано ниже: IF NVL(v_mc,0) != 0 THEN FOR rec IN (SELECT a.testid, SUM(pct * NVL(cap,0))/v_mc lead1 BULK COLLECT INTO testids1, testids2 FROM testtab…
13 июн '18 в 05:27
1 ответ

2 требования: 1) заменить несколько циклов FOR на FORALL 2) использовать условие IF-THEN-ELSE при вставке данных в таблицу

Мое требование немного другое. У меня есть два вложенных цикла FOR, которые извлекают данные и в зависимости от определенных условий вставляют отсортированные данные в таблицу. Оригинальный код ниже: FOR Name_1 IN First_Cursor LOOP FOR Name_2 IN Sec…
27 фев '14 в 11:25
3 ответа

Проблемы с HAVING-запросом

Я следую онлайн-курс по базам данных. Однако я не знаю, как поступить с этим вопросом. Кто-нибудь может помочь? Это мой код: SELECT distinct name FROM Persons P, Knows K WHERE K.personA_id = P.id AND K.personB_id = P.id GROUP BY name HAVING SUM(K.id…
03 мар '15 в 18:26
3 ответа

Как использовать литеральные параметры в коллекции массивов scala?

Мне нужна помощь для этого: например: val myArray= Array(1, 2, 4, 5, -1, -7, 11, 29) Это я поняла: myArray.exists( _ < 0 ) И также я могу понять это: myArray.count(_ % 2 == 0) но как я могу написать в REPL это: myArray.forall( !xyz(_) ) xyz is th…
30 сен '14 в 22:30
0 ответов

Несколько FORALL в процедуре orasql

Я пытаюсь как удалить, так и обновить некоторые данные из таблицы внутри процедуры. Насколько я понимаю, и то, и другое нельзя сделать в одном выражении FORALL, и что я могу сделать несколько FORALL, используя один и тот же курсор. Проблема в том, ч…
11 июл '17 в 17:14
1 ответ

PL/SQL Нет данных Обнаружена ошибка в цикле

Я не получаю данные об ошибке при циклическом выполнении массива. У немедленного выполнения есть данные, но цикл forall не выдает данных об ошибке и не может перебрать коллекцию. Пожалуйста, найдите код ниже. code_arr.FIRST, похоже, имеет некоторые …
21 фев '16 в 00:07
1 ответ

Массовая вставка записей с использованием BULK COLLECT и FORALL

Я новичок в PL/SQL и извлекаю огромное количество записей из разных таблиц и хочу вставить в одну таблицу в PL/SQL, используя анонимный блок с BULK COLLECT и FORALL. Может ли кто-нибудь помочь мне решить, является ли следующий код правильным. Я сосл…
08 фев '19 в 20:49
1 ответ

Вставка массовых записей в удаленную базу данных (dblink) с помощью Bulk Collect

Я хочу вставить огромные записи из разных таблиц в целевую удаленную таблицу Audition_Detail, используя DBLINK - @FMATLINK. Я использовал Bulk собирать, но его бросать ошибки. Я тоже просмотрел несколько ссылок: Преодоление ограничения на массовые в…
09 фев '19 в 08:52
2 ответа

Почему `forall (a:: j) (b:: k)` работает иначе, чем `forall (p:: (j,k))`?

Я пытаюсь понять разницу между использованием forall количественно определить переменные двух типов и используя forall количественно определить переменную одного типа типа кортежа. Например, даны следующие семейства типов: {-# LANGUAGE RankNTypes #-…
14 дек '18 в 15:43
1 ответ

Как правильно сопоставлять типы при использовании Numeric.AD в Haskell?

Я пытаюсь реализовать алгоритм поиска корня Ньютона-Рафсона с помощью рекламного пакета, но не могу правильно сопоставить типы функций. Я знаю, что есть правильный ответ на подобный вопрос, на который ответил сам создатель рекламы, но пакет сильно и…
04 авг '17 в 05:28
1 ответ

Сбой GeneralizedNewtypeDeriving для PersistFieldSql

Я пытаюсь определить новый тип Markdown, и с помощью GeneralizedNewtypeDeriving для автоматического определения новых экземпляров: import Text.Markdown import Yesod.Text.Markdown import Database.Persist.Sql newtype MarkdownNewT = MarkdownNewT { getM…
17 сен '14 в 14:20
2 ответа

Использование BULK COLLECT с rownum

Внизу запроса Bulk выбирает, а затем обновляет записи в цикле. Я хочу использовать конструкции BULK COLLECT INTO и FORALL для повышения производительности. Но запрос использует rownum для обновления столбца в цикле. Можно ли в любом случае использов…
26 июн '18 в 06:56
1 ответ

Oracle PL/SQL, как вы выводите, сколько вставок было сделано в инструкции FORALL

Каков наилучший способ получить и вывести, сколько строк было вставлено в оператор FORALL, который я имею ниже. Я видел SQL%BULK_ROWCOUNT, но я не уверен, как это будет работать в приведенном ниже утверждении. это DBMS_OUTPUT.('rows inserted '||SQL%…
08 фев '17 в 14:42
1 ответ

PostScript блуждает по словарям

Согласно PLRM, не имеет значения, в каком порядке вы выполняете обман на диктанте: (стр. 597) forall помещает ключ и значение в стек операндов и выполняет процедуру для каждой пары ключ-значение в словаре ... (стр. 597) Порядок, в котором forall пер…
02 апр '15 в 12:36
2 ответа

Операторы Pl/SQL Bulk Bind/ Faster Update

У меня проблемы с использованием Bulk Bind в PL/SQL. По сути, я хочу, чтобы таблица (Component) обновляла свое значение поля в зависимости от Component_id и fieldname. Все они передаются как параметры (тип varchar2_nested_table - это эффективно и ма…
08 мар '12 в 10:13
0 ответов

Переменное имя таблицы внутри выборки и типа строки вставки

Я открываю курсор и делаю выборочную сборку. Проблема возникает, когда я делаю FORALL для вставки всех записей в таблице, потому что эта таблица является переменной. Это код: TYPE DST_TYPE IS TABLE OF DST_TABLE%ROWTYPE; TYPE CURSOR IS REF CURSOR; v_…
23 сен '16 в 16:16
8 ответов

Что делает ключевое слово `forall` в Haskell/GHC?

Я начинаю понимать, как forall Ключевое слово используется в так называемых "экзистенциальных типах", таких как: data ShowBox = forall s. Show s => SB s Это только подмножество того, как forall используется, и я просто не могу сосредоточиться на …
18 июн '10 в 15:50
1 ответ

Фильтр Scala на все элементы набора псевдонимов

Здесь вопрос. У меня есть этот тип Set: type Set = Int => Boolean Который я могу использовать так: val belowNegFive: Set = (i) => i < -5 belowNegFive(10) Я имею в виду возвращать bool в зависимости от того, относится ли элемент 10 к числу ч…
17 мар '18 в 19:24