GapFuncWriter
writeGenerators :: [A] -> Map A String -> Handle -> IO () Source #
writeRelations :: [GrRelation] -> Map A String -> Handle -> IO () Source #
writeGap :: GR -> Handle -> Map A String -> [SmbR] -> IO () Source #
writeWord :: [SmbR] -> Handle -> Map A String -> IO () Source #