Safe Haskell	None

FrontEnd.Tc.Type

Synopsis

Documentation

data Kind Source

Constructors

KBase KBase
Kfun Kind Kind
KVar Kindvar

Instances

Eq Kind
Ord Kind
Show Kind
Binary Kind
DocLike d => PPrint d Kind
FreeVars Kind (Set Kindvar)

data KBase Source

Constructors

Star
KHash
KUTuple
KQuestQuest
KQuest
KNamed Name

Instances

Eq KBase
Ord KBase
Show KBase
Binary KBase
DocLike d => PPrint d KBase

data MetaVar Source

metavars are used in type checking

Constructors

MetaVar
Fields metaUniq :: !Int metaKind :: Kind metaRef :: !(IORef (Maybe Type)) metaType :: !MetaVarType

Instances

Eq MetaVar
Ord MetaVar
Show MetaVar
Binary MetaVar
CanType MetaVar
DocLike d => PPrint d MetaVar
FreeVars Type [MetaVar]
FreeVars Type (Set MetaVar)

data MetaVarType Source

Constructors

Tau
Rho
Sigma

Instances

Eq MetaVarType
Ord MetaVarType
Show MetaVarType
Binary MetaVarType
DocLike d => PPrint d MetaVarType

data Pred Source

Constructors

IsIn Class Type
IsEq Type Type

Instances

Eq Pred
Ord Pred
Show Pred
Binary Pred
UnVar Pred
Tickleable Type Pred
FreeVars Type b => FreeVars Pred b
DocLike d => PPrint d Pred

type Preds = [Pred]Source

data Qual t Source

Constructors

[Pred] :=> t

Instances

(DocLike d, PPrint d t) => PPrint d (Qual t)
Eq t => Eq (Qual t)
Ord t => Ord (Qual t)
Show t => Show (Qual t)
Binary t_1629666554 => Binary (Qual t_1629666554)
UnVar t => UnVar (Qual t)
(FreeVars t b, FreeVars Pred b) => FreeVars (Qual t) b

data Tycon Source

Constructors

Tycon
Fields tyconName :: Name tyconKind :: Kind

Instances

Eq Tycon
Ord Tycon
Show Tycon
Binary Tycon
ToTuple Tycon
CanType Tycon
DocLike d => PPrint d Tycon

data Type Source

Constructors

TVar
Fields typeVar :: !Tyvar
TCon
Fields typeCon :: !Tycon
TAp Type Type
TArrow Type Type
TForAll
Fields typeArgs :: [Tyvar] typeBody :: Qual Type
TExists
Fields typeArgs :: [Tyvar] typeBody :: Qual Type
TMetaVar
Fields metaVar :: MetaVar
TAssoc
Fields typeCon :: !Tycon typeClassArgs :: [Type] typeExtraArgs :: [Type]

Instances

Eq Type
Ord Type
Show Type
Binary Type
ToTuple Type
TypeNames Type
CanType Type
UnVar Type
Tickleable Type Pred
Tickleable Type Type
DocLike d => PPrint d Type
FreeVars Type [Tyvar]
FreeVars Type [MetaVar]
FreeVars Type (Set MetaVar)

data Tyvar Source

Constructors

Tyvar
Fields tyvarName :: !Name tyvarKind :: Kind

Instances

Eq Tyvar
Ord Tyvar
Show Tyvar
Binary Tyvar
CanType Tyvar
DocLike d => PPrint d Tyvar
FreeVars Type [Tyvar]

kindStar :: Kind Source

kindFunRet :: Kind Source

kindUTuple :: Kind Source

unfoldKind :: Kind -> [Kind]Source

fn :: Type -> Type -> Type Source

fromTAp :: Type -> (Type, [Type])Source

fromTArrow :: Type -> ([Type], Type)Source

type Sigma' = Sigma Source

type Tau' = Tau Source

type Rho' = Rho Source

type Sigma = Type Source

type Rho = Type Source

type Tau = Type Source

type SkolemTV = Tyvar Source

type BoundTV = Tyvar Source

type Preds = [Pred]Source

data Constraint Source

Constructors

Equality
Fields constraintSrcLoc :: SrcLoc constraintType1 :: Type constraintType2 :: Type

Instances

HasLocation Constraint

applyTyvarMap :: [(Tyvar, Type)] -> Type -> Type Source

applyTyvarMapQT :: [(Tyvar, Type)] -> Qual Type -> Qual Type Source

typeOfType :: Type -> (MetaVarType, Bool)Source

fromType :: Sigma -> ([Tyvar], [Pred], Type)Source

isTau :: Type -> Bool Source

isTau' :: Type -> Bool Source

isBoxy :: Type -> Bool Source

isRho' :: Type -> Bool Source

isRho :: Type -> Bool Source

isBoxyMetaVar :: MetaVar -> Bool Source

extractTyVar :: Monad m => Type -> m Tyvar Source

extractMetaVar :: Monad m => Type -> m MetaVar Source

extractBox :: Monad m => Type -> m MetaVar Source

newtype UnVarOpt Source

Constructors

UnVarOpt
Fields failEmptyMetaVar :: Bool

flattenType :: (MonadIO m, UnVar t) => t -> m tSource

class UnVar t whereSource

Methods

unVar' :: t -> IO tSource

Instances

UnVar Pred
UnVar Type
UnVar Type => UnVar CoerceTerm
UnVar t => UnVar [t]
UnVar t => UnVar (Qual t)
(UnVar a, UnVar b) => UnVar (a, b)

followTaus :: MonadIO m => Type -> m Type Source

findType :: MonadIO m => Type -> m Type Source

readMetaVar :: MonadIO m => MetaVar -> m (Maybe Type)Source

freeMetaVars :: Type -> Set MetaVar Source

data Rule Source

Constructors

RuleSpec
Fields ruleUniq :: (Module, Int) ruleName :: Name ruleSuper :: Bool ruleType :: Type
RuleUser
Fields ruleUniq :: (Module, Int) ruleFreeTVars :: [(Name, Kind)]

data CoerceTerm Source

Constructors

CTId
CTAp [Type]
CTAbs [Tyvar]
CTFun CoerceTerm
CTCompose CoerceTerm CoerceTerm

Instances

Show CoerceTerm
Monoid CoerceTerm
UnVar Type => UnVar CoerceTerm

ptrans :: Bool -> (a -> a) -> a -> aSource

Apply the function if the Bool is True.

ctFun :: CoerceTerm -> CoerceTerm Source

ctAbs :: [Tyvar] -> CoerceTerm Source

ctAp :: [Type] -> CoerceTerm Source

ctId :: CoerceTerm Source

composeCoerce :: CoerceTerm -> CoerceTerm -> CoerceTerm Source

prettyPrintType :: DocLike d => Type -> dSource

tForAll :: [Tyvar] -> Qual Type -> Type Source

tList :: Type Source

data Constraint Source

Constructors

Equality
Fields constraintSrcLoc :: SrcLoc constraintType1 :: Type constraintType2 :: Type

Instances

HasLocation Constraint

type Class = Name Source

data Kindvar Source

Constructors

Kindvar
Fields kvarUniq :: !Int kvarRef :: !(IORef (Maybe Kind)) kvarConstraint :: !KindConstraint

Instances

Eq Kindvar
Ord Kindvar
Show Kindvar
Binary Kindvar
DocLike d => PPrint d Kindvar
FreeVars Kind (Set Kindvar)

tTTuple :: [Type] -> Type Source

tTTuple' :: [Type] -> Type Source

tAp :: Type -> Type -> Type Source

Type application, enforcing the invariant that there be no fully-applied tArrows

tArrow :: Type Source

The (->) type constructor. Invariant: tArrow shall not be fully applied. To this end, see tAp.

tyvar :: Name -> Kind -> Tyvar Source