Home
last modified time | relevance | path

Searched defs:TypeVar (Results 1 – 25 of 219) sorted by relevance

123456789

/dports/sysutils/vector/lucet-d4fc14a03bdb99ac83173d27fddf1aca48412a86/wasmtime/cranelift/codegen/meta/src/cdsl/
H A Dtype_inference.rs45 original_to_own_typevar: &HashMap<&TypeVar, TypeVar>, in translate_with_map() argument
105 fn typevar_args(&self) -> Vec<&TypeVar> { in typevar_args()
181 pub fn get_equivalent(&self, tv: &TypeVar) -> TypeVar { in get_equivalent()
237 fn record_equivalent(&mut self, tv1: TypeVar, tv2: TypeVar) { in record_equivalent()
248 pub fn free_typevars(&self, var_pool: &mut VarPool) -> Vec<TypeVar> { in free_typevars()
390 fn substitute(map: &HashMap<&TypeVar, TypeVar>, external_type_var: &TypeVar) -> TypeVar { in substitute() argument
412 fn canonicalize_derivations(tv: TypeVar) -> TypeVar { in canonicalize_derivations()
453 fn constrain_fixpoint(tv1: &TypeVar, tv2: &TypeVar) { in constrain_fixpoint()
470 fn unify(tv1: &TypeVar, tv2: &TypeVar, type_env: &mut TypeEnvironment) -> Result<(), String> { in unify()
H A Dtypevar.rs39 pub(crate) struct TypeVar { struct
40 content: Rc<RefCell<TypeVarContent>>, argument
43 impl TypeVar { implementation
93 pub fn copy_from(other: &TypeVar, name: String) -> TypeVar { in copy_from()
299 impl Into<TypeVar> for &TypeVar { implementation
300 fn into(self) -> TypeVar { in into()
305 fn into(self) -> TypeVar { in into()
313 impl hash::Hash for TypeVar { implementation
327 impl PartialEq for TypeVar { implementation
340 impl Eq for TypeVar {} implementation
[all …]
H A Doperands.rs59 pub fn type_var(&self) -> Option<&TypeVar> { in type_var()
111 TypeVar(TypeVar), enumerator
160 impl Into<OperandKind> for &TypeVar { implementation
/dports/www/geckodriver/mozilla-central-e9783a644016aa9b317887076618425586730d73/testing/geckodriver/cargo-crates/cranelift-codegen-meta-0.44.0/src/cdsl/
H A Dtype_inference.rs45 original_to_own_typevar: &HashMap<&TypeVar, TypeVar>, in translate_with_map() argument
105 fn typevar_args(&self) -> Vec<&TypeVar> { in typevar_args()
178 pub fn get_equivalent(&self, tv: &TypeVar) -> TypeVar { in get_equivalent()
234 fn record_equivalent(&mut self, tv1: TypeVar, tv2: TypeVar) { in record_equivalent()
245 pub fn free_typevars(&self, var_pool: &mut VarPool) -> Vec<TypeVar> { in free_typevars()
387 fn substitute(map: &HashMap<&TypeVar, TypeVar>, external_type_var: &TypeVar) -> TypeVar { in substitute() argument
409 fn canonicalize_derivations(tv: TypeVar) -> TypeVar { in canonicalize_derivations()
450 fn constrain_fixpoint(tv1: &TypeVar, tv2: &TypeVar) { in constrain_fixpoint()
467 fn unify(tv1: &TypeVar, tv2: &TypeVar, type_env: &mut TypeEnvironment) -> Result<(), String> { in unify()
H A Dtypevar.rs40 pub struct TypeVar { struct
41 content: Rc<RefCell<TypeVarContent>>, argument
44 impl TypeVar { implementation
98 pub fn copy_from(other: &TypeVar, name: String) -> TypeVar { in copy_from()
288 impl Into<TypeVar> for &TypeVar { implementation
289 fn into(self) -> TypeVar { in into()
294 fn into(self) -> TypeVar { in into()
302 impl hash::Hash for TypeVar { implementation
316 impl PartialEq for TypeVar { implementation
329 impl Eq for TypeVar {} implementation
[all …]
H A Doperands.rs34 pub fn type_var(&self) -> Option<&TypeVar> { in type_var()
123 TypeVar(TypeVar), enumerator
150 pub fn type_var(&self) -> TypeVar { in type_var()
262 impl Into<OperandKind> for &TypeVar { implementation
/dports/www/firefox/firefox-99.0/third_party/rust/cranelift-codegen-meta/src/cdsl/
H A Dtype_inference.rs45 original_to_own_typevar: &HashMap<&TypeVar, TypeVar>, in translate_with_map() argument
105 fn typevar_args(&self) -> Vec<&TypeVar> { in typevar_args()
181 pub fn get_equivalent(&self, tv: &TypeVar) -> TypeVar { in get_equivalent()
238 fn record_equivalent(&mut self, tv1: TypeVar, tv2: TypeVar) { in record_equivalent()
249 pub fn free_typevars(&self, var_pool: &mut VarPool) -> Vec<TypeVar> { in free_typevars()
391 fn substitute(map: &HashMap<&TypeVar, TypeVar>, external_type_var: &TypeVar) -> TypeVar { in substitute() argument
413 fn canonicalize_derivations(tv: TypeVar) -> TypeVar { in canonicalize_derivations()
454 fn constrain_fixpoint(tv1: &TypeVar, tv2: &TypeVar) { in constrain_fixpoint()
471 fn unify(tv1: &TypeVar, tv2: &TypeVar, type_env: &mut TypeEnvironment) -> Result<(), String> { in unify()
H A Dtypevar.rs39 pub(crate) struct TypeVar { struct
40 content: Rc<RefCell<TypeVarContent>>, argument
43 impl TypeVar { impl
93 pub fn copy_from(other: &TypeVar, name: String) -> TypeVar { in copy_from()
320 impl Into<TypeVar> for &TypeVar { implementation
321 fn into(self) -> TypeVar { in into()
326 fn into(self) -> TypeVar { in into()
334 impl hash::Hash for TypeVar { implementation
348 impl PartialEq for TypeVar { implementation
361 impl Eq for TypeVar {} implementation
[all …]
H A Doperands.rs59 pub fn type_var(&self) -> Option<&TypeVar> { in type_var()
111 TypeVar(TypeVar), enumerator
160 impl Into<OperandKind> for &TypeVar { implementation
/dports/mail/thunderbird/thunderbird-91.8.0/third_party/rust/cranelift-codegen-meta/src/cdsl/
H A Dtype_inference.rs45 original_to_own_typevar: &HashMap<&TypeVar, TypeVar>, in translate_with_map() argument
105 fn typevar_args(&self) -> Vec<&TypeVar> { in typevar_args()
181 pub fn get_equivalent(&self, tv: &TypeVar) -> TypeVar { in get_equivalent()
238 fn record_equivalent(&mut self, tv1: TypeVar, tv2: TypeVar) { in record_equivalent()
249 pub fn free_typevars(&self, var_pool: &mut VarPool) -> Vec<TypeVar> { in free_typevars()
391 fn substitute(map: &HashMap<&TypeVar, TypeVar>, external_type_var: &TypeVar) -> TypeVar { in substitute() argument
413 fn canonicalize_derivations(tv: TypeVar) -> TypeVar { in canonicalize_derivations()
454 fn constrain_fixpoint(tv1: &TypeVar, tv2: &TypeVar) { in constrain_fixpoint()
471 fn unify(tv1: &TypeVar, tv2: &TypeVar, type_env: &mut TypeEnvironment) -> Result<(), String> { in unify()
H A Dtypevar.rs39 pub(crate) struct TypeVar { struct
40 content: Rc<RefCell<TypeVarContent>>, argument
43 impl TypeVar { implementation
93 pub fn copy_from(other: &TypeVar, name: String) -> TypeVar { in copy_from()
320 impl Into<TypeVar> for &TypeVar { implementation
321 fn into(self) -> TypeVar { in into()
326 fn into(self) -> TypeVar { in into()
334 impl hash::Hash for TypeVar { implementation
348 impl PartialEq for TypeVar { implementation
361 impl Eq for TypeVar {} implementation
[all …]
H A Doperands.rs59 pub fn type_var(&self) -> Option<&TypeVar> { in type_var()
111 TypeVar(TypeVar), enumerator
160 impl Into<OperandKind> for &TypeVar { implementation
/dports/lang/rust/rustc-1.58.1-src/vendor/cranelift-codegen-meta/src/cdsl/
H A Dtype_inference.rs45 original_to_own_typevar: &HashMap<&TypeVar, TypeVar>, in translate_with_map() argument
105 fn typevar_args(&self) -> Vec<&TypeVar> { in typevar_args()
181 pub fn get_equivalent(&self, tv: &TypeVar) -> TypeVar { in get_equivalent()
238 fn record_equivalent(&mut self, tv1: TypeVar, tv2: TypeVar) { in record_equivalent()
249 pub fn free_typevars(&self, var_pool: &mut VarPool) -> Vec<TypeVar> { in free_typevars()
391 fn substitute(map: &HashMap<&TypeVar, TypeVar>, external_type_var: &TypeVar) -> TypeVar { in substitute() argument
413 fn canonicalize_derivations(tv: TypeVar) -> TypeVar { in canonicalize_derivations()
454 fn constrain_fixpoint(tv1: &TypeVar, tv2: &TypeVar) { in constrain_fixpoint()
471 fn unify(tv1: &TypeVar, tv2: &TypeVar, type_env: &mut TypeEnvironment) -> Result<(), String> { in unify()
H A Dtypevar.rs39 pub(crate) struct TypeVar { struct
40 content: Rc<RefCell<TypeVarContent>>, argument
43 impl TypeVar { impl
93 pub fn copy_from(other: &TypeVar, name: String) -> TypeVar { in copy_from()
320 impl Into<TypeVar> for &TypeVar { implementation
321 fn into(self) -> TypeVar { in into()
326 fn into(self) -> TypeVar { in into()
334 impl hash::Hash for TypeVar { implementation
348 impl PartialEq for TypeVar { implementation
361 impl Eq for TypeVar {} implementation
[all …]
H A Doperands.rs59 pub fn type_var(&self) -> Option<&TypeVar> { in type_var()
111 TypeVar(TypeVar), enumerator
160 impl Into<OperandKind> for &TypeVar { implementation
/dports/www/firefox-esr/firefox-91.8.0/third_party/rust/cranelift-codegen-meta/src/cdsl/
H A Dtype_inference.rs45 original_to_own_typevar: &HashMap<&TypeVar, TypeVar>, in translate_with_map() argument
105 fn typevar_args(&self) -> Vec<&TypeVar> { in typevar_args()
181 pub fn get_equivalent(&self, tv: &TypeVar) -> TypeVar { in get_equivalent()
238 fn record_equivalent(&mut self, tv1: TypeVar, tv2: TypeVar) { in record_equivalent()
249 pub fn free_typevars(&self, var_pool: &mut VarPool) -> Vec<TypeVar> { in free_typevars()
391 fn substitute(map: &HashMap<&TypeVar, TypeVar>, external_type_var: &TypeVar) -> TypeVar { in substitute() argument
413 fn canonicalize_derivations(tv: TypeVar) -> TypeVar { in canonicalize_derivations()
454 fn constrain_fixpoint(tv1: &TypeVar, tv2: &TypeVar) { in constrain_fixpoint()
471 fn unify(tv1: &TypeVar, tv2: &TypeVar, type_env: &mut TypeEnvironment) -> Result<(), String> { in unify()
H A Dtypevar.rs39 pub(crate) struct TypeVar { struct
40 content: Rc<RefCell<TypeVarContent>>, argument
43 impl TypeVar { impl
93 pub fn copy_from(other: &TypeVar, name: String) -> TypeVar { in copy_from()
320 impl Into<TypeVar> for &TypeVar { implementation
321 fn into(self) -> TypeVar { in into()
326 fn into(self) -> TypeVar { in into()
334 impl hash::Hash for TypeVar { implementation
348 impl PartialEq for TypeVar { implementation
361 impl Eq for TypeVar {} implementation
[all …]
H A Doperands.rs59 pub fn type_var(&self) -> Option<&TypeVar> { in type_var()
111 TypeVar(TypeVar), enumerator
160 impl Into<OperandKind> for &TypeVar { implementation
/dports/lang/spidermonkey78/firefox-78.9.0/third_party/rust/cranelift-codegen-meta/src/cdsl/
H A Dtype_inference.rs45 original_to_own_typevar: &HashMap<&TypeVar, TypeVar>, in translate_with_map() argument
105 fn typevar_args(&self) -> Vec<&TypeVar> { in typevar_args()
181 pub fn get_equivalent(&self, tv: &TypeVar) -> TypeVar { in get_equivalent()
237 fn record_equivalent(&mut self, tv1: TypeVar, tv2: TypeVar) { in record_equivalent()
248 pub fn free_typevars(&self, var_pool: &mut VarPool) -> Vec<TypeVar> { in free_typevars()
390 fn substitute(map: &HashMap<&TypeVar, TypeVar>, external_type_var: &TypeVar) -> TypeVar { in substitute() argument
412 fn canonicalize_derivations(tv: TypeVar) -> TypeVar { in canonicalize_derivations()
453 fn constrain_fixpoint(tv1: &TypeVar, tv2: &TypeVar) { in constrain_fixpoint()
470 fn unify(tv1: &TypeVar, tv2: &TypeVar, type_env: &mut TypeEnvironment) -> Result<(), String> { in unify()
H A Dtypevar.rs39 pub(crate) struct TypeVar { struct
40 content: Rc<RefCell<TypeVarContent>>, argument
43 impl TypeVar { impl
93 pub fn copy_from(other: &TypeVar, name: String) -> TypeVar { in copy_from()
299 impl Into<TypeVar> for &TypeVar { implementation
300 fn into(self) -> TypeVar { in into()
305 fn into(self) -> TypeVar { in into()
313 impl hash::Hash for TypeVar { implementation
327 impl PartialEq for TypeVar { implementation
340 impl Eq for TypeVar {} implementation
[all …]
H A Doperands.rs59 pub fn type_var(&self) -> Option<&TypeVar> { in type_var()
111 TypeVar(TypeVar), enumerator
160 impl Into<OperandKind> for &TypeVar { implementation
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/mlir/python/mlir/dialects/linalg/opdsl/lang/
H A Dtypes.py38 class TypeVar: class
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/mlir/python/mlir/dialects/linalg/opdsl/lang/
H A Dtypes.py38 class TypeVar: class
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/mlir/python/mlir/dialects/linalg/opdsl/lang/
H A Dtypes.py38 class TypeVar: class
/dports/devel/llvm13/llvm-project-13.0.1.src/mlir/python/mlir/dialects/linalg/opdsl/lang/
H A Dtypes.py38 class TypeVar: class

123456789