Searched refs:optUseUnicode (Results 1 – 4 of 4) sorted by relevance
130 , optUseUnicode :: UnicodeOrAscii function261 , optUseUnicode = UnicodeOk function375 , (B . (/= UnicodeOk) . optUseUnicode, "--no-unicode")547 return $ o { optUseUnicode = AsciiOnly }
24 import Agda.Interaction.Options (optUseUnicode, UnicodeOrAscii(..))63 glyphMode <- optUseUnicode <$> M.pragmaOptions
403 glyphMode <- optUseUnicode <$> pragmaOptions690 glyphMode <- optUseUnicode <$> pragmaOptions
792 unicode <- getsTC $ optUseUnicode . getPragmaOptions