Crate husk_types 

Core type system representations for Husk.

This crate defines the internal type language used by the type checker.

Structs

TypeVarId

Identifier for a type variable used during type checking / inference.

Enums

PrimitiveType

Primitive types built into Husk.

Type

A type in Husk’s core type language.