[prev in list] [next in list] [prev in thread] [next in thread] 

List:       haskell-cafe
Subject:    Re: [Haskell-cafe] generics-sop : deep flattening of nested algebraic values ?
From:       Marco Zocca <zocca.marco () gmail ! com>
Date:       2019-01-27 6:45:33
Message-ID: CAJYWnWWhxF-99J3gJeO6PVUq17PDKnrzer0EKa5RKFx6B9suPQ () mail ! gmail ! com
[Download RAW message or body]

Ah, thank you for the reference! However I prefer to stay within
generics-sop if possible. I am studying the implementations of `geq`
and `gshow` in `basic-sop`, since they look like they're doing what I
want.

> http://hackage.haskell.org/package/generics-mrsop comes with both a deep and a \
> shallow encoding of datatypes. 
> The paper is here: https://doi.org/10.1145/3240719.3241786
> 
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.


[prev in list] [next in list] [prev in thread] [next in thread]