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

Safe HaskellSafe
LanguageHaskell2010

Copilot.Core.Type

Description

Typing for Core.

Synopsis

Documentation

data Type :: * -> * where Source

Constructors

Bool :: Type Bool 
Int8 :: Type Int8 
Int16 :: Type Int16 
Int32 :: Type Int32 
Int64 :: Type Int64 
Word8 :: Type Word8 
Word16 :: Type Word16 
Word32 :: Type Word32 
Word64 :: Type Word64 
Float :: Type Float 
Double :: Type Double 

Instances

class Typed a where Source

Methods

typeOf :: Type a Source

simpleType :: Type a -> SimpleType Source

Instances

data UType Source

A untyped type (no phantom type).

Constructors

forall a . UType 

Fields

uTypeType :: Type a
 

data SimpleType Source

Constructors

SBool 
SInt8 
SInt16 
SInt32 
SInt64 
SWord8 
SWord16 
SWord32 
SWord64 
SFloat 
SDouble 

Instances