Safe Haskell	Safe
Language	Haskell2010

FreeC.IR.Syntax.TypeScheme

Description

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

Synopsis

data TypeScheme = TypeScheme {
- typeSchemeSrcSpan :: SrcSpan
- typeSchemeArgs :: [TypeVarDecl]
- typeSchemeType :: Type
}

Documentation

data TypeScheme Source #

A type expression with explicitly introduced type variables.

Constructors

TypeScheme
Fields typeSchemeSrcSpan :: SrcSpan typeSchemeArgs :: [TypeVarDecl] typeSchemeType :: Type

Instances

Eq TypeScheme Source #
Instance details Defined in FreeC.IR.Syntax.TypeScheme Methods (==) :: TypeScheme -> TypeScheme -> Bool Source # (/=) :: TypeScheme -> TypeScheme -> Bool Source #
Show TypeScheme Source #
Instance details Defined in FreeC.IR.Syntax.TypeScheme Methods showsPrec :: Int -> TypeScheme -> ShowS Source # show :: TypeScheme -> String Source # showList :: [TypeScheme] -> ShowS Source #
Pretty TypeScheme Source #	Pretty instance for type schemes.
Instance details Defined in FreeC.IR.Syntax.TypeScheme Methods pretty :: TypeScheme -> Doc # prettyList :: [TypeScheme] -> Doc #
Similar TypeScheme Source #	Two type schemes are similar if their abstracted types are similar under an extend `Renaming` that maps the corresponding type arguments to each other. Γ ∪ { α₁ ↦ β₁, …, αₙ ↦ βₙ } ⊢ τ ≈ τ' ———————————————————————————————————————————— Γ ⊢ forall α₁ … αₙ. τ ≈ forall β₁ … βₙ. τ'
Instance details Defined in FreeC.IR.Similar Methods similar' :: TypeScheme -> TypeScheme -> Renaming -> Bool
HasRefs TypeScheme Source #	Type schemes refer to the types it's type expression refers to but not to the type variables that are bound by the type scheme.
Instance details Defined in FreeC.IR.Reference Methods refSet :: TypeScheme -> RefSet
Parseable TypeScheme Source #	Parser for IR type schemes.
Instance details Defined in FreeC.Frontend.IR.Parser Methods parseIR' :: Parser TypeScheme 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 #