p
Size: a a a
2019 May 21
p
Хотя это ничем не отличается от "если бы мы просто использовали UUID как ключ"
AK
Хотя это ничем не отличается от "если бы мы просто использовали UUID как ключ"
Да, вместо
HasUUID можно Data.Newtype.unwrap использовать. И lookup ( liftEntity $ ToDir "file1" ) mymap и lookup ( liftEntity $ ToFile "file1" ) mymap не проверяют "ограничение" ключа — оба сработают несмотря на то, в мапе лежит типа файл (если не проверять его тип отдельно).p
Да, вместо
HasUUID можно Data.Newtype.unwrap использовать. И lookup ( liftEntity $ ToDir "file1" ) mymap и lookup ( liftEntity $ ToFile "file1" ) mymap не проверяют "ограничение" ключа — оба сработают несмотря на то, в мапе лежит типа файл (если не проверять его тип отдельно).AK
О, теперь интересно, спасибо!
p
Можно объединить в один класс
p
То что размазано по HasUUID и по FsTag
p
О, теперь интересно, спасибо!
VY
мб можно попробовать ещё определить свой кайнд и типы
foreign import kind FSTagне знаю что из этого выйдет, мб ничего
foreign import data File ∷ FSTag
foreign import data Dir ∷ FSTag
foreign import data Symlink ∷ FSTag
newtype UUID (tag ∷ FSTag) = UUID String
AK
Ещё забавно, что я пропустил, что можно просто писать
derive instance теперь, раньше было больше извращенийp
Ещё забавно, что я пропустил, что можно просто писать
derive instance теперь, раньше было больше извращений;)
p
Бесят именованые инстансы пурсы. Сложно придумывать им имена, и получается мясо в итоге 😞
p
кажется,
Common это как раз версия newtype Leibniz a b = Leibniz (forall f. f a -> f b) из статьи.Вовсе нет :)
VY
а может не фигню, не знаю, короче можно вот так ещё, наверное http://ix.io/1JF8
т.е конструкторы эти все (
т.е конструкторы эти все (
file, dir) экспортируются, а конструктор UUID нетAK
Вовсе нет :)
Да, пригляделся, был не прав
AK
а может не фигню, не знаю, короче можно вот так ещё, наверное http://ix.io/1JF8
т.е конструкторы эти все (
т.е конструкторы эти все (
file, dir) экспортируются, а конструктор UUID нетв твоих вариантах ключ в
Map не "тэгирован", как я понимаюVY
можно тэг перенести в ключ, если хочется
sec
type Value = Int...
data Key = Key Item String
+ Eq, Ord для Key
type Storage = Map Key Item
sec
AK
да, надо подумать, тоже присмотрюсь, с
kind решение может красивее оказатьсяAK
спасибо вам, есть выбор)
VY
http://ix.io/1JFh, с тэгом в ключе