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

Safe Haskell	Safe
Language	Haskell2010

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

Typed Bool Source #
Methods typeOf :: Type Bool Source # simpleType :: Type Bool -> SimpleType Source #
Typed Double Source #
Methods typeOf :: Type Double Source # simpleType :: Type Double -> SimpleType Source #
Typed Float Source #
Methods typeOf :: Type Float Source # simpleType :: Type Float -> SimpleType Source #
Typed Int8 Source #
Methods typeOf :: Type Int8 Source # simpleType :: Type Int8 -> SimpleType Source #
Typed Int16 Source #
Methods typeOf :: Type Int16 Source # simpleType :: Type Int16 -> SimpleType Source #
Typed Int32 Source #
Methods typeOf :: Type Int32 Source # simpleType :: Type Int32 -> SimpleType Source #
Typed Int64 Source #
Methods typeOf :: Type Int64 Source # simpleType :: Type Int64 -> SimpleType Source #
Typed Word8 Source #
Methods typeOf :: Type Word8 Source # simpleType :: Type Word8 -> SimpleType Source #
Typed Word16 Source #
Methods typeOf :: Type Word16 Source # simpleType :: Type Word16 -> SimpleType Source #
Typed Word32 Source #
Methods typeOf :: Type Word32 Source # simpleType :: Type Word32 -> SimpleType Source #
Typed Word64 Source #
Methods typeOf :: Type Word64 Source # simpleType :: Type Word64 -> SimpleType Source #

data UType Source #

A untyped type (no phantom type).

Constructors

UType
Fields uTypeType :: Type a

data SimpleType Source #

Constructors

SBool
SInt8
SInt16
SInt32
SInt64
SWord8
SWord16
SWord32
SWord64
SFloat
SDouble

Instances

Eq SimpleType Source #
Methods (==) :: SimpleType -> SimpleType -> Bool # (/=) :: SimpleType -> SimpleType -> Bool #