какими-то сложными stage-ами

словарики-инстансы мб

Одно время был прямо модуль GHC.IP, но потом пропал

почему такое работает data F a = F a class C x instance C F newtype G a = G { unG :: forall f. F (f a) } deriving C

newtype f ~> g = Nat { runNat :: forall x. f x -> g x } deriving Category а такое нет

newtype f ~> g = Nat { runNat :: forall x. f x -> g x } deriving Category а такое нет

ну со стрелкой всегда плохо дерайвинг, я не уверен, тут же контрвариантный параметр, а для них мб не дерайвится

а у f x -> g x разве есть инстанс category?

это же уже 2 категории?

(->) есть

функторы - объекты нат преобразования - морфизмы

но тут же kind другой, если я верно понимаю

а у f x -> g x разве есть инстанс category?

но в примере выше у меня тоже не F внутри G, а F (f a)

{-# LANGUAGE GeneralizedNewtypeDeriving #-} import Control.Category newtype Z a b = N (a -> b) deriving (Category)

работает

как ожидается

сейчас посмотрю про выше

ну конечно, у тебя же у F для любого параметра есть инстанс C

я думаю через via как-то можно добиться второго

так и у (->) для любых параметров есть Category

я пока не понимаю разницы

Как будет выглядеть композиция для (~>)?

instance Category (~>) where id = Nat id (.) (Nat f) (Nat g) = Nat (f . g)

так и у (->) для любых параметров есть Category

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

нет?

class Category (C :: Type -> Type -> Type)

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

распарсил, но не смог сынтерпретировать

instance Category (~>) where id = Nat id (.) (Nat f) (Nat g) = Nat (f . g)

Не получится же

class Category (C :: Type -> Type -> Type)

нет

Не получится же

в смысле, это рабочий код

Странно, как я понимаю, он не должен компилироваться. Проверю.

я просто хочу заменить бойлерплейтный инстанс на генерацию

А у тебя class Category1 (c :: (Type -> Type) -> (Type -> Type) -> Type)

Полиморфный тобишь

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

вопрос в его генерации

Странно, как я понимаю, он не должен компилироваться. Проверю.

а почему возникло такое ощущение?

newtype f ~> g = Nat { runNat :: forall x. f x -> g x } deriving Category а такое нет

а какие здесь выводятся кайнды?

можт оно тоже полимофное получается?

3.hs:6:13: error: • Cannot derive well-kinded instance of form ‘Category (Z ...)’ Class ‘Category’ expects an argument of kind ‘* -> * -> *’ • In the newtype declaration for ‘Z’

и типа он не может вывести Higher Ranked Kind?

а почему возникло такое ощущение?

Потому что у тебя rank n type, x же скрывается.

Потому что у тебя rank n type, x же скрывается.

ну да, оно любое, поэтому и композится все

можт оно тоже полимофное получается?

newtype (~>) f g = Nat { runNat :: forall (x :: Type). f x -> g x } вот тут мономорфно все

а так да, он f выводил как k -> Type

но это не помогает, все равно не выводит

3.hs:6:13: error: • Cannot derive well-kinded instance of form ‘Category (Z ...)’ Class ‘Category’ expects an argument of kind ‘* -> * -> *’ • In the newtype declaration for ‘Z’

PolyKinds полагаю нужно включить, у меня включен

• Can't make a derived instance of ‘Category Z’ (even with cunning GeneralizedNewtypeDeriving): cannot eta-reduce the representation type enough

Потому что у тебя rank n type, x же скрывается.

f :: forall x. Maybe x -> [x] f = undefined g :: forall x. [x] -> Maybe x g = undefined h = f . g

Да, я ступил.

newtype Q x f g = Q (f x -> g x) instance Category (Q x) where id = Q id Q a . Q b = Q (a.b) newtype Z f g = Z (forall x . Q x f g) deriving (Category)

даже так не хочет

newtype Q x f g = Q (f x -> g x) instance Category (Q x) where id = Q id Q a . Q b = Q (a.b) newtype Z f g = Z (forall x . Q x f g) deriving (Category)

напиши через deriving via

я не умею, и надо компилятор ставить

хотя надо попробовать

я думаю через via как-то можно добиться второго

^

а если импредикатив тайпс включить?

а если импредикатив тайпс включить?

ну будет работать, я всего раз в жизни его включал кто-то сказал, если его надо включить, значит что-то пошло не так

ааа

"{\"solution\":[1]} ^? key "solution" . _JSON :: Maybe [Int] выдает Nothing

почему?

тип точно правильный, проверил в рантайме

хм

хм.. а в консольке все ок

тип точно правильный, проверил в рантайме

" закрыт?

да

похоже ghc где-то плохо генерирует код

и я его сломал

щас соберу пример

"{\"solution\":[1]} ^? key "solution" . _JSON :: Maybe [Int] выдает Nothing

а какой смысл в _JSON после key?

key мне уже fromJSON вернёт?

хм

мне нужно из Value получить моё a

key :: AsValue t => Text -> Traversal' t Value

_JSON :: (FromJSON a, ToJSON a) => Prism' t a

λ> "{\"solution\":[1]}" ^? key "solution" . _JSON :: Maybe [Int] Just [1] ЧЯДНТ?

хм.. а в консольке все ок

^

похоже ghc где-то плохо генерирует код

^

щас соберу пример

^

ты используешь пример, который ещё не демонтстрирует проблему

сейчас соберутся линзы вне проекта, попрбую мимимальный пример кринуть

_JSON :: (FromJSON a, ToJSON a) => Prism' t a

AsJSON t =>

что ты этим хочешь сказать?

что я зануда

извините

я скопировал из библиотеки сигнатуру

эта сигнатура внутри класса

но это не решает твою проблему

опа

а почему у меня AsJSON не хочет тайпчеккер в реальном проекте

туплю

блин.. что-то не понимаю

а!

в программе "\"{solution:[1]\"" превращается в String ...

логично что key его не парсит

но почему в ghci не так?

*Main> :list v 23 v :: Value 24 v = "{\"solution\":[1]}" 25 *Main> v String "{\"solution\":[1]}"

логично что key его не парсит

String отлично парсит. почему нет?

а, String::Object?