MK
Если тебе нужен только один квотер, остальные можно оставить ошибкой
Size: a a a
2020 July 18
JS
Но примеров что-то совсем нисколько
какие примеры вам нужны? возьмите пример с выражением или декларацией, для типов же то же самое
DB
какие примеры вам нужны? возьмите пример с выражением или декларацией, для типов же то же самое
uri :: QuasiQuoter
uri = QuasiQuoter
{ quoteExp = \str ->
case mkURI (T.pack str) of
Nothing -> fail "The input does not contain a valid URI"
Just x -> dataToExpQ (fmap liftText . cast) x
, quotePat = error "Usage as a parttern is not supported"
, quoteType = error "Usage as a type is not supported"
, quoteDec = error "Usage as a declaration is not supported" }
DB
dataToExpQ. для типов такой функции найти не получаетсяJS
dataToExpQ. для типов такой функции найти не получаетсятак вам и не нужны данные в типах
JS
для матриц достаточно литеральные целые набрать руками
DB
Да, я так и хочу
DB
но я не знаю, как)
DB
Я хотел их в зависимости от длины списка типизировать
DB
Ну, типа
map words . lines, посчитал и типизировалDB
для матриц достаточно литеральные целые набрать руками
Или руками это прям захардкодить, ты имеешь в виду?
JS
но я не знаю, как)
напишите runQ [t| Matrix 3 4 |] в репле для начала
JS
Ну, типа
map words . lines, посчитал и типизировалздесь quoteType как поможет?
DB
напишите runQ [t| Matrix 3 4 |] в репле для начала
λ > runQ [t| Matrix 3 4 |]
AppT (AppT (ConT Ghci1.Matrix) (LitT (NumTyLit 3))) (LitT (NumTyLit 4))
AppT (AppT (ConT Ghci1.Matrix) (LitT (NumTyLit 3))) (LitT (NumTyLit 4))
DB
Блин, это то, что нужно, что ли..
DB
здесь quoteType как поможет?
Ну надо просто внутри неё посчитать размернность матрицы
JS
Ну надо просто внутри неё посчитать размернность матрицы
quoteType выдаёт только тип, а с данные придётся отбросить
DB
quoteType выдаёт только тип, а с данные придётся отбросить
Нет, подожди, если я имплементирую квотер
DB
то это 4 функции String -> BlahQ
MK
Ты не обязан имплементировать все