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

Safe HaskellSafe-Infered

Copilot.Core.Type

Description

 

Synopsis

Documentation

data UType Source

A untyped type (no phantom type).

Constructors

forall a . UType 

Fields

uTypeType :: Type a