GP
Блин стремно задавать вопрос мне в прошлый раз никто не ответил 😄
Size: a a a
2020 April 18
GP
Как это происходит?
GP
Как строка мапится с реальным конструктоом
VY
в смысле как это внутри работает?
VY
в 2 словах — дженерики
VY
точнее в 1 слове)
VY
можешь попробовать посмотреть модуль Duplex.Generic
Вся магия —
Вся магия —
Data.Generic.RepVY
ну ещё символы и прокси
ЗП
можно применить трюк, чтобы получить репрезентацию на метаинформацию своего типа, что имеет инстанс Generic
ЗП
> :t G.from :: forall a. Maybe a -> _
forall a. Maybe a -> Sum (Constructor "Nothing" NoArguments) (Constructor "Just" (Argument a0))
ЗП
Кстати тут можно увидеть тот же трюк, что и когда объявляешь инстанс для Generic через дерайвинг
ЗП
вайлдкард сам выведет представление, что мы хотим получить
ЗП
кстати с Newtype тоже работает)
> :t N.unwrap :: Creature -> _
Creature
-> { creatureName :: String
, creatureSize :: Number
}
ЗП
@Gleber1 ну наверное через экзистенциальный тип, вот только элиминатор для него должен возвращать один и тот же тип
GP
А удалил вопрос, чтот застремался) Это ты про onChange в инпуте и name="some[0].prop" с известным типом?
ЗП
А удалил вопрос, чтот застремался) Это ты про onChange в инпуте и name="some[0].prop" с известным типом?
ну тогда тебе надо делать ограничение на экзистенциальную переменную внутри типа и чтобы было ограничение типа HasSomeProp
GP
В общем буду играться с генерик, у меня еще и с джсон схемой были кое какие нужды ттакие
2020 April 19
(
singleton :: Char -> String
spago repl> singleton 'a'
=> Could not match type Char with type CodePoint
why?
spago repl> singleton 'a'
=> Could not match type Char with type CodePoint
why?
(
разобрался нужно этот import Data.String (singleton) импортить отсюда: import Data.String.CodeUnits (singleton)
(
с импортами в пурсе тяжко :(