copilot-core-2.2.1: 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

EqualType Type Source # 

Methods

(=~=) :: Type a -> Type b -> Maybe (Equal a b) Source #

class Typed a where Source #

Minimal complete definition

typeOf, simpleType

Methods

typeOf :: Type a Source #

simpleType :: Type a -> SimpleType Source #

Instances

data UType Source #

A untyped type (no phantom type).

Constructors

UType 

Fields

data SimpleType Source #

Constructors

SBool 
SInt8 
SInt16 
SInt32 
SInt64 
SWord8 
SWord16 
SWord32 
SWord64 
SFloat 
SDouble 

Instances