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

Safe Haskell	Safe

Copilot.Core.Type

Description

Typing for Core.

Synopsis

Documentation

data Type whereSource

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 whereSource

Methods

typeOf :: Type aSource

simpleType :: Type a -> SimpleType Source

Instances

Typed Bool
Typed Double
Typed Float
Typed Int8
Typed Int16
Typed Int32
Typed Int64
Typed Word8
Typed Word16
Typed Word32
Typed Word64

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