MK
блин, как же я хочу чтобы можно было переопределять всякие
drop и прочую списочную чепуху нормальноSize: a a a
2020 May 14
MK
вместо того чтобы квалифаить
MK
почему под это тайпкласса всё ещё нет...
MK
или там бэкпака, хз
K
{-# LANGUAGE GADTs, TypeFamilies, TypeOperators, DataKinds #-}
{-# OPTIONS_GHC -Wall #-}
import Data.Type.Equality
import Data.Type.Bool
data A
data B
data C
data Sort a where
C1 :: Sort A
C2 :: Sort B
C3 :: Sort C
L :: [a] -> Sort a
foo :: (a == A || a == C) ~ 'True => Sort a -> Int
foo C1 = 1
foo C3 = 2
foo (L _) = 3MK
{-# LANGUAGE GADTs, TypeFamilies, TypeOperators, DataKinds #-}
{-# OPTIONS_GHC -Wall #-}
import Data.Type.Equality
import Data.Type.Bool
data A
data B
data C
data Sort a where
C1 :: Sort A
C2 :: Sort B
C3 :: Sort C
L :: [a] -> Sort a
foo :: (a == A || a == C) ~ 'True => Sort a -> Int
foo C1 = 1
foo C3 = 2
foo (L _) = 3охренеть
LO
какой самый тупой QQ для многострочных байтстрингов?
MK
Зачем куку
Пиши литералы с \
Пиши литералы с \
LO
фу
LO
я решил написать внешний файл
JS
самый тупой пишется руками
JS
но лучше нетривиальные ресурсы в файл складывать
DI
какой самый тупой QQ для многострочных байтстрингов?
neat-interpolation
MK
Я кстати когда-то пытался инклудить ресурсы с помощью CPP
MK
Но там было как-то совсем странно
MK
Не получилось в общем
AV
какой самый тупой QQ для многострочных байтстрингов?
hasql :: QuasiQuoter
hasql = QuasiQuoter {
quoteExp = \s -> [| Data.Text.Encoding.encodeUtf8 $(litE (stringL (" " <> unwords (words s) <> " "))) |],
hasql = QuasiQuoter {
quoteExp = \s -> [| Data.Text.Encoding.encodeUtf8 $(litE (stringL (" " <> unwords (words s) <> " "))) |],
AV
AV
Самый тупой это просто
stringL s