Documentation

A source from which we can retrieve implementations of foreign functions.

Get the file path of the ForeignSrc.

Load a ForeignSrc for the given Cryptol file path. The file path of the shared library that we try to load is the same as the Cryptol file path except with a platform specific extension.

Explicitly unload a ForeignSrc immediately instead of waiting for the garbage collector to do it. This can be useful if you want to immediately load the same library again to pick up new changes.

The ForeignSrc must not be used in any way after this is called, including calling ForeignImpls loaded from it.

Given the path to a Cryptol module, compute the location of the shared library we'd like to load. If FFI is supported, returns the location and whether or not it actually exists on disk. Otherwise, returns Nothing.

An implementation of a foreign function.

Load a ForeignImpl with the given name from the given ForeignSrc.

Types which can be converted into libffi arguments.

The Storable constraint is so that we can put them in arrays.

Types which can be returned from libffi.

The Storable constraint is so that we can put them in arrays.

Existential wrapper around a FFIArg.

Call a ForeignImpl with the given arguments. The type parameter decides how the return value should be converted into a Haskell value.