Added PGF.Macros.mapConcretes

This commit is contained in:
bjorn
2008-10-20 14:51:42 +00:00
parent e5a595567a
commit aed72e7653
4 changed files with 9 additions and 7 deletions

View File

@@ -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