Как можно автоматом отдерайвить Data.Vector.Unboxed.Mutable.Unbox для подобного типа? data ABCD = A

Question

Haskell

Alex

Как можно автоматом отдерайвить Data.Vector.Unboxed.Mutable.Unbox для подобного типа? data ABCD = A

| B | C | D deriving Show

#haskell #programming #russian

0

27.02.2022

4 ответов

20 просмотров

TOV_MULTIMASSO

Можно руками, через toEnum/fromEnum. Можно через ньютайп, у которого есть instance Enum a => Unbox (CEnum a) и далее data ABCD = A | B | C | D deriving stock (Eq, Ord, Enum, Show) deriving (Unbox) via CEnum ABCD

0

28.02.2022

Alex Автор вопроса

TOV_MULTIMASSO
Можно руками, через toEnum/fromEnum. Можно через н...

> Можно руками, через toEnum/fromEnum есть ссылка на такой пример?

0

28.02.2022

TOV_MULTIMASSO

Alex
> Можно руками, через toEnum/fromEnum есть ссылка ...

Руками надо перегружать тыц и туц, потому что Unbox это, как выяснилось, зонтик над этими двумя. При перегрузке придётся сделать свои реализации двух векторов, добавив их в data instance Vector (CEnum a)/data family MVector m (CEnum a), которые будут хранить, нарпимер, Int. С одной стороны, это долго, но с другой - не сложно, просто запихать Vector Int в data instance Vector (CEnum a) и в каждом реализуемом методе использовать toEnum/fromEnum и такой же метод из Vector Int. newtype CEnum a = CEnum a

0

28.02.2022

Aleksei (astynax) Pirogov · Accepted Answer

Aleksei (astynax) Pirogov

Ав томатом (stock) можно дерайвить только "встроенные" штуки. А это явно библиотечная.

0

28.02.2022

169 похожих чатов

Как можно автоматом отдерайвить Data.Vector.Unboxed.Mutable.Unbox для подобного типа? data ABCD = A

4 ответов

Похожие вопросы