C++ (Cpp) mk_vm_externalの例

コード例 #1

ファイル: vm_rb_map.cpp プロジェクト: sakas--/lean

vm_obj to_obj(vm_rb_map const & n) {
    return mk_vm_external(new (get_vm_allocator().allocate(sizeof(vm_rb_map))) vm_rb_map(n));
}

コード例 #2

ファイル: vm_exceptional.cpp プロジェクト: avigad/lean

vm_obj to_obj(throwable const & ex) {
    return mk_vm_external(new (get_vm_allocator().allocate(sizeof(vm_throwable))) vm_throwable(ex));
}

コード例 #3

ファイル: vm_array.cpp プロジェクト: avigad/lean

vm_obj to_obj(parray<vm_obj> const & a) {
    return mk_vm_external(new (get_vm_allocator().allocate(sizeof(vm_array))) vm_array(a));
}

コード例 #4

ファイル: vm_level.cpp プロジェクト: soonhokong/lean-osx

vm_obj to_obj(level const & n) {
    return mk_vm_external(new (get_vm_allocator().allocate(sizeof(vm_level))) vm_level(n));
}

コード例 #5

ファイル: vm_format.cpp プロジェクト: fpvandoorn/lean

vm_obj to_obj(format const & n) {
    return mk_vm_external(new (get_vm_allocator().allocate(sizeof(vm_format))) vm_format(n));
}

コード例 #6

ファイル: vm_format.cpp プロジェクト: fpvandoorn/lean

vm_obj to_obj(std::function<format()> const & fn) {
    return mk_vm_external(new (get_vm_allocator().allocate(sizeof(vm_format_thunk))) vm_format_thunk(fn));
}

コード例 #7

ファイル: vm_list.cpp プロジェクト: soonhokong/lean-osx

vm_obj list_to_obj(list<A> const & l) {
    return mk_vm_external(new (get_vm_allocator().allocate(sizeof(vm_list<A>))) vm_list<A>(l));
}

コード例 #8

ファイル: vm_options.cpp プロジェクト: sakas--/lean

vm_obj to_obj(options const & n) {
    return mk_vm_external(new (get_vm_allocator().allocate(sizeof(vm_options))) vm_options(n));
}