<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> <!--Rendered using the Haskell Html Library v0.2--> <HTML ><HEAD ><META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8" ><TITLE >PprTyThing</TITLE ><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css" ><SCRIPT SRC="haddock-util.js" TYPE="text/javascript" ></SCRIPT ><SCRIPT TYPE="text/javascript" >window.onload = function () {setSynopsis("mini_PprTyThing.html")};</SCRIPT ></HEAD ><BODY ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="topbar" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD ><IMG SRC="haskell_icon.gif" WIDTH="16" HEIGHT="16" ALT=" " ></TD ><TD CLASS="title" >ghc-6.12.3: The GHC API</TD ><TD CLASS="topbut" ><A HREF="index.html" >Contents</A ></TD ><TD CLASS="topbut" ><A HREF="doc-index.html" >Index</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="modulebar" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD ><FONT SIZE="6" >PprTyThing</FONT ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="section1" >Synopsis</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="#t%3APrintExplicitForalls" >PrintExplicitForalls</A > = <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3ApprTyThing" >pprTyThing</A > :: <A HREF="PprTyThing.html#t%3APrintExplicitForalls" >PrintExplicitForalls</A > -> <A HREF="Type.html#t%3ATyThing" >TyThing</A > -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3ApprTyThingInContext" >pprTyThingInContext</A > :: <A HREF="PprTyThing.html#t%3APrintExplicitForalls" >PrintExplicitForalls</A > -> <A HREF="Type.html#t%3ATyThing" >TyThing</A > -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3ApprTyThingLoc" >pprTyThingLoc</A > :: <A HREF="PprTyThing.html#t%3APrintExplicitForalls" >PrintExplicitForalls</A > -> <A HREF="Type.html#t%3ATyThing" >TyThing</A > -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3ApprTyThingInContextLoc" >pprTyThingInContextLoc</A > :: <A HREF="PprTyThing.html#t%3APrintExplicitForalls" >PrintExplicitForalls</A > -> <A HREF="Type.html#t%3ATyThing" >TyThing</A > -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3ApprTyThingHdr" >pprTyThingHdr</A > :: <A HREF="PprTyThing.html#t%3APrintExplicitForalls" >PrintExplicitForalls</A > -> <A HREF="Type.html#t%3ATyThing" >TyThing</A > -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3ApprTypeForUser" >pprTypeForUser</A > :: <A HREF="PprTyThing.html#t%3APrintExplicitForalls" >PrintExplicitForalls</A > -> <A HREF="Type.html#t%3AType" >Type</A > -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="section1" >Documentation</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:PrintExplicitForalls" ><A NAME="t%3APrintExplicitForalls" ></A ></A ><B >PrintExplicitForalls</B > = <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:pprTyThing" ><A NAME="v%3ApprTyThing" ></A ></A ><B >pprTyThing</B > :: <A HREF="PprTyThing.html#t%3APrintExplicitForalls" >PrintExplicitForalls</A > -> <A HREF="Type.html#t%3ATyThing" >TyThing</A > -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A ></TD ></TR ><TR ><TD CLASS="doc" >Pretty-prints a <TT ><A HREF="Type.html#t%3ATyThing" >TyThing</A ></TT >. </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:pprTyThingInContext" ><A NAME="v%3ApprTyThingInContext" ></A ></A ><B >pprTyThingInContext</B > :: <A HREF="PprTyThing.html#t%3APrintExplicitForalls" >PrintExplicitForalls</A > -> <A HREF="Type.html#t%3ATyThing" >TyThing</A > -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A ></TD ></TR ><TR ><TD CLASS="doc" >Pretty-prints a <TT ><A HREF="Type.html#t%3ATyThing" >TyThing</A ></TT > in context: that is, if the entity is a data constructor, record selector, or class method, then the entity's parent declaration is pretty-printed with irrelevant parts omitted. </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:pprTyThingLoc" ><A NAME="v%3ApprTyThingLoc" ></A ></A ><B >pprTyThingLoc</B > :: <A HREF="PprTyThing.html#t%3APrintExplicitForalls" >PrintExplicitForalls</A > -> <A HREF="Type.html#t%3ATyThing" >TyThing</A > -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A ></TD ></TR ><TR ><TD CLASS="doc" >Pretty-prints a <TT ><A HREF="Type.html#t%3ATyThing" >TyThing</A ></TT > with its defining location. </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:pprTyThingInContextLoc" ><A NAME="v%3ApprTyThingInContextLoc" ></A ></A ><B >pprTyThingInContextLoc</B > :: <A HREF="PprTyThing.html#t%3APrintExplicitForalls" >PrintExplicitForalls</A > -> <A HREF="Type.html#t%3ATyThing" >TyThing</A > -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A ></TD ></TR ><TR ><TD CLASS="doc" >Like <TT ><A HREF="PprTyThing.html#v%3ApprTyThingInContext" >pprTyThingInContext</A ></TT >, but adds the defining location. </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:pprTyThingHdr" ><A NAME="v%3ApprTyThingHdr" ></A ></A ><B >pprTyThingHdr</B > :: <A HREF="PprTyThing.html#t%3APrintExplicitForalls" >PrintExplicitForalls</A > -> <A HREF="Type.html#t%3ATyThing" >TyThing</A > -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A ></TD ></TR ><TR ><TD CLASS="doc" >Pretty-prints the <TT ><A HREF="Type.html#t%3ATyThing" >TyThing</A ></TT > header. For functions and data constructors the function is equivalent to <TT ><A HREF="PprTyThing.html#v%3ApprTyThing" >pprTyThing</A ></TT > but for type constructors and classes it prints only the header part of the declaration. </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:pprTypeForUser" ><A NAME="v%3ApprTypeForUser" ></A ></A ><B >pprTypeForUser</B > :: <A HREF="PprTyThing.html#t%3APrintExplicitForalls" >PrintExplicitForalls</A > -> <A HREF="Type.html#t%3AType" >Type</A > -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="botbar" >Produced by <A HREF="http://www.haskell.org/haddock/" >Haddock</A > version 2.6.1</TD ></TR ></TABLE ></BODY ></HTML >