GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-20 16:42:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

PGF web API: add comand linearizeTable

Browse Source 
The new command linearizeTable outputs linearizations as tables containing all
variants and forms, labelled by parameters
This commit is contained in:
hallgren
2013-03-27 16:31:52 +00:00
parent b30504a8e2
commit ca09371166
1 changed files with 20 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

21
src/server/PGFService.hs
View File

@@ -63,6 +63,7 @@ pgfMain command pgf =
"complete" -> out =<< doComplete pgf # text % cat % from % limit "complete" -> out =<< doComplete pgf # text % cat % from % limit
"linearize" -> out =<< doLinearize pgf # tree % to "linearize" -> out =<< doLinearize pgf # tree % to
"linearizeAll" -> out =<< doLinearizes pgf # tree % to "linearizeAll" -> out =<< doLinearizes pgf # tree % to
"linearizeTable" -> out =<< doLinearizeTabular pgf # tree % to
"random" -> cat >>= \c -> depth >>= \dp -> limit >>= \l -> to >>= \to -> liftIO (doRandom pgf c dp l to) >>= out "random" -> cat >>= \c -> depth >>= \dp -> limit >>= \l -> to >>= \to -> liftIO (doRandom pgf c dp l to) >>= out
"generate" -> out =<< doGenerate pgf # cat % depth % limit % to "generate" -> out =<< doGenerate pgf # cat % depth % limit % to
"translate" -> out =<< doTranslate pgf # text % cat % from % to % limit "translate" -> out =<< doTranslate pgf # text % cat % from % to % limit
@@ -298,6 +299,12 @@ doLinearizes pgf tree tos = showJSON
[makeObj ["to".=to, "texts".=texts] [makeObj ["to".=to, "texts".=texts]
| (to,texts) <- linearizes' pgf tos tree] | (to,texts) <- linearizes' pgf tos tree]
doLinearizeTabular :: PGF -> PGF.Tree -> [PGF.Language] -> JSValue
doLinearizeTabular pgf tree tos = showJSON
[makeObj ["to".=to,
"table".=[makeObj ["params".=ps,"texts".=ts] | (ps,ts)<-texts]]
| (to,texts) <- linearizeTabular pgf tos tree]
doRandom :: PGF -> Maybe PGF.Type -> Maybe Int -> Maybe Int -> [PGF.Language] -> IO JSValue doRandom :: PGF -> Maybe PGF.Type -> Maybe Int -> Maybe Int -> [PGF.Language] -> IO JSValue
doRandom pgf mcat mdepth mlimit tos = doRandom pgf mcat mdepth mlimit tos =
do g <- newStdGen do g <- newStdGen
@@ -569,7 +576,7 @@ transfer lang = if "LaTeX" `isSuffixOf` show lang
then fold -- OpenMath LaTeX transfer then fold -- OpenMath LaTeX transfer
else id else id
-- all variants and their forms -- | list all variants and their forms
linearizes' :: PGF -> [PGF.Language] -> PGF.Tree -> [(PGF.Language,[String])] linearizes' :: PGF -> [PGF.Language] -> PGF.Tree -> [(PGF.Language,[String])]
linearizes' pgf tos tree = linearizes' pgf tos tree =
[(to,lins to (transfer to tree)) | to <- langs] [(to,lins to (transfer to tree)) | to <- langs]
@@ -577,6 +584,18 @@ linearizes' pgf tos tree =
langs = if null tos then PGF.languages pgf else tos langs = if null tos then PGF.languages pgf else tos
lins to = nub . concatMap (map snd) . PGF.tabularLinearizes pgf to lins to = nub . concatMap (map snd) . PGF.tabularLinearizes pgf to
-- | tabulate all variants and their forms
linearizeTabular
:: PGF -> [PGF.Language] -> PGF.Tree -> [(PGF.Language,[(String,[String])])]
linearizeTabular pgf tos tree =
[(to,lintab to (transfer to tree)) | to <- langs]
where
langs = if null tos then PGF.languages pgf else tos
lintab to t = [(p,nub [t|(p',t)<-vs,p'==p])|p<-ps]
where
ps = nub (map fst vs)
vs = concat (PGF.tabularLinearizes pgf to t)
linearizeAndBind pgf mto t = linearizeAndBind pgf mto t =
[(la, binds s,bs) | (la,s,bs) <- linearize' pgf mto t] [(la, binds s,bs) | (la,s,bs) <- linearize' pgf mto t]
where where