Re: [Haskelldb-users] Writing signatures for record-manipulating functions

[Justin B. <jgb...@gm...>]

That is really slick and it sounds like it would work.
UndecideableInstances are already allowed anyways.

On Sun, Oct 11, 2009 at 10:47 PM, Colin Paul Adams
<co...@co...> wrote:
>>>>>> "Justin" == Justin Bailey <jgb...@gm...> writes:
>
>    Justin> Colin, HaskellDB is going to give you some complicated
>    Justin> type signatures - its a side-effect of using the type
>    Justin> system to enforce things like field membership.
>
> Would it be possible to exploit context synonyms (see
> http://martijn.van.steenbergen.nl/journal/2009/10/11/context-synonyms/)
> to automatically generate more readable (and therefore writeable) signatures?
> --
> Colin Adams
> Preston Lancashire
>