summaryrefslogtreecommitdiff
path: root/src/runtime/haskell-bind/README.md
blob: 1cb68df657a67b77e2437f8e3fb441b12b8736b6 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
# PGF2

This is a Haskell binding to the PGF runtime written in C.

The exposed modules are:

- `PGF2`: a user API similar to Python and Java APIs
- `PGF2.Internal`: an internal module with FFI definitions for the relevant C functions

## How to compile

**Important:** You must have the C runtime already installed and available on your system.
See <https://github.com/GrammaticalFramework/gf-core/blob/master/src/runtime/c/INSTALL>

Once the runtine is installed, you can install the library to your global Cabal installation:

```
cabal install pgf2 --extra-lib-dirs=/usr/local/lib
```

or add it to your `stack.yaml` file:

```yaml
extra-deps:
  - pgf2
extra-lib-dirs:
  - /usr/local/lib
```

## How to use

Simply import `PGF2` in your Haskell program.
The Cabal infrastructure will make sure to tell the compiler where to find the relevant modules.

## Example

```haskell
module Main where

import PGF2
import qualified Data.Map as Map

main = do
  pgf <- readPGF "App12.pgf"
  let Just eng = Map.lookup "AppEng" (languages pgf)
  
  -- Parsing
  let res = parse eng (startCat pgf) "this is a small theatre"
  let ParseOk ((tree,prob):rest) = res
  print tree
  
  -- Linearisation
  let Just expr = readExpr "AdjCN (PositA red_A) (UseN theatre_N)"
  let s = linearize eng expr
  print s
```