Skip to content

Home
- Handl Language
Engines
- graphopt
- eqsat
- gamekit

Sidebar Navigation

handl

Overview
Tutorials
- Overview
  Build a host
  Dependent types in handl
  Set up the platform
  Write a plugin
How-to guides
- Overview
  How to build a host
  How to configure options
  Set up the platform
  How to write a plugin
Reference
- Overview
  Host concepts
Explanation
- Overview
  handl library API design principles
  Why the arrow calculus kernel is closed
  The composable host
  Design principles
  Graded algebraic theory in Handl
  Graded Modal Sanada Arrow Calculus
  Kits and manifests
  Name Explanation
  Language as data
  Options and configuration
  Platform architecture
  Plugins, rules, and operations
  `handl` and other polyglot runtimes
  Runtime
  Security and trust
  The type system
  What is handl?
Project docs

On this page

Type

type coercion, predicates, and utility functions for the handl runtime.

Modules

Typeof

Pager

Next pageOverview