copilot-core-2.2.1: An intermediate representation for Copilot.
Copilot.Core.Type
Description
Typing for Core.
Synopsis
data Type :: * -> * where Source #
Constructors
Instances
Methods
(=~=) :: Type a -> Type b -> Maybe (Equal a b) Source #
class Typed a where Source #
Minimal complete definition
typeOf, simpleType
typeOf :: Type a Source #
simpleType :: Type a -> SimpleType Source #
typeOf :: Type Bool Source #
simpleType :: Type Bool -> SimpleType Source #
typeOf :: Type Double Source #
simpleType :: Type Double -> SimpleType Source #
typeOf :: Type Float Source #
simpleType :: Type Float -> SimpleType Source #
typeOf :: Type Int8 Source #
simpleType :: Type Int8 -> SimpleType Source #
typeOf :: Type Int16 Source #
simpleType :: Type Int16 -> SimpleType Source #
typeOf :: Type Int32 Source #
simpleType :: Type Int32 -> SimpleType Source #
typeOf :: Type Int64 Source #
simpleType :: Type Int64 -> SimpleType Source #
typeOf :: Type Word8 Source #
simpleType :: Type Word8 -> SimpleType Source #
typeOf :: Type Word16 Source #
simpleType :: Type Word16 -> SimpleType Source #
typeOf :: Type Word32 Source #
simpleType :: Type Word32 -> SimpleType Source #
typeOf :: Type Word64 Source #
simpleType :: Type Word64 -> SimpleType Source #
data UType Source #
A untyped type (no phantom type).
Fields
data SimpleType Source #
(==) :: SimpleType -> SimpleType -> Bool #
(/=) :: SimpleType -> SimpleType -> Bool #