LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
String.cpp
Go to the documentation of this file.
1//===-- String.cpp - String dialect C API implementation --------*- C++ -*-===//
2//
3// Part of the LLZK Project, under the Apache License v2.0.
4// See LICENSE.txt for license information.
5// Copyright 2025 Veridise Inc.
6// SPDX-License-Identifier: Apache-2.0
7//
8//===----------------------------------------------------------------------===//
9
12
14
15#include <mlir/CAPI/Registration.h>
16#include <mlir/CAPI/Wrap.h>
17
18using namespace llzk::string;
19using namespace mlir;
20
22
23MlirType llzkStringTypeGet(MlirContext ctx) { return wrap(StringType::get(unwrap(ctx))); }
24
25bool llzkTypeIsAStringType(MlirType type) { return mlir::isa<StringType>(unwrap(type)); }
MLIR_DEFINE_CAPI_DIALECT_REGISTRATION(Polymorphic, llzk__polymorphic, llzk::polymorphic::PolymorphicDialect) MlirType llzkTypeVarTypeGet(MlirContext ctx
bool llzkTypeIsAStringType(MlirType type)
Definition String.cpp:25
MlirType llzkStringTypeGet(MlirContext ctx)
Creates a llzk::string::StringType.
Definition String.cpp:23