kore-lang-0.1.6
- kore-lang 0.1.6
- Permalink
- Docs.rs crate page
- MIT
- Links
- Repository
- crates.io
- Source
- Owners
- ephemara
- Dependencies
- ariadne ^0.4 normal
  chumsky ^0.9 normal
  clap ^4 normal
  ctrlc ^3 normal
  flate2 ^1.0 normal
  flume ^0.11 normal
  indexmap ^2 normal
  inkwell ^0.4 normal optional
  logos ^0.14 normal
  notify ^6 normal
  once_cell ^1 normal
  pyo3 ^0.20 normal
  reqwest ^0.12.28 normal
  rspirv ^0.12 normal
  serde ^1 normal
  serde_json ^1 normal
  tar ^0.4 normal
  thiserror ^1 normal
  tokio ^1 normal
  toml ^0.8 normal
  tower-lsp ^0.20 normal
  walrus ^0.21 normal
  pretty_assertions ^1 dev
- Versions
- 15.89% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

monomorphize

kore0.1.6

In kore::monomorphize

kore::monomorphize

Function monomorphize

pub fn monomorphize(program: &TypedProgram) -> KoreResult<MonomorphizedProgram>