Skip to content

Main NavigationIntroduction API

Appearance

Sidebar Navigation

Introduction

What is Meta-Programming Syntax Types Development Tools Pretty Printing Compile out compile-time dependencies

Code Analysis

Split Functions Checks Heuristic Miscellaneous

Code Transformation

Code Transformation

Code Generators

The x functions

Algebra Data Types

Introduction Defining ADTs Pattern Matching

On this page

Table of Contents for current page

Miscellaneous

Miscellaneous analysis functions.

Uninferrable Typevars

The uninferrable_typevars function tries to find the uninferrable typevars in a structure declaration.

Edit this page on GitHub

Last updated:

Previous pageHeuristic

Next pageCode Transformation

Released under the MIT License.

Copyright © 2019-present Roger Luo