| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/ |
| H A D | RecordPatterns.hs | 709 translatePattern p@(ConP c ci ps) function
719 translatePattern p@(DefP o q ps) = do function
722 translatePattern p@VarP{} = removeTree (Leaf p) function
723 translatePattern p@DotP{} = removeTree (Leaf p) function
724 translatePattern p@LitP{} = return (p, [], []) function
725 translatePattern p@ProjP{}= return (p, [], []) function
726 translatePattern p@IApplyP{}= return (p, [], []) function
773 recordTree p@DefP{} = return $ Left $ translatePattern p
776 recordTree p@LitP{} = return $ Left $ translatePattern p
777 recordTree p@ProjP{}= return $ Left $ translatePattern p
[all …]
|
| /dports/www/firefox-esr/firefox-91.8.0/intl/icu/source/i18n/unicode/ |
| H A D | smpdtfmt.h | 1466 static void translatePattern(const UnicodeString& originalPattern,
|
| /dports/textproc/R-cran-stringi/stringi/src/icu69/unicode/ |
| H A D | smpdtfmt.h | 1466 static void translatePattern(const UnicodeString& originalPattern,
|
| /dports/lang/spidermonkey78/firefox-78.9.0/intl/icu/source/i18n/unicode/ |
| H A D | smpdtfmt.h | 1466 static void translatePattern(const UnicodeString& originalPattern,
|
| /dports/textproc/R-cran-stringi/stringi/src/icu55/unicode/ |
| H A D | smpdtfmt.h | 1434 static void translatePattern(const UnicodeString& originalPattern,
|
| /dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/icu/source/i18n/unicode/ |
| H A D | smpdtfmt.h | 1465 static void translatePattern(const UnicodeString& originalPattern,
|
| /dports/mail/thunderbird/thunderbird-91.8.0/intl/icu/source/i18n/unicode/ |
| H A D | smpdtfmt.h | 1466 static void translatePattern(const UnicodeString& originalPattern,
|
| /dports/lang/v8/v8-9.6.180.12/third_party/icu/source/i18n/unicode/ |
| H A D | smpdtfmt.h | 1466 static void translatePattern(const UnicodeString& originalPattern,
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/icu/source/i18n/unicode/ |
| H A D | smpdtfmt.h | 1466 static void translatePattern(const UnicodeString& originalPattern,
|
| /dports/www/firefox-legacy/firefox-52.8.0esr/intl/icu/source/i18n/unicode/ |
| H A D | smpdtfmt.h | 1448 static void translatePattern(const UnicodeString& originalPattern,
|
| /dports/lang/spidermonkey60/firefox-60.9.0/intl/icu/source/i18n/unicode/ |
| H A D | smpdtfmt.h | 1458 static void translatePattern(const UnicodeString& originalPattern,
|
| /dports/www/node10/node-v10.24.1/deps/icu-small/source/i18n/unicode/ |
| H A D | smpdtfmt.h | 1463 static void translatePattern(const UnicodeString& originalPattern,
|
| /dports/databases/mongodb36/mongodb-src-r3.6.23/src/third_party/icu4c-57.1/source/i18n/unicode/ |
| H A D | smpdtfmt.h | 1440 static void translatePattern(const UnicodeString& originalPattern,
|
| /dports/devel/icu/icu/source/i18n/unicode/ |
| H A D | smpdtfmt.h | 1466 static void translatePattern(const UnicodeString& originalPattern,
|
| /dports/devel/icu-lx/icu/source/i18n/unicode/ |
| H A D | smpdtfmt.h | 1466 static void translatePattern(const UnicodeString& originalPattern,
|
| /dports/www/firefox/firefox-99.0/intl/icu/source/i18n/unicode/ |
| H A D | smpdtfmt.h | 1466 static void translatePattern(const UnicodeString& originalPattern,
|
| /dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/java/text/ |
| H A D | SimpleDateFormat.java | 2202 private String translatePattern(String pattern, String from, String to) { in translatePattern() method in SimpleDateFormat
2254 return translatePattern(pattern, in toLocalizedPattern()
2285 String p = translatePattern(pattern, in applyLocalizedPattern()
|
| /dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/java/text/ |
| H A D | SimpleDateFormat.java | 2202 private String translatePattern(String pattern, String from, String to) { in translatePattern() method in SimpleDateFormat
2254 return translatePattern(pattern, in toLocalizedPattern()
2285 String p = translatePattern(pattern, in applyLocalizedPattern()
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/java.base/share/classes/java/text/ |
| H A D | SimpleDateFormat.java | 2280 private String translatePattern(String pattern, String from, String to) { in translatePattern() method in SimpleDateFormat
2332 return translatePattern(pattern, in toLocalizedPattern()
2363 String p = translatePattern(pattern, in applyLocalizedPattern()
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/java.base/share/classes/java/text/ |
| H A D | SimpleDateFormat.java | 2280 private String translatePattern(String pattern, String from, String to) { in translatePattern() method in SimpleDateFormat
2332 return translatePattern(pattern, in toLocalizedPattern()
2363 String p = translatePattern(pattern, in applyLocalizedPattern()
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/java.base/share/classes/java/text/ |
| H A D | SimpleDateFormat.java | 2281 private String translatePattern(String pattern, String from, String to) { in translatePattern() method in SimpleDateFormat
2333 return translatePattern(pattern, in toLocalizedPattern()
2364 String p = translatePattern(pattern, in applyLocalizedPattern()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/java.base/share/classes/java/text/ |
| H A D | SimpleDateFormat.java | 2284 private String translatePattern(String pattern, String from, String to) { in translatePattern() method in SimpleDateFormat
2336 return translatePattern(pattern, in toLocalizedPattern()
2367 String p = translatePattern(pattern, in applyLocalizedPattern()
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/java.base/share/classes/java/text/ |
| H A D | SimpleDateFormat.java | 2280 private String translatePattern(String pattern, String from, String to) { in translatePattern() method in SimpleDateFormat
2332 return translatePattern(pattern, in toLocalizedPattern()
2363 String p = translatePattern(pattern, in applyLocalizedPattern()
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/java.base/share/classes/java/text/ |
| H A D | SimpleDateFormat.java | 2280 private String translatePattern(String pattern, String from, String to) { in translatePattern() method in SimpleDateFormat
2332 return translatePattern(pattern, in toLocalizedPattern()
2363 String p = translatePattern(pattern, in applyLocalizedPattern()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/java.base/share/classes/java/text/ |
| H A D | SimpleDateFormat.java | 2281 private String translatePattern(String pattern, String from, String to) { in translatePattern() method in SimpleDateFormat
2333 return translatePattern(pattern, in toLocalizedPattern()
2364 String p = translatePattern(pattern, in applyLocalizedPattern()
|