Safe Haskell | None |
---|---|
Language | Haskell2010 |
Orphan instances
(KnownSymbol s, FromDhall (Record xs), FromDhall x) => FromDhall (Record ((s :-> x) ': xs)) Source # | |
FromDhall (Record ('[] :: [Type])) Source # | |
autoWith :: InputNormalizer -> Decoder (Record '[]) # | |
(KnownSymbol s, ToDhall (Record xs), ToDhall x) => ToDhall (Record ((s :-> x) ': xs)) Source # | |
injectWith :: InputNormalizer -> Encoder (Record ((s :-> x) ': xs)) # | |
ToDhall (Record ('[] :: [Type])) Source # | |
injectWith :: InputNormalizer -> Encoder (Record '[]) # |