diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2018-11-27 21:09:35 +0100 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2018-11-27 21:09:35 +0100 |
| commit | abf3911b70d6850a6daf6507f6da209b8e95da6a (patch) | |
| tree | b3347340b41b50b95fab50b80d6257875964683b /src/runtime/haskell-bind/PGF2 | |
| parent | 735f5ff76f79ca53a1b2ed8cc0e13a75c9a01f5d (diff) | |
expose PGF and Concr for FFI
Diffstat (limited to 'src/runtime/haskell-bind/PGF2')
| -rw-r--r-- | src/runtime/haskell-bind/PGF2/Internal.hsc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/runtime/haskell-bind/PGF2/Internal.hsc b/src/runtime/haskell-bind/PGF2/Internal.hsc index c4aef323a..6582a9ada 100644 --- a/src/runtime/haskell-bind/PGF2/Internal.hsc +++ b/src/runtime/haskell-bind/PGF2/Internal.hsc @@ -12,6 +12,9 @@ module PGF2.Internal(-- * Access the internal structures build, eAbs, eApp, eMeta, eFun, eVar, eTyped, eImplArg, dTyp, hypo, AbstrInfo, newAbstr, ConcrInfo, newConcr, newPGF, + -- * Expose PGF and Concr for FFI with C + PGF(..), Concr(..), + -- * Write an in-memory PGF to a file writePGF ) where |