encoding - Dhall

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Danil Berestov

Hi, I have a question about types extraction. How can I extract complex Haskell type into Dhall? I know about Encoder.declared but it defines types in-place instead of breaking into smaller types.