copilot-core-0.2: An intermediate representation for Copilot.
Copilot.Core.Type
Description
Synopsis
data Type whereSource
Constructors
Instances
class Typed a whereSource
Methods
typeOf :: Type aSource
data UType Source
A untyped type (no phantom type).
Fields