Copyright | Aleksandr Krupenkin 2016-2021 |
---|---|
License | Apache-2.0 |
Maintainer | mail@akru.me |
Stability | experimental |
Portability | unportable |
Safe Haskell | None |
Language | Haskell2010 |
This module defines generic codec instances for data structures (including tuples) and enums (tagged-unions in Rust).
Orphan instances
(Decode a, GDecode (NP I as)) => GDecode (NP I (a ': as)) Source # | |
GDecode (NP I ('[] :: [Type])) Source # | |
GDecode (NP f as) => GDecode (SOP f '[as]) Source # | |
(GDecode (NP f xs), GDecode (NP f ys), All (Compose GDecode (NP f)) xss, EnumParser xss) => GDecode (SOP f (xs ': (ys ': xss))) Source # | |
(Encode a, GEncode (NP I as)) => GEncode (NP I (a ': as)) Source # | |
GEncode (NP I ('[] :: [Type])) Source # | |
GEncode (NP f xs) => GEncode (SOP f '[xs]) Source # | |
(GEncode (NP f xs), GEncode (NP f ys), All (Compose GEncode (NP f)) xss) => GEncode (SOP f (xs ': (ys ': xss))) Source # | |