| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/ |
| H A D | Internal.hs | 776 dontCare :: Term -> Term
777 dontCare v = function
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Rules/ |
| H A D | Def.hs | 177 Irrelevant -> dontCare
749 Irrelevant -> dontCare <$> body
|
| H A D | Term.hs | 1172 return $ fmap dontCare . applyModalityToContext mod
1238 (dontCare <$> do applyRelevanceToContext Irrelevant $ checkExpr' cmp e t)
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Rewriting/ |
| H A D | NonLinMatch.hs | 398 Just (Irrelevant, v) -> Just $ dontCare v
|
| /dports/net-mgmt/observium/observium/mibs/avaya/ |
| H A D | POLICY-MIB | 1049 dontCare(2)
1056 DEFVAL { dontCare }
1506 dontCare(2)
1513 DEFVAL { dontCare }
2362 dontCare(99)
2368 When the priority is dontCare, the result maybe forwardNoChange."
2369 DEFVAL { dontCare }
2884 dontCare(2),
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/ |
| H A D | Substitute.hs | 89 DontCare mv -> dontCare $ mv `app` es -- Andreas, 2011-10-02
187 | Irrelevant <- getRelevance ai = dontCare v
803 DontCare mv -> dontCare $ sub @t mv
|
| H A D | Reduce.hs | 923 DontCare v -> dontCare <$> simplify' v
1323 DontCare v -> dontCare <$> instantiateFull' v
|
| /dports/net-mgmt/observium/observium/mibs/cisco/ |
| H A D | BASIS-GENERIC-MIB | 477 dontCare (3),
495 dontCare (3) : severity is not applicable
|
| H A D | ONS15501-MIB | 260 dontCare(1),
|
| /dports/net-mgmt/netdisco-mibs/netdisco-mibs-4.010/cisco/ |
| H A D | BASIS-GENERIC-MIB.my | 477 dontCare (3),
495 dontCare (3) : severity is not applicable
|
| H A D | ONS15501-MIB.my | 260 dontCare(1),
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/MetaVars/ |
| H A D | Occurs.hs | 466 DontCare v -> dontCare <$> do underRelevance Irrelevant $ occurs v
|
| /dports/lang/spidermonkey60/firefox-60.9.0/layout/style/ |
| H A D | StyleAnimationValue.cpp | 1340 RuleNodeCacheConditions dontCare; in ComputeMismatchedTransfromListDistance() local
1345 aList1, aStyleContext, aStyleContext->PresContext(), dontCare, in ComputeMismatchedTransfromListDistance()
1348 aList2, aStyleContext, aStyleContext->PresContext(), dontCare, in ComputeMismatchedTransfromListDistance()
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Auto/ |
| H A D | Convert.hs | 397 I.DontCare _ -> return $ NotM dontCare
|
| /dports/misc/usd/USD-21.11/pxr/imaging/hd/ |
| H A D | dataSourceLegacyPrim.cpp | 1585 cullStyleToken = HdCullStyleTokens->dontCare; in Get()
|
| /dports/www/firefox-legacy/firefox-52.8.0esr/layout/base/ |
| H A D | nsDisplayList.cpp | 4187 nscoord dontCare[8]; in ComputeInvalidationRegion() local
4188 bool hasBorderRadius = mFrame->GetBorderRadii(dontCare); in ComputeInvalidationRegion()
|
| /dports/www/firefox/firefox-99.0/layout/painting/ |
| H A D | nsDisplayList.cpp | 4438 nscoord dontCare[8]; in ComputeInvalidationRegion() local
4439 bool hasBorderRadius = mFrame->GetBorderRadii(dontCare); in ComputeInvalidationRegion()
|
| /dports/www/firefox-esr/firefox-91.8.0/layout/painting/ |
| H A D | nsDisplayList.cpp | 5364 nscoord dontCare[8]; in ComputeInvalidationRegion() local
5365 bool hasBorderRadius = mFrame->GetBorderRadii(dontCare); in ComputeInvalidationRegion()
|
| /dports/mail/thunderbird/thunderbird-91.8.0/layout/painting/ |
| H A D | nsDisplayList.cpp | 5364 nscoord dontCare[8]; in ComputeInvalidationRegion() local
5365 bool hasBorderRadius = mFrame->GetBorderRadii(dontCare); in ComputeInvalidationRegion()
|
| /dports/lang/spidermonkey60/firefox-60.9.0/layout/painting/ |
| H A D | nsDisplayList.cpp | 5631 nscoord dontCare[8]; in ComputeInvalidationRegion() local
5632 bool hasBorderRadius = mFrame->GetBorderRadii(dontCare); in ComputeInvalidationRegion()
|
| /dports/lang/spidermonkey78/firefox-78.9.0/layout/painting/ |
| H A D | nsDisplayList.cpp | 5256 nscoord dontCare[8]; in ComputeInvalidationRegion() local
5257 bool hasBorderRadius = mFrame->GetBorderRadii(dontCare); in ComputeInvalidationRegion()
|
| /dports/net-mgmt/librenms/librenms-21.5.1/mibs/audiocodes/ |
| H A D | AcGateway | 13065 dontCare(0)
13086 dontCare(0)
13172 dontCare(0)
13197 dontCare(0)
|