ребят, может кто сталкивался, proper имеет такую полезную фичу, как замена proper:type() (генераторов) на сгенерированные значения обходя всё дерево в глубину. Получается, что можно писать
foo() ->
[{foo, integer()}].
вместо
foo() ->
?LET(Integer, integer(), [{foo, Integer}]).
Но, вот, беда, он не умеет обходить мапы 🙁
Т.е.
foo() ->
#{foo => integer()}.
не работает.
У меня с наскоку не получилось научить его это делать, больно там мудрёная логика внутри, нужно сидеть разбираться. Может кто уже это сделал и просто не поапстримил ещё?
@define_null ты же вроде им пользуешься
