Poscat

Add a SumEncoding option that's somewhere between a TaggedObject and an UntaggedValue

1

Sometimes the tag and the content of the JSON you're processing are on the same level where both `TaggedObject` and `UntaggedValue` will not suffice. I propose adding another `SumEncoding` option...

Cannot build attoparsec

1

Currently, attoparsec cannot be built using cabal. Build output: ``` Resolving dependencies... cabal: Could not resolve dependencies: [__0] trying: attoparsec-0.13.2.4 (user goal) [__1] trying: base-4.14.1.0/installed-4.14.1.0 (dependency of attoparsec) [__2] trying:...

Enums are CInts in memory so this should work for all types ``` instance Storable SomeType where sizeOf _ = 4 alignment _ = 4 peek ptr = do val

Replace Proxy with TypeApplications

5

#390 there was a proposal 4 years ago on removing Proxy but was rejected . I think the extension TypeApplications is stable enough now so can we reconsider the proposal?

Motivation: We sometimes care about what a type synonym instance declaration normalizes to, instead of its exact definition, this is especially true for associated type synonym instances of derived typeclass...

Render "*" (Star) as "Type"

3

With `StarIsType` enabled, `*` is effectively equivalent to `Type`. Is it possible to render all stars as `Type`s in haddock as well?

newline inserted between pattern definition and complete pragma

2

**Describe the bug** ```haskell pattern A :: Int -> Int pattern A a = a {-# COMPLETE A #-} ``` gets formatted into ```haskell pattern A :: Int -> Int...

Expose PartM's constructer

2

Are there any reasons why PartM's constructer is not exposed? I find all of the existing functions for constructing parts not suitable for my use case.

fix: allow dns record types to be specified without the corresponding value when listing dns records

2

This pull request fixes the problem described in issue #145 where record types must be specified together with a value of that type by adding a type `DnsRecordTypeWithOptionalContent` (I'm not...