copilot-core-2.1.1: An intermediate representation for Copilot.

Safe HaskellSafe

Copilot.Core.Type

Description

Typing for Core.

Synopsis

Documentation

data UType Source

A untyped type (no phantom type).

Constructors

forall a . UType 

Fields

uTypeType :: Type a