<!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 >FamInstEnv</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_FamInstEnv.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" >FamInstEnv</FONT ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="s15" ></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" >data</SPAN > <A NAME="t:FamInst" ><A NAME="t%3AFamInst" ></A ></A ><B >FamInst</B > </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="section4" >Constructors</TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="5" CELLPADDING="0" ><TR ><TD CLASS="arg" ><A NAME="v:FamInst" ><A NAME="v%3AFamInst" ></A ></A ><B >FamInst</B ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="body" COLSPAN="2" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" ><A NAME="v:fi_fam" ><A NAME="v%3Afi_fam" ></A ></A ><B >fi_fam</B > :: <A HREF="Name.html#t%3AName" >Name</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:fi_tcs" ><A NAME="v%3Afi_tcs" ></A ></A ><B >fi_tcs</B > :: [<A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe" >Maybe</A > <A HREF="Name.html#t%3AName" >Name</A >]</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:fi_tvs" ><A NAME="v%3Afi_tvs" ></A ></A ><B >fi_tvs</B > :: <A HREF="VarSet.html#t%3ATyVarSet" >TyVarSet</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:fi_tys" ><A NAME="v%3Afi_tys" ></A ></A ><B >fi_tys</B > :: [<A HREF="Type.html#t%3AType" >Type</A >]</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:fi_tycon" ><A NAME="v%3Afi_tycon" ></A ></A ><B >fi_tycon</B > :: <A HREF="TyCon.html#t%3ATyCon" >TyCon</A ></TD ><TD CLASS="rdoc" ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="section4" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:FamInst')" ALT="show/hide" > Instances</TD ></TR ><TR ><TD CLASS="body" ><DIV ID="i:FamInst" STYLE="display:block;" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="Outputable.html#t%3AOutputable" >Outputable</A > <A HREF="FamInstEnv.html#t%3AFamInst" >FamInst</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="Name.html#t%3ANamedThing" >NamedThing</A > <A HREF="FamInstEnv.html#t%3AFamInst" >FamInst</A ></TD ></TR ></TABLE ></DIV ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:famInstTyCon" ><A NAME="v%3AfamInstTyCon" ></A ></A ><B >famInstTyCon</B > :: <A HREF="FamInstEnv.html#t%3AFamInst" >FamInst</A > -> <A HREF="TyCon.html#t%3ATyCon" >TyCon</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:famInstTyVars" ><A NAME="v%3AfamInstTyVars" ></A ></A ><B >famInstTyVars</B > :: <A HREF="FamInstEnv.html#t%3AFamInst" >FamInst</A > -> <A HREF="VarSet.html#t%3ATyVarSet" >TyVarSet</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:pprFamInst" ><A NAME="v%3ApprFamInst" ></A ></A ><B >pprFamInst</B > :: <A HREF="FamInstEnv.html#t%3AFamInst" >FamInst</A > -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:pprFamInstHdr" ><A NAME="v%3ApprFamInstHdr" ></A ></A ><B >pprFamInstHdr</B > :: <A HREF="FamInstEnv.html#t%3AFamInst" >FamInst</A > -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:pprFamInsts" ><A NAME="v%3ApprFamInsts" ></A ></A ><B >pprFamInsts</B > :: [<A HREF="FamInstEnv.html#t%3AFamInst" >FamInst</A >] -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:famInstHead" ><A NAME="v%3AfamInstHead" ></A ></A ><B >famInstHead</B > :: <A HREF="FamInstEnv.html#t%3AFamInst" >FamInst</A > -> ([<A HREF="Var.html#t%3ATyVar" >TyVar</A >], <A HREF="TyCon.html#t%3ATyCon" >TyCon</A >, [<A HREF="Type.html#t%3AType" >Type</A >])</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkLocalFamInst" ><A NAME="v%3AmkLocalFamInst" ></A ></A ><B >mkLocalFamInst</B > :: <A HREF="TyCon.html#t%3ATyCon" >TyCon</A > -> <A HREF="FamInstEnv.html#t%3AFamInst" >FamInst</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkImportedFamInst" ><A NAME="v%3AmkImportedFamInst" ></A ></A ><B >mkImportedFamInst</B > :: <A HREF="Name.html#t%3AName" >Name</A > -> [<A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe" >Maybe</A > <A HREF="Name.html#t%3AName" >Name</A >] -> <A HREF="TyCon.html#t%3ATyCon" >TyCon</A > -> <A HREF="FamInstEnv.html#t%3AFamInst" >FamInst</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:FamInstEnvs" ><A NAME="t%3AFamInstEnvs" ></A ></A ><B >FamInstEnvs</B > = (<A HREF="FamInstEnv.html#t%3AFamInstEnv" >FamInstEnv</A >, <A HREF="FamInstEnv.html#t%3AFamInstEnv" >FamInstEnv</A >)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:FamInstEnv" ><A NAME="t%3AFamInstEnv" ></A ></A ><B >FamInstEnv</B > = <A HREF="UniqFM.html#t%3AUniqFM" >UniqFM</A > FamilyInstEnv</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:emptyFamInstEnv" ><A NAME="v%3AemptyFamInstEnv" ></A ></A ><B >emptyFamInstEnv</B > :: <A HREF="FamInstEnv.html#t%3AFamInstEnv" >FamInstEnv</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:emptyFamInstEnvs" ><A NAME="v%3AemptyFamInstEnvs" ></A ></A ><B >emptyFamInstEnvs</B > :: (<A HREF="FamInstEnv.html#t%3AFamInstEnv" >FamInstEnv</A >, <A HREF="FamInstEnv.html#t%3AFamInstEnv" >FamInstEnv</A >)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:extendFamInstEnv" ><A NAME="v%3AextendFamInstEnv" ></A ></A ><B >extendFamInstEnv</B > :: <A HREF="FamInstEnv.html#t%3AFamInstEnv" >FamInstEnv</A > -> <A HREF="FamInstEnv.html#t%3AFamInst" >FamInst</A > -> <A HREF="FamInstEnv.html#t%3AFamInstEnv" >FamInstEnv</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:extendFamInstEnvList" ><A NAME="v%3AextendFamInstEnvList" ></A ></A ><B >extendFamInstEnvList</B > :: <A HREF="FamInstEnv.html#t%3AFamInstEnv" >FamInstEnv</A > -> [<A HREF="FamInstEnv.html#t%3AFamInst" >FamInst</A >] -> <A HREF="FamInstEnv.html#t%3AFamInstEnv" >FamInstEnv</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:famInstEnvElts" ><A NAME="v%3AfamInstEnvElts" ></A ></A ><B >famInstEnvElts</B > :: <A HREF="FamInstEnv.html#t%3AFamInstEnv" >FamInstEnv</A > -> [<A HREF="FamInstEnv.html#t%3AFamInst" >FamInst</A >]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:familyInstances" ><A NAME="v%3AfamilyInstances" ></A ></A ><B >familyInstances</B > :: (<A HREF="FamInstEnv.html#t%3AFamInstEnv" >FamInstEnv</A >, <A HREF="FamInstEnv.html#t%3AFamInstEnv" >FamInstEnv</A >) -> <A HREF="TyCon.html#t%3ATyCon" >TyCon</A > -> [<A HREF="FamInstEnv.html#t%3AFamInst" >FamInst</A >]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:lookupFamInstEnv" ><A NAME="v%3AlookupFamInstEnv" ></A ></A ><B >lookupFamInstEnv</B > :: <A HREF="FamInstEnv.html#t%3AFamInstEnvs" >FamInstEnvs</A > -> <A HREF="TyCon.html#t%3ATyCon" >TyCon</A > -> [<A HREF="Type.html#t%3AType" >Type</A >] -> [FamInstMatch]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:lookupFamInstEnvConflicts" ><A NAME="v%3AlookupFamInstEnvConflicts" ></A ></A ><B >lookupFamInstEnvConflicts</B > :: <A HREF="FamInstEnv.html#t%3AFamInstEnvs" >FamInstEnvs</A > -> <A HREF="FamInstEnv.html#t%3AFamInst" >FamInst</A > -> [<A HREF="Var.html#t%3ATyVar" >TyVar</A >] -> [FamInstMatch]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:topNormaliseType" ><A NAME="v%3AtopNormaliseType" ></A ></A ><B >topNormaliseType</B > :: <A HREF="FamInstEnv.html#t%3AFamInstEnvs" >FamInstEnvs</A > -> <A HREF="Type.html#t%3AType" >Type</A > -> <A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe" >Maybe</A > (<A HREF="Coercion.html#t%3ACoercion" >Coercion</A >, <A HREF="Type.html#t%3AType" >Type</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 >