[Agda] Agda FFI bindings

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Fri Sep 17 12:11:52 CEST 2010


On 2010-09-16 20:40, Alan Jeffrey wrote:
> Before I start uploading code, I'd like to ask a bit about coding style.
> The style I've been using so far has been to define two modules:
>
> - Foreign.Haskell.Foo: contains just the raw FFI bindings
> - Foo: links against Foreign.Haskell.Foo, and provides the Agda layer.
>
> Is this good practice?

For what it's worth, in the standard library I use the following
modules:

* IO.Primitive:    Raw FFI bindings.
* IO:              Agda layer.
* Foreign.Haskell: Reusable types only intended to be used to
                    interoperate with Haskell.

--
/NAD


More information about the Agda mailing list