Я пытаюсь сделать типы, отображаемые ghci для моих библиотек, максимально интуитивно понятными, но я сталкиваюсь с множеством трудностей при использовании более продвинутых функций типов.
Допустим, у меня есть этот код в файле:
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeOperators #-}
import GHC.TypeLits
data Container (xs::[*]) = Container
Я загружаю его в ghci, затем набираю следующую команду:
ghci> :t undefined :: Container '[String,String,String,String,String]
К сожалению, ghci дает мне довольно уродливый вид:
:: Container
((':)
*
String
((':)
* String ((':) * String ((':) * String ((':) * String ('[] *))))))
ghci удалил сахар для строк уровня типа. Есть ли способ помешать ghci сделать это и дать мне только красивую версию?
На соответствующую записку, позволяет сказать , что я создаю уровня типа Replicate
функции
data Nat1 = Zero | Succ Nat1
type family Replicate (n::Nat1) x :: [*]
type instance Replicate Zero x = '[]
type instance Replicate (Succ n) x = x ': (Replicate n x)
type LotsOfStrings = Replicate (Succ (Succ (Succ (Succ (Succ Zero))))) String
Теперь, когда я прошу ghci указать тип, использующий LotsOfStrings
:
ghci> :t undefined :: Container LotsOfStrings
ghci хорош и дает хороший результат:
undefined :: Container LotsOfStrings
Но если я попрошу Replicate
версию d,
ghci> :t undefined :: Container (Replicate (Succ (Succ (Succ (Succ (Succ Zero))))) String)
ghci заменяет семейство типов, когда он этого не сделал для синонима типа:
:: Container
((':)
*
[Char]
((':)
* [Char] ((':) * [Char] ((':) * [Char] ((':) * [Char] ('[] *))))))
Почему ghci выполняет замену для семейства типов, но не для синонима типа? Есть ли способ контролировать, когда ghci выполнит замену?