[Haskell-cafe] Haddock, wrapping contexts?

MarLinn monkleyon at googlemail.com
Fri Oct 28 17:31:54 UTC 2016


> Is there any way I can convince Haddock to wrap these contexts?  Ideally I
> want to see something like
>
>      leftJoin
>          :: (Default Unpackspec columnsA columnsA,
>              Default Unpackspec columnsB columnsB,
>              Default NullMaker columnsB nullableColumnsB)	
>          => [..]

This is a bit silly and doesn't directly address the problem, but maybe 
you could re-package some of the Constraints into a type synonym? (I 
think you would need some extension like -XConstraintKinds for that)

Like this:

     type DefaultUnpack cols       = Default Unpackspec cols cols
     type DefaultNull   cols nCols = Default NullMaker  cols nCols

     leftJoin :: (DefaultUnpack columnsA, DefaultUnpack columnsB, DefaultNull columnsB nullableColumnsB)	
              => [..]


Cheers,
MarLinn


More information about the Haskell-Cafe mailing list