Safe Haskell	Safe
Language	Haskell2010

FreeC.IR.Syntax.TypeVarDecl

Description

This module contains the definition of type variable declarations of our intermediate language.

Synopsis

Documentation

The name of a type variable declaration in the head of a data type or type synonym declaration including location information.

Constructors

TypeVarDecl
Fields typeVarDeclSrcSpan :: SrcSpan typeVarDeclIdent :: String

Instances

Eq TypeVarDecl Source #
Instance details Defined in FreeC.IR.Syntax.TypeVarDecl Methods (==) :: TypeVarDecl -> TypeVarDecl -> Bool Source # (/=) :: TypeVarDecl -> TypeVarDecl -> Bool Source #
Show TypeVarDecl Source #
Instance details Defined in FreeC.IR.Syntax.TypeVarDecl Methods showsPrec :: Int -> TypeVarDecl -> ShowS Source # show :: TypeVarDecl -> String Source # showList :: [TypeVarDecl] -> ShowS Source #
Pretty TypeVarDecl Source #	Pretty instance for type variable declaration.
Instance details Defined in FreeC.IR.Syntax.TypeVarDecl Methods pretty :: TypeVarDecl -> Doc # prettyList :: [TypeVarDecl] -> Doc #

Converts the declaration of a type variable to a type.

Gets the name of the type variable declared by the given type variable declaration.

Gets the unqualified name of the type variable declared by the given type variable declaration.