Copyright	(c) 2002 - 2004 Wolfgang Lux Martin Engelke 2015 Jan Tikovsky 2016 Finn Teegen
License	BSD-3-clause
Maintainer	bjp@informatik.uni-kiel.de
Stability	experimental
Portability	portable
Safe Haskell	None
Language	Haskell2010

Base.Types

Contents

Representation of types
Representation of predicate, predicate sets and predicated types
Representation of data constructors
Representation of class methods
Representation of quantification
Predefined types

Description

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

Synopsis

data Type
- = TypeConstructor QualIdent
- | TypeVariable Int
- | TypeConstrained [Type] Int
- | TypeApply Type Type
- | TypeArrow Type Type
- | TypeForall [Int] 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
- typeVars :: t -> [Int]
typeConstrs :: Type -> [QualIdent]
qualifyType :: ModuleIdent -> Type -> Type
unqualifyType :: ModuleIdent -> Type -> Type
qualifyTC :: ModuleIdent -> QualIdent -> QualIdent
data Pred = Pred QualIdent Type
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 = PredType PredSet Type
predType :: Type -> PredType
unpredType :: PredType -> Type
qualifyPredType :: ModuleIdent -> PredType -> PredType
unqualifyPredType :: ModuleIdent -> PredType -> PredType
data DataConstr
- = DataConstr Ident [Type]
- | RecordConstr Ident [Ident] [Type]
constrIdent :: DataConstr -> Ident
constrTypes :: DataConstr -> [Type]
recLabels :: DataConstr -> [Ident]
recLabelTypes :: DataConstr -> [Type]
tupleData :: [DataConstr]
data ClassMethod = ClassMethod Ident (Maybe Int) PredType
methodName :: ClassMethod -> Ident
methodArity :: ClassMethod -> Maybe Int
methodType :: ClassMethod -> PredType
data TypeScheme = ForAll Int PredType
monoType :: Type -> TypeScheme
polyType :: Type -> TypeScheme
typeScheme :: PredType -> TypeScheme
rawType :: TypeScheme -> Type
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])]

Representation of types

data Type Source #

Constructors

TypeConstructor QualIdent
TypeVariable Int
TypeConstrained [Type] Int
TypeApply Type Type
TypeArrow Type Type
TypeForall [Int] Type

Instances

Eq Type Source #
Instance details Defined in Base.Types Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Ord Type Source #
Instance details 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 Source #
Instance details Defined in Base.Types Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #
Pretty Type Source #
Instance details Defined in Base.PrettyTypes Methods pPrint :: Type -> Doc # pPrintPrec :: Int -> Type -> Doc # pPrintList :: [Type] -> Doc #
IsType Type Source #
Instance details Defined in Base.Types Methods typeVars :: Type -> [Int] Source #
ValueType Type Source #
Instance details Defined in Env.Value Methods toValueType :: Type -> Type Source # fromValueType :: Type -> PredType Source #
ExpandAliasType Type Source #
Instance details Defined in Base.TypeSubst Methods expandAliasType :: [Type] -> Type -> Type Source #
SubstType Type Source #
Instance details Defined in Base.TypeSubst Methods subst :: TypeSubst -> Type -> Type Source #
Typeable Type Source #
Instance details Defined in Base.Typing Methods typeOf :: Type -> Type Source #

applyType :: Type -> [Type] -> Type Source #

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

rootOfType :: Type -> QualIdent Source #

isArrowType :: Type -> Bool Source #

arrowArity :: Type -> Int Source #

arrowArgs :: Type -> [Type] Source #

arrowBase :: Type -> Type Source #

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

class IsType t where Source #

Methods

typeVars :: t -> [Int] Source #

Instances

IsType TypeScheme Source #
Instance details Defined in Base.Types Methods typeVars :: TypeScheme -> [Int] Source #
IsType PredType Source #
Instance details Defined in Base.Types Methods typeVars :: PredType -> [Int] Source #
IsType Pred Source #
Instance details Defined in Base.Types Methods typeVars :: Pred -> [Int] Source #
IsType Type Source #
Instance details Defined in Base.Types Methods typeVars :: Type -> [Int] Source #
(IsType a, Ord a) => IsType (Set a) Source #
Instance details Defined in Base.Types Methods typeVars :: Set a -> [Int] Source #

typeConstrs :: Type -> [QualIdent] Source #

qualifyType :: ModuleIdent -> Type -> Type Source #

unqualifyType :: ModuleIdent -> Type -> Type Source #

qualifyTC :: ModuleIdent -> QualIdent -> QualIdent Source #

Representation of predicate, predicate sets and predicated types

data Pred Source #

Constructors

Pred QualIdent Type

Instances

Eq Pred Source #
Instance details Defined in Base.Types Methods (==) :: Pred -> Pred -> Bool # (/=) :: Pred -> Pred -> Bool #
Ord Pred Source #
Instance details 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 Source #
Instance details Defined in Base.Types Methods showsPrec :: Int -> Pred -> ShowS # show :: Pred -> String # showList :: [Pred] -> ShowS #
Pretty Pred Source #
Instance details Defined in Base.PrettyTypes Methods pPrint :: Pred -> Doc # pPrintPrec :: Int -> Pred -> Doc # pPrintList :: [Pred] -> Doc #
IsType Pred Source #
Instance details Defined in Base.Types Methods typeVars :: Pred -> [Int] Source #
ExpandAliasType Pred Source #
Instance details Defined in Base.TypeSubst Methods expandAliasType :: [Type] -> Pred -> Pred Source #
SubstType Pred Source #
Instance details Defined in Base.TypeSubst Methods subst :: TypeSubst -> Pred -> Pred Source #

qualifyPred :: ModuleIdent -> Pred -> Pred Source #

unqualifyPred :: ModuleIdent -> Pred -> Pred Source #

type PredSet = Set Pred Source #

emptyPredSet :: PredSet Source #

partitionPredSet :: PredSet -> (PredSet, PredSet) Source #

minPredSet :: ClassEnv -> PredSet -> PredSet Source #

maxPredSet :: ClassEnv -> PredSet -> PredSet Source #

qualifyPredSet :: ModuleIdent -> PredSet -> PredSet Source #

unqualifyPredSet :: ModuleIdent -> PredSet -> PredSet Source #

data PredType Source #

Constructors

PredType PredSet Type

Instances

Eq PredType Source #
Instance details Defined in Base.Types Methods (==) :: PredType -> PredType -> Bool # (/=) :: PredType -> PredType -> Bool #
Show PredType Source #
Instance details Defined in Base.Types Methods showsPrec :: Int -> PredType -> ShowS # show :: PredType -> String # showList :: [PredType] -> ShowS #
Pretty PredType Source #
Instance details Defined in Base.PrettyTypes Methods pPrint :: PredType -> Doc # pPrintPrec :: Int -> PredType -> Doc # pPrintList :: [PredType] -> Doc #
IsType PredType Source #
Instance details Defined in Base.Types Methods typeVars :: PredType -> [Int] Source #
ValueType PredType Source #
Instance details Defined in Env.Value Methods toValueType :: Type -> PredType Source # fromValueType :: PredType -> PredType Source #
ExpandAliasType PredType Source #
Instance details Defined in Base.TypeSubst Methods expandAliasType :: [Type] -> PredType -> PredType Source #
SubstType PredType Source #
Instance details Defined in Base.TypeSubst Methods subst :: TypeSubst -> PredType -> PredType Source #
Typeable PredType Source #
Instance details Defined in Base.Typing Methods typeOf :: PredType -> Type Source #

predType :: Type -> PredType Source #

unpredType :: PredType -> Type Source #

qualifyPredType :: ModuleIdent -> PredType -> PredType Source #

unqualifyPredType :: ModuleIdent -> PredType -> PredType Source #

Representation of data constructors

data DataConstr Source #

Constructors

DataConstr Ident [Type]
RecordConstr Ident [Ident] [Type]

Instances

Eq DataConstr Source #
Instance details Defined in Base.Types Methods (==) :: DataConstr -> DataConstr -> Bool # (/=) :: DataConstr -> DataConstr -> Bool #
Show DataConstr Source #
Instance details Defined in Base.Types Methods showsPrec :: Int -> DataConstr -> ShowS # show :: DataConstr -> String # showList :: [DataConstr] -> ShowS #
Pretty DataConstr Source #
Instance details Defined in Base.PrettyTypes Methods pPrint :: DataConstr -> Doc # pPrintPrec :: Int -> DataConstr -> Doc # pPrintList :: [DataConstr] -> Doc #

constrIdent :: DataConstr -> Ident Source #

constrTypes :: DataConstr -> [Type] Source #

recLabels :: DataConstr -> [Ident] Source #

recLabelTypes :: DataConstr -> [Type] Source #

tupleData :: [DataConstr] Source #

Representation of class methods

data ClassMethod Source #

Constructors

ClassMethod Ident (Maybe Int) PredType

Instances

Eq ClassMethod Source #
Instance details Defined in Base.Types Methods (==) :: ClassMethod -> ClassMethod -> Bool # (/=) :: ClassMethod -> ClassMethod -> Bool #
Show ClassMethod Source #
Instance details Defined in Base.Types Methods showsPrec :: Int -> ClassMethod -> ShowS # show :: ClassMethod -> String # showList :: [ClassMethod] -> ShowS #
Pretty ClassMethod Source #
Instance details Defined in Base.PrettyTypes Methods pPrint :: ClassMethod -> Doc # pPrintPrec :: Int -> ClassMethod -> Doc # pPrintList :: [ClassMethod] -> Doc #

methodName :: ClassMethod -> Ident Source #

methodArity :: ClassMethod -> Maybe Int Source #

methodType :: ClassMethod -> PredType Source #

Representation of quantification

data TypeScheme Source #

Constructors

ForAll Int PredType

Instances

Eq TypeScheme Source #
Instance details Defined in Base.Types Methods (==) :: TypeScheme -> TypeScheme -> Bool # (/=) :: TypeScheme -> TypeScheme -> Bool #
Show TypeScheme Source #
Instance details Defined in Base.Types Methods showsPrec :: Int -> TypeScheme -> ShowS # show :: TypeScheme -> String # showList :: [TypeScheme] -> ShowS #
Pretty TypeScheme Source #
Instance details Defined in Base.PrettyTypes Methods pPrint :: TypeScheme -> Doc # pPrintPrec :: Int -> TypeScheme -> Doc # pPrintList :: [TypeScheme] -> Doc #
IsType TypeScheme Source #
Instance details Defined in Base.Types Methods typeVars :: TypeScheme -> [Int] Source #
SubstType TypeScheme Source #
Instance details Defined in Base.TypeSubst Methods subst :: TypeSubst -> TypeScheme -> TypeScheme Source #