LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
llzk::LLZKTypeSwitch< Derived, ResultType > Struct Template Reference

Template pattern for performing some operation by cases based on a given LLZK type. More...

Public Member Functions

ResultType match (Type type)
 

Detailed Description

template<typename Derived, typename ResultType>
struct llzk::LLZKTypeSwitch< Derived, ResultType >

Template pattern for performing some operation by cases based on a given LLZK type.

This pattern allows any missing cases in a new implementation to be reported by the compiler.

Definition at line 34 of file TypeHelper.cpp.

Member Function Documentation

◆ match()

template<typename Derived, typename ResultType>
ResultType llzk::LLZKTypeSwitch< Derived, ResultType >::match ( Type type)
inline

Definition at line 35 of file TypeHelper.cpp.


The documentation for this struct was generated from the following file: