gf-core

Files

hallgren d2217c0715 PGF2: export BindType(..) and two new functions: showType & categories

showType :: Type -> String
categories :: PGF -> [Cat]

But both are implemented as quick hacks: categories is implemented by listing
all functions and taking the target categories from their types. showType uses
ppType copied & modified from PGF.Type, and needs a ppExpr, which is currently
implemented by wrapping showExpr...

TODO: need something correpsonding to PGF.categoryContext.

2015-08-20 15:55:24 +00:00

examples

some translate.probs decreased ; fine-tuning in pgf-hsbind-trans

2015-04-21 14:13:13 +00:00

PGF2

merge the states for reasoning and evaluation into a single structure

2015-07-03 11:53:52 +00:00

pgf2-bind.cabal

fix in the Haskell binding for Windows

2015-04-20 09:55:15 +00:00

PGF2.hsc

PGF2: export BindType(..) and two new functions: showType & categories

2015-08-20 15:55:24 +00:00

README

updated haskell-bind/README

2014-02-09 20:56:01 +00:00

utils.c

the callbacks in C now take the concrete syntax as a parameter

2015-05-18 14:41:33 +00:00

README

This is a binding to the new GF runtime in C.

The files are:

PGF2.hsc         -- a user API similar to Python and Java APIs
PGF2/FFI.hs      -- an internal module with FFI definitions for 
                 -- the relevant C functions

HOW TO COMPILE:

cabal install

HOW TO USE:

- Import PGF to the Haskell program that you're writing. 
  The Cabal infrastructure will make sure to tell the compiler
  where to find the relevant modules. Example:

  module Main where

  import PGF2
  import qualified Data.Map as Map

  main = do
    pgf <- readPGF "Foo.pgf"
    let Just english = Map.lookup "FooEng" (languages pgf)