deriving

5зной

1ответ

Невозможно получить Прикладной при объединении двух блоков трансформатора монады

Я написал две монады для языка, специфичного для домена, который я разрабатываю. Первый - Lang, который должен включать все необходимое для синтаксического разбора языка. Я знал, что хочу, читатель, п

haskell monad-transformers deriving newtype 2016-04-26

---

2зной

2ответ

Как получить экземпляры для записей с типовыми семьями

Вот что я пытаюсь, но он не компилируется: {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE StandaloneDeriving #-} {-# LANGUAGE FlexibleInstances #-} import Data.Text as T import Data.Int (Int64) typ

haskell type-families deriving 2017-01-04

---

1зной

1ответ

Автоматического Haskell получения декларации, поднимающая

Есть ли способ, чтобы компилятор получить функциональные возможности, которые я хотел бы написать вручную: instance Class c => Class (Trans c) where foo1 = lift foo1 foo2 = lift foo2 ..

haskell typeclass deriving 2016-03-21

---

-3зной

1ответ

Как вызвать базовый конструктор, если ваш класс получен из unique_ptr

Как реализовать конструктор SearchTree с параметром типа T, вызвав его суперкласс? template <class T> class SearchTree: protected unique_ptr<Node<T> >{ public: SearchTree<T>(); Searc

c++ unique-ptr deriving 2016-05-14

---

0зной

1ответ

Могу ли я считать этот вывод левым и/или правым?

Например, я хотел бы получить строку «aabbccdd» из данного набора продукции: S -> AB | C A -> aAb | ab B -> cBd | cd C -> aCd | aDd D -> bDc | bc Я могу вывести строку из AB, используя крайний л

parsing ambiguity deriving 2016-05-19

---

1зной

1ответ

нормально читать Самости тип данных

data MyNum = One | Two | Three deriving (Show, Eq) Я просто определить MyNum с конструктором One, Two и Three. * Main>: т Один One :: тупит Но GHCi выдает ошибки при добавлении

haskell typeclass deriving 2016-09-05

---

4зной

1ответ

Экземпляр класса типа, который не используется при формировании структуры данных

Я изучал использование более newtype оберток в моем коде для создания более разных типов. Я также делаю много дешевой сериализации с помощью Read/Show, особенно в виде простой формы сильно типизирован

haskell typeclass deriving 2016-12-16

---

3зной

2ответ

Получение в newtype с большим количеством переменных типа

newtype MyNewtype1 f v = MyNewtype1 { getVal1 :: f v } deriving Eq -- OK newtype MyNewtype2 f maybe v = MyNewtype2 { getVal2 :: f (maybe v) } deriving Eq --OK newtype MyNewtype3 f v = MyNewtype3 { g

haskell deriving newtype 2016-09-08

---