[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