diff options
| author | bjorn <bjorn@bringert.net> | 2008-10-20 14:51:42 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-10-20 14:51:42 +0000 |
| commit | 6b8c9dd4c9a1e28ef22a1c1797143ffd8febef5d (patch) | |
| tree | 666ae8cd66ce5e36e2754880fc00fdfa0985f474 /src/PGF | |
| parent | 05343e78a93bc7a248cab402fc1f0c92450f2a91 (diff) | |
Added PGF.Macros.mapConcretes
Diffstat (limited to 'src/PGF')
| -rw-r--r-- | src/PGF/Macros.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/PGF/Macros.hs b/src/PGF/Macros.hs index d8e203727..22b96df92 100644 --- a/src/PGF/Macros.hs +++ b/src/PGF/Macros.hs @@ -10,6 +10,9 @@ import Data.List -- operations for manipulating PGF grammars and objects +mapConcretes :: (Concr -> Concr) -> PGF -> PGF +mapConcretes f pgf = pgf { concretes = Map.map f (concretes pgf) } + lookLin :: PGF -> CId -> CId -> Term lookLin pgf lang fun = lookMap tm0 fun $ lins $ lookMap (error "no lang") lang $ concretes pgf |