Safe Haskell	Safe
Language	Haskell2010

FreeC.IR.Syntax.Type

Description

This module contains the definition of type expressions of our intermediate language.

Synopsis

data Type
- = TypeVar {
  - typeSrcSpan :: SrcSpan
  - typeVarIdent :: TypeVarIdent
  }
- | TypeCon {
  - typeSrcSpan :: SrcSpan
  - typeConName :: TypeConName
  }
- | TypeApp {
  - typeSrcSpan :: SrcSpan
  - typeAppLhs :: Type
  - typeAppRhs :: Type
  }
- | FuncType {
  - typeSrcSpan :: SrcSpan
  - funcTypeArg :: Type
  - funcTypeRes :: Type
  }
typeApp :: SrcSpan -> Type -> [Type] -> Type
typeConApp :: SrcSpan -> TypeConName -> [Type] -> Type
funcType :: SrcSpan -> [Type] -> Type -> Type
splitFuncType :: Type -> Int -> ([Type], Type)
getTypeConName :: Type -> Maybe ConName
isTypeVar :: Type -> Bool
isTypeCon :: Type -> Bool
isTypeApp :: Type -> Bool
isFuncType :: Type -> Bool
prettyTypePred :: Int -> Type -> Doc

Documentation

data Type Source #

A type expression.

Built-in types are represented by applications of their type constructors. E.g. the type [a] is represented as TypeApp (TypeCon "[]") (TypeVar "a"). The only exception to this rule is the function type a -> b. It is represented directly as FuncType (TypeVar "a") (TypeVar "b"). The syntax (->) a b is not supported at the moment. This is due to the special role of functions during the lifting.

Constructors

TypeVar	A type variable.
Fields typeSrcSpan :: SrcSpan typeVarIdent :: TypeVarIdent
TypeCon	A type constructor.
Fields typeSrcSpan :: SrcSpan typeConName :: TypeConName
TypeApp	A type constructor application.
Fields typeSrcSpan :: SrcSpan typeAppLhs :: Type typeAppRhs :: Type
FuncType	A function type.
Fields typeSrcSpan :: SrcSpan funcTypeArg :: Type funcTypeRes :: Type

Instances

Eq Type Source #
Instance details Defined in FreeC.IR.Syntax.Type Methods (==) :: Type -> Type -> Bool Source # (/=) :: Type -> Type -> Bool Source #
Show Type Source #
Instance details Defined in FreeC.IR.Syntax.Type Methods showsPrec :: Int -> Type -> ShowS Source # show :: Type -> String Source # showList :: [Type] -> ShowS Source #
Pretty Type Source #	Pretty instance for type expressions.
Instance details Defined in FreeC.IR.Syntax.Type Methods pretty :: Type -> Doc # prettyList :: [Type] -> Doc #
FromJSON Type	Restores a Haskell type from the interface file.
Instance details Defined in FreeC.Environment.ModuleInterface.Decoder Methods parseJSON :: Value -> Parser Type parseJSONList :: Value -> Parser [Type]
ToJSON Type
Instance details Defined in FreeC.Environment.ModuleInterface.Encoder Methods toJSON :: Type -> Value toEncoding :: Type -> Encoding toJSONList :: [Type] -> Value toEncodingList :: [Type] -> Encoding
Similar Type Source #	The similarity relation of type expressions is governed by the the following inference rules. Type constructors are only similar to themselves. ——————————— Γ ⊢ T ≈ T A free type variable `α` is similar to itself. α ∈ free(Γ) ————————————— Γ ⊢ α ≈ α Two type variables `α` and `β` are similar under a renaming `Γ` if they are mapped to each other by `Γ`. α ↦ β ∈ Γ ——————————— Γ ⊢ α ≈ β Two type applications are similar if the type constructor and type argument are similar. Γ ⊢ τ₁ ≈ τ'₁ , Γ ⊢ τ₂ ≈ τ'₂ ————————————————————————————— Γ ⊢ τ₁ τ₂ ≈ τ'₁ τ'₂ Two function types are similar if their argument and return types are similar. Γ ⊢ τ₁ ≈ τ'₁ , Γ ⊢ τ₂ ≈ τ'₂ ————————————————————————————— Γ ⊢ τ₁ -> τ₂ ≈ τ'₁ -> τ'₂
Instance details Defined in FreeC.IR.Similar Methods similar' :: Type -> Type -> Renaming -> Bool
HasRefs Type Source #	Type expressions refer to the used type variables and type constructors.
Instance details Defined in FreeC.IR.Reference Methods refSet :: Type -> RefSet
Parseable Type Source #	Type expressions can be parsed.
Instance details Defined in FreeC.Frontend.IR.Parser Methods parseIR' :: Parser Type Source #
ApplySubst Type Type Source #	Applies the given type substitution to a type expression.
Instance details Defined in FreeC.IR.Subst Methods applySubst :: Subst Type -> Type -> Type Source #
ApplySubst Type TypeScheme Source #	Applies the given type substitution to a type scheme.
Instance details Defined in FreeC.IR.Subst Methods applySubst :: Subst Type -> TypeScheme -> TypeScheme Source #
ApplySubst Type Bind Source #	Applies the given type substitution to the variable pattern and expression of the given `let` binding.
Instance details Defined in FreeC.IR.Subst Methods applySubst :: Subst Type -> Bind -> Bind Source #
ApplySubst Type VarPat Source #	Applies the given type substitution to the type annotation of the given variable pattern.
Instance details Defined in FreeC.IR.Subst Methods applySubst :: Subst Type -> VarPat -> VarPat Source #
ApplySubst Type Alt Source #	Applies the given type substitution to the right-hand side of the given `case`-expression alternative.
Instance details Defined in FreeC.IR.Subst Methods applySubst :: Subst Type -> Alt -> Alt Source #
ApplySubst Type Expr Source #	Applies the given type substitution to an expression.
Instance details Defined in FreeC.IR.Subst Methods applySubst :: Subst Type -> Expr -> Expr Source #
ApplySubst Type FuncDecl Source #	Applies the given type substitution to the right-hand side of a function declaration.
Instance details Defined in FreeC.IR.Subst Methods applySubst :: Subst Type -> FuncDecl -> FuncDecl Source #

typeApp Source #

Arguments

:: SrcSpan	The source span to insert into generated nodes.
-> Type	The partially applied type constructor.
-> [Type]	The type arguments to pass to the type constructor.
-> Type

Creates a type constructor application type.

The given source span is inserted into the generated type constructor and every generated type constructor application.

typeConApp Source #

Arguments

:: SrcSpan	The source span to insert into generated nodes.
-> TypeConName	The name of the type constructor to apply.
-> [Type]	The type arguments to pass to the type constructor.
-> Type

Creates a type constructor application type for the constructor with the given name.

The given source span is inserted into the generated type constructor and every generated type constructor application.

funcType :: SrcSpan -> [Type] -> Type -> Type Source #

Creates a function type with the given argument and return types.

splitFuncType :: Type -> Int -> ([Type], Type) Source #

Splits the type of a function or constructor with the given arity into the argument and return types.

This is basically the inverse of funcType.

getTypeConName :: Type -> Maybe ConName Source #

Returns the name of the outermost type constructor, or Nothing if there is no such type constructor.

isTypeVar :: Type -> Bool Source #

Checks whether the given type is a type variable.

isTypeCon :: Type -> Bool Source #

Checks whether the given type is a type constructor.

isTypeApp :: Type -> Bool Source #

Checks whether the given type is a type application.

isFuncType :: Type -> Bool Source #

Checks whether the given type is a function type.

prettyTypePred :: Int -> Type -> Doc Source #

Pretty prints a type and adds parentheses if necessary.

The first argument indicates the precedence of the surrounding context. * 0 - Top level. No parentheses are necessary. * 1 - Parentheses are needed around function types. * 2 - Parentheses are also needed around type constructor applications.