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