AV
instance {-# OVERLAPPABLE #-} (AsValue a, '[a]~k) => Unnest k a where
Size: a a a
2020 May 09
AV
Как базовую, k перенёс из головы в констреинты
AV
В этом случае в обоих инстансах там "всё что угодно"
AV
Поэтому он может решить какой инстанс более точный
AV
_test9 :: HE.Params (Int64, [([Int64], Int64)])
_test9 = params -- @'[Int64, [[Int64]], [Int64]]
AV
AV
{-# LANGUAGE GADTs #-}
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE InstanceSigs #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE InstanceSigs #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE PolyKinds #-}
AV
Это излишний список, часть вещей точно не нужно
AV
GADTs и AmbigiousTypes не нужны
AV
Но AmigousTypes потом сделаю, чтобы заставить пользователя делать type application
AV
Fcf.Data.List.Concat работает - вообще замечательно
AV
Теперь правда почти все кодеки в проекте рефакторить 🙁
YS
Может попробовать респонсы через стрим запилить ...
YS
Я глянул - кажется сервант через стримы билдит респонсы
YS
Да и корс миддлваря тоже...
ЗП
Fcf.Data.List.Concat работает - вообще замечательно
Fcf вообще интересная идея, взята вроде из какой-то статьи Айзенберга
АХ
Мне нужно по выбранному инстансу определять тип, но чтобы он не участвовал в instance resolution
По моему ты хочешь чего-то противоестественного. На хаскелль это не ложится никак вообще
AV
Уже легло
ЗП
Кстати есть ещё fci