Base.Types

This module modules provides the definitions for the internal representation of types in the compiler along with some helper functions.

Representation of types

data Type

Constructors

TypeConstructor QualIdent

TypeVariable Int

TypeConstrained [Type] Int

TypeApply Type Type

TypeArrow Type Type

TypeForall [Int] Type

Instances

Eq Type

Defined in Base.Types

Methods

(==) :: Type -> Type -> Bool

(/=) :: Type -> Type -> Bool

Ord Type

Defined in Base.Types

Methods

compare :: Type -> Type -> Ordering

(<) :: Type -> Type -> Bool

(<=) :: Type -> Type -> Bool

(>) :: Type -> Type -> Bool

(>=) :: Type -> Type -> Bool

max :: Type -> Type -> Type

min :: Type -> Type -> Type

Show Type

Defined in Base.Types

Methods

showsPrec :: Int -> Type -> ShowS

show :: Type -> String

showList :: [Type] -> ShowS

Pretty Type

Defined in Base.PrettyTypes

Methods

pPrint :: Type -> Doc

pPrintPrec :: Int -> Type -> Doc

pPrintList :: [Type] -> Doc

IsType Type

Defined in Base.Types

Methods

typeVars :: Type -> [Int]

ValueType Type

Defined in Env.Value

Methods

toValueType :: Type -> Type

fromValueType :: Type -> PredType

ExpandAliasType Type

Defined in Base.TypeSubst

Methods

expandAliasType :: [Type] -> Type -> Type

SubstType Type

Defined in Base.TypeSubst

Methods

subst :: TypeSubst -> Type -> Type

Typeable Type

Defined in Base.Typing

Methods

typeOf :: Type -> Type

applyType :: Type -> [Type] -> Type

unapplyType :: Bool -> Type -> (Type, [Type])

rootOfType :: Type -> QualIdent

isArrowType :: Type -> Bool

arrowArity :: Type -> Int

arrowArgs :: Type -> [Type]

arrowBase :: Type -> Type

arrowUnapply :: Type -> ([Type], Type)

class IsType t where

Methods

typeVars :: t -> [Int]

Instances

IsType TypeScheme

Defined in Base.Types

Methods

typeVars :: TypeScheme -> [Int]

IsType PredType

Defined in Base.Types

Methods

typeVars :: PredType -> [Int]

IsType Pred

Defined in Base.Types

Methods

typeVars :: Pred -> [Int]

IsType Type

Defined in Base.Types

Methods

typeVars :: Type -> [Int]

(IsType a, Ord a) => IsType (Set a)

Defined in Base.Types

Methods

typeVars :: Set a -> [Int]

typeConstrs :: Type -> [QualIdent]

qualifyType :: ModuleIdent -> Type -> Type

unqualifyType :: ModuleIdent -> Type -> Type

qualifyTC :: ModuleIdent -> QualIdent -> QualIdent

Representation of predicate, predicate sets and predicated types

data Pred

Constructors

Pred QualIdent Type

Instances

Eq Pred

Defined in Base.Types

Methods

(==) :: Pred -> Pred -> Bool

(/=) :: Pred -> Pred -> Bool

Ord Pred

Defined in Base.Types

Methods

compare :: Pred -> Pred -> Ordering

(<) :: Pred -> Pred -> Bool

(<=) :: Pred -> Pred -> Bool

(>) :: Pred -> Pred -> Bool

(>=) :: Pred -> Pred -> Bool

max :: Pred -> Pred -> Pred

min :: Pred -> Pred -> Pred

Show Pred

Defined in Base.Types

Methods

showsPrec :: Int -> Pred -> ShowS

show :: Pred -> String

showList :: [Pred] -> ShowS

Pretty Pred

Defined in Base.PrettyTypes

Methods

pPrint :: Pred -> Doc

pPrintPrec :: Int -> Pred -> Doc

pPrintList :: [Pred] -> Doc

IsType Pred

Defined in Base.Types

Methods

typeVars :: Pred -> [Int]

ExpandAliasType Pred

Defined in Base.TypeSubst

Methods

expandAliasType :: [Type] -> Pred -> Pred

SubstType Pred

Defined in Base.TypeSubst

Methods

subst :: TypeSubst -> Pred -> Pred

qualifyPred :: ModuleIdent -> Pred -> Pred

unqualifyPred :: ModuleIdent -> Pred -> Pred

type PredSet = Set Pred

emptyPredSet :: PredSet

partitionPredSet :: PredSet -> (PredSet, PredSet)

minPredSet :: ClassEnv -> PredSet -> PredSet

maxPredSet :: ClassEnv -> PredSet -> PredSet

qualifyPredSet :: ModuleIdent -> PredSet -> PredSet

unqualifyPredSet :: ModuleIdent -> PredSet -> PredSet

data PredType

Constructors

PredType PredSet Type

Instances

Eq PredType

Defined in Base.Types

Methods

(==) :: PredType -> PredType -> Bool

(/=) :: PredType -> PredType -> Bool

Show PredType

Defined in Base.Types

Methods

showsPrec :: Int -> PredType -> ShowS

show :: PredType -> String

showList :: [PredType] -> ShowS

Pretty PredType

Defined in Base.PrettyTypes

Methods

pPrint :: PredType -> Doc

pPrintPrec :: Int -> PredType -> Doc

pPrintList :: [PredType] -> Doc

IsType PredType

Defined in Base.Types

Methods

typeVars :: PredType -> [Int]

ValueType PredType

Defined in Env.Value

Methods

toValueType :: Type -> PredType

fromValueType :: PredType -> PredType

ExpandAliasType PredType

Defined in Base.TypeSubst

Methods

expandAliasType :: [Type] -> PredType -> PredType

SubstType PredType

Defined in Base.TypeSubst

Methods

subst :: TypeSubst -> PredType -> PredType

Typeable PredType

Defined in Base.Typing

Methods

typeOf :: PredType -> Type

predType :: Type -> PredType

unpredType :: PredType -> Type

qualifyPredType :: ModuleIdent -> PredType -> PredType

unqualifyPredType :: ModuleIdent -> PredType -> PredType

Representation of data constructors

data DataConstr

Constructors

DataConstr Ident [Type]

RecordConstr Ident [Ident] [Type]

Instances

Eq DataConstr

Defined in Base.Types

Methods

(==) :: DataConstr -> DataConstr -> Bool

(/=) :: DataConstr -> DataConstr -> Bool

Show DataConstr

Defined in Base.Types

Methods

showsPrec :: Int -> DataConstr -> ShowS

show :: DataConstr -> String

showList :: [DataConstr] -> ShowS

Pretty DataConstr

Defined in Base.PrettyTypes

Methods

pPrint :: DataConstr -> Doc

pPrintPrec :: Int -> DataConstr -> Doc

pPrintList :: [DataConstr] -> Doc

constrIdent :: DataConstr -> Ident

constrTypes :: DataConstr -> [Type]

recLabels :: DataConstr -> [Ident]

recLabelTypes :: DataConstr -> [Type]

tupleData :: [DataConstr]

Representation of class methods

data ClassMethod

Constructors

ClassMethod Ident (Maybe Int) PredType

Instances

Eq ClassMethod

Defined in Base.Types

Methods

(==) :: ClassMethod -> ClassMethod -> Bool

(/=) :: ClassMethod -> ClassMethod -> Bool

Show ClassMethod

Defined in Base.Types

Methods

showsPrec :: Int -> ClassMethod -> ShowS

show :: ClassMethod -> String

showList :: [ClassMethod] -> ShowS

Pretty ClassMethod

Defined in Base.PrettyTypes

Methods

pPrint :: ClassMethod -> Doc

pPrintPrec :: Int -> ClassMethod -> Doc

pPrintList :: [ClassMethod] -> Doc

methodName :: ClassMethod -> Ident

methodArity :: ClassMethod -> Maybe Int

methodType :: ClassMethod -> PredType

Representation of quantification

data TypeScheme

Constructors

ForAll Int PredType

Instances

Eq TypeScheme

Defined in Base.Types

Methods

(==) :: TypeScheme -> TypeScheme -> Bool

(/=) :: TypeScheme -> TypeScheme -> Bool

Show TypeScheme

Defined in Base.Types

Methods

showsPrec :: Int -> TypeScheme -> ShowS

show :: TypeScheme -> String

showList :: [TypeScheme] -> ShowS

Pretty TypeScheme

Defined in Base.PrettyTypes

Methods

pPrint :: TypeScheme -> Doc

pPrintPrec :: Int -> TypeScheme -> Doc

pPrintList :: [TypeScheme] -> Doc

IsType TypeScheme

Defined in Base.Types

Methods

typeVars :: TypeScheme -> [Int]

SubstType TypeScheme

Defined in Base.TypeSubst

Methods

subst :: TypeSubst -> TypeScheme -> TypeScheme

monoType :: Type -> TypeScheme

polyType :: Type -> TypeScheme

typeScheme :: PredType -> TypeScheme

rawType :: TypeScheme -> Type

Predefined types

arrowType :: Type -> Type -> Type

unitType :: Type

predUnitType :: PredType

boolType :: Type

predBoolType :: PredType

charType :: Type

intType :: Type

predIntType :: PredType

floatType :: Type

predFloatType :: PredType

stringType :: Type

predStringType :: PredType

listType :: Type -> Type

consType :: Type -> Type

ioType :: Type -> Type

tupleType :: [Type] -> Type

numTypes :: [Type]

fractionalTypes :: [Type]

predefTypes :: [(Type, [DataConstr])]