copilot-core-0.2.4: An intermediate representation for Copilot.
Copilot.Core.Type
Description
Typing for Core.
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