| /dports/devel/hs-ormolu/ormolu-0.4.0.0/src/Ormolu/Printer/Meat/Declaration/ |
| H A D | Instance.hs | 32 instTypes toIndent = inci $ do function
41 instTypes False
45 instTypes False
48 instTypes False
51 instTypes False
57 instTypes True
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/fourmolu-0.3.0.0/src/Ormolu/Printer/Meat/Declaration/ |
| H A D | Instance.hs | 31 instTypes toIndent = inci $ do function
40 instTypes False
44 instTypes False
47 instTypes False
50 instTypes False
56 instTypes True
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ormolu-0.1.4.1/src/Ormolu/Printer/Meat/Declaration/ |
| H A D | Instance.hs | 31 instTypes toIndent = inci $ do function
40 instTypes False
44 instTypes False
47 instTypes False
50 instTypes False
56 instTypes True
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/deriving-compat-0.5.10/src/Data/Eq/Deriving/ |
| H A D | Internal.hs | 121 , datatypeInstTypes = instTypes
126 <- buildTypeInstance eClass parentName ctxt instTypes variant
129 (eqDecs eClass instTypes cons)
135 eqDecs eClass instTypes cons =
138 (normalB $ makeEqForCons eClass instTypes cons)
151 , datatypeInstTypes = instTypes
158 buildTypeInstance eClass parentName ctxt instTypes variant
159 >> makeEqForCons eClass instTypes cons
164 makeEqForCons eClass instTypes cons = do
170 let lastTyVars = map varTToName $ drop (length instTypes - fromEnum eClass) instTypes
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/deriving-compat-0.5.10/src/Data/Bounded/Deriving/ |
| H A D | Internal.hs | 40 , datatypeInstTypes = instTypes
45 <- buildTypeInstance BoundedClass parentName ctxt instTypes variant
79 , datatypeInstTypes = instTypes
86 buildTypeInstance BoundedClass parentName ctxt instTypes variant
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/deriving-compat-0.5.10/src/Text/Read/Deriving/ |
| H A D | Internal.hs | 427 , datatypeInstTypes = instTypes
432 <- buildTypeInstance rClass parentName ctxt instTypes variant
435 (readPrecDecs rClass opts instTypes cons)
441 readPrecDecs rClass opts instTypes cons =
444 (normalB $ makeReadForCons rClass defineReadPrec instTypes cons)
467 , datatypeInstTypes = instTypes
475 buildTypeInstance rClass parentName ctxt instTypes variant
476 >> makeReadForCons rClass urp instTypes cons
481 makeReadForCons rClass urp instTypes cons = do
487 lastTyVars = map varTToName $ drop (length instTypes - fromEnum rClass) instTypes
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/deriving-compat-0.5.10/src/Data/Ord/Deriving/ |
| H A D | Internal.hs | 168 , datatypeInstTypes = instTypes
173 <- buildTypeInstance oClass parentName ctxt instTypes variant
176 (ordFunDecs oClass instTypes cons)
182 ordFunDecs oClass instTypes cons =
212 = makeOrdFunForCons oFun instTypes cons
227 , datatypeInstTypes = instTypes
236 buildTypeInstance oClass parentName ctxt instTypes variant >>
238 then makeOrdFunForCons oFun instTypes cons
243 caseE (makeOrdFunForCons (ordClassToCompare oClass) instTypes cons
260 makeOrdFunForCons oFun instTypes cons = do
[all …]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/deriving-compat-0.5.10/src/Text/Show/Deriving/ |
| H A D | Internal.hs | 278 , datatypeInstTypes = instTypes
283 <- buildTypeInstance sClass parentName ctxt instTypes variant
286 (showsPrecDecs sClass opts instTypes cons)
292 showsPrecDecs sClass opts instTypes cons =
295 (normalB $ makeShowForCons sClass opts instTypes cons)
308 , datatypeInstTypes = instTypes
315 buildTypeInstance sClass parentName ctxt instTypes variant
316 >> makeShowForCons sClass opts instTypes cons
321 makeShowForCons sClass opts instTypes cons = do
328 lastTyVars = map varTToName $ drop (length instTypes - fromEnum sClass) instTypes
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/deriving-compat-0.5.10/src/Data/Enum/Deriving/ |
| H A D | Internal.hs | 42 , datatypeInstTypes = instTypes
47 <- buildTypeInstance EnumClass parentName ctxt instTypes variant
108 , datatypeInstTypes = instTypes
112 (_, instanceType) <- buildTypeInstance EnumClass parentName ctxt instTypes variant
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/deriving-compat-0.5.10/src/Data/Ix/Deriving/ |
| H A D | Internal.hs | 39 , datatypeInstTypes = instTypes
44 <- buildTypeInstance IxClass parentName ctxt instTypes variant
87 , datatypeInstTypes = instTypes
91 (_, instanceType) <- buildTypeInstance IxClass parentName ctxt instTypes variant
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/deriving-compat-0.5.10/src/Data/Functor/Deriving/ |
| H A D | Internal.hs | 245 , datatypeInstTypes = instTypes
250 <- buildTypeInstance fc parentName ctxt instTypes variant
253 (functorFunDecs fc opts parentName instTypes cons)
263 functorFunDecs fc opts parentName instTypes cons =
270 (normalB $ makeFunctorFunForCons ff opts parentName instTypes cons)
281 , datatypeInstTypes = instTypes
288 buildTypeInstance (functorFunToClass ff) parentName ctxt instTypes variant
289 >> makeFunctorFunForCons ff opts parentName instTypes cons
296 makeFunctorFunForCons ff opts _parentName instTypes cons = do
304 lastTyVar = varTToName $ last instTypes
|
| /dports/math/cvc4/CVC4-1.7/src/expr/ |
| H A D | datatype.cpp | 942 std::vector< Type > instTypes; in computeCardinality() local
946 instTypes = DatatypeType(t).getParamTypes(); in computeCardinality()
951 tc = tc.substitute( paramTypes, instTypes ); in computeCardinality()
989 std::vector< Type > instTypes; in isFinite() local
993 instTypes = DatatypeType(t).getParamTypes(); in isFinite()
998 tc = tc.substitute( paramTypes, instTypes ); in isFinite()
1021 std::vector< Type > instTypes; in isInterpretedFinite() local
1025 instTypes = DatatypeType(t).getParamTypes(); in isInterpretedFinite()
1030 tc = tc.substitute( paramTypes, instTypes ); in isInterpretedFinite()
1055 std::vector< Type > instTypes; in computeGroundTerm() local
[all …]
|
| /dports/math/cvc4/CVC4-1.7/src/theory/datatypes/ |
| H A D | theory_datatypes_type_rules.h | 66 std::vector<Type> instTypes; in computeType() local
67 m.getMatches(instTypes); in computeType()
68 TypeNode range = TypeNode::fromType(dt.instantiate(instTypes)); in computeType()
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/ |
| H A D | InferenceContext.java | 218 List<Type> instTypes() { in instTypes() method in InferenceContext
233 return types.subst(t, inferencevars, instTypes()); in asInstType()
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/ |
| H A D | InferenceContext.java | 219 List<Type> instTypes() { in instTypes() method in InferenceContext
234 return types.subst(t, inferencevars, instTypes()); in asInstType()
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/ |
| H A D | InferenceContext.java | 218 List<Type> instTypes() { in instTypes() method in InferenceContext
233 return types.subst(t, inferencevars, instTypes()); in asInstType()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/ |
| H A D | InferenceContext.java | 219 List<Type> instTypes() { in instTypes() method in InferenceContext
234 return types.subst(t, inferencevars, instTypes()); in asInstType()
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/ |
| H A D | InferenceContext.java | 219 List<Type> instTypes() { in instTypes() method in InferenceContext
234 return types.subst(t, inferencevars, instTypes()); in asInstType()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/ |
| H A D | InferenceContext.java | 219 List<Type> instTypes() { in instTypes() method in InferenceContext
234 return types.subst(t, inferencevars, instTypes()); in asInstType()
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/ |
| H A D | InferenceContext.java | 218 List<Type> instTypes() { in instTypes() method in InferenceContext
233 return types.subst(t, inferencevars, instTypes()); in asInstType()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/ |
| H A D | InferenceContext.java | 219 List<Type> instTypes() { in instTypes() method in InferenceContext
234 return types.subst(t, inferencevars, instTypes()); in asInstType()
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/generics-sop-0.5.1.1/src/Generics/SOP/ |
| H A D | TH.hs | 580 , datatypeInstTypes = instTypes
583 f variant ctxt name bndrs instTypes cons
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/purescript-cst-0.4.0.0/src/Language/PureScript/CST/ |
| H A D | Types.hs | 267 , instTypes :: [Type a] function
|
| /dports/java/openjdk8/jdk8u-jdk8u312-b07.1/langtools/src/share/classes/com/sun/tools/javac/comp/ |
| H A D | Infer.java | 648 … uv.substBounds(inferenceContext.inferenceVars(), inferenceContext.instTypes(), infer.types); in CHECK_BOUNDS()
2123 List<Type> instTypes() {
2138 return types.subst(t, inferencevars, instTypes());
2331 uv.substBounds(inferenceVars(), instTypes(), types);
|
| /dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/langtools/src/share/classes/com/sun/tools/javac/comp/ |
| H A D | Infer.java | 648 … uv.substBounds(inferenceContext.inferenceVars(), inferenceContext.instTypes(), infer.types); in CHECK_BOUNDS()
2123 List<Type> instTypes() {
2138 return types.subst(t, inferencevars, instTypes());
2331 uv.substBounds(inferenceVars(), instTypes(), types);
|