>> There are many libraries to write function "takes an record has Foo
>> and Bar and returns something." But writing type of the function is
>> still difficult. I can't write such types using HList or records
>> without reading documents. I think, using has, There's few effort to
>> write such typ
On Thu, May 13, 2010 at 7:16 PM, HASHIMOTO, Yusaku wrote:
> Sorry for spamming, what I wanted to write is I think `has' has better
> interface than other record packages in types.
>
> There are many libraries to write function "takes an record has Foo
> and Bar and returns something." But writing
Sorry for spamming, what I wanted to write is I think `has' has better
interface than other record packages in types.
There are many libraries to write function "takes an record has Foo
and Bar and returns something." But writing type of the function is
still difficult. I can't write such types us
On 11 May 2010 03:25, adam vogt wrote:
> On Tue, May 4, 2010 at 12:18 PM, HASHIMOTO, Yusaku wrote:
>> This library is inspired by HList[2], and interfaces are stealed from
>> data-accessors[3]. And lenses[4], fclabels[5], and records[6] devote
>> themselves to similar purposes.
>>
>> [2]: http://
On Tue, May 4, 2010 at 12:18 PM, HASHIMOTO, Yusaku wrote:
> This library is inspired by HList[2], and interfaces are stealed from
> data-accessors[3]. And lenses[4], fclabels[5], and records[6] devote
> themselves to similar purposes.
>
> [2]: http://hackage.haskell.org/package/HList
> [3]: http:/
I think I missed your point in my last post, and there are more
necessary extensions need to be enabled than I wrote before.
TypeFamilies, TypeOperator and FlexibleContexts extensions are
necessary. So you need to write this at top of the code if you don't
choose OPTIONS_GHC pragma.
> {-# LANGUAG
I uploaded new version (0.4.0.1) of this package with proper pragmas.
On 5 May 2010 02:00, HASHIMOTO, Yusaku wrote:
> Hello
>
>>> I'm pleased to announce the release of my new library, named "has",
>>> written to aim to ease pain at inconvinience of Haskell's build-in
>>> records.
>>
>> Hmm, nice
Hello
>> I'm pleased to announce the release of my new library, named "has",
>> written to aim to ease pain at inconvinience of Haskell's build-in
>> records.
>
> Hmm, nice work, looks interesting.
Thanks!
>> You can use the has in three steps (without counting installation).
>>
>> 1. Write {-#
On Tue, May 4, 2010 at 10:18 AM, HASHIMOTO, Yusaku wrote:
> Hello,
>
> I'm pleased to announce the release of my new library, named "has",
> written to aim to ease pain at inconvinience of Haskell's build-in
> records.
Hmm, nice work, looks interesting.
> With the has, You can reuse accessors ov
Hello,
I'm pleased to announce the release of my new library, named "has",
written to aim to ease pain at inconvinience of Haskell's build-in
records.
With the has, You can reuse accessors over records to write generic
function, combine records with another.
Repository is at GitHub: http://githu
10 matches
Mail list logo
