Home
last modified time | relevance | path

Searched defs:DataDeclaration (Results 1 – 4 of 4) sorted by relevance

/dports/lang/rust/rustc-1.58.1-src/vendor/cranelift-module/src/
H A Dmodule.rs256 pub struct DataDeclaration { struct
263 impl DataDeclaration { argument
310 pub fn get_data_objects(&self) -> impl Iterator<Item = (DataId, &DataDeclaration)> { in get_data_objects()
315 pub fn get_data_decl(&self, data_id: DataId) -> &DataDeclaration { in get_data_decl()
/dports/lang/purescript/purescript-0.14.5/src/Language/PureScript/TypeChecker/
H A DRoles.hs106 type DataDeclaration = type
/dports/sysutils/vector/lucet-d4fc14a03bdb99ac83173d27fddf1aca48412a86/wasmtime/cranelift/module/src/
H A Dmodule.rs197 pub struct DataDeclaration { struct
211 decl: DataDeclaration, argument
301 pub fn get_data_decl(&self, name: &ir::ExternalName) -> &DataDeclaration { in get_data_decl()
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/purescript-cst-0.4.0.0/src/Language/PureScript/AST/
H A DDeclarations.hs372 …= DataDeclaration SourceAnn DataDeclType (ProperName 'TypeName) [(Text, Maybe SourceType)] [DataCo… constructor
526 isDataDecl DataDeclaration{} = True function