<!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 >Data.Typeable</TITLE ><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css" ><SCRIPT SRC="haddock-util.js" TYPE="text/javascript" ></SCRIPT ></HEAD ><BODY ><DIV CLASS="outer" ><DIV CLASS="mini-topbar" >Data.Typeable</DIV ><DIV CLASS="mini-synopsis" ><H1 >The Typeable class </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-Typeable.html#t%3ATypeable" TARGET="main" >Typeable</A > a</DIV > <H1 >Type-safe cast </H1 > <DIV CLASS="decl" ><A HREF="Data-Typeable.html#v%3Acast" TARGET="main" >cast</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Typeable.html#v%3Agcast" TARGET="main" >gcast</A ></DIV > <H1 >Type representations </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Data-Typeable.html#t%3ATypeRep" TARGET="main" >TypeRep</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Data-Typeable.html#t%3ATyCon" TARGET="main" >TyCon</A > </DIV > <DIV CLASS="decl" ><A HREF="Data-Typeable.html#v%3AshowsTypeRep" TARGET="main" >showsTypeRep</A ></DIV > <H1 >Construction of type representations </H1 > <DIV CLASS="decl" ><A HREF="Data-Typeable.html#v%3AmkTyCon" TARGET="main" >mkTyCon</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Typeable.html#v%3AmkTyConApp" TARGET="main" >mkTyConApp</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Typeable.html#v%3AmkAppTy" TARGET="main" >mkAppTy</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Typeable.html#v%3AmkFunTy" TARGET="main" >mkFunTy</A ></DIV > <H1 >Observation of type representations </H1 > <DIV CLASS="decl" ><A HREF="Data-Typeable.html#v%3AsplitTyConApp" TARGET="main" >splitTyConApp</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Typeable.html#v%3AfunResultTy" TARGET="main" >funResultTy</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Typeable.html#v%3AtypeRepTyCon" TARGET="main" >typeRepTyCon</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Typeable.html#v%3AtypeRepArgs" TARGET="main" >typeRepArgs</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Typeable.html#v%3AtyConString" TARGET="main" >tyConString</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Typeable.html#v%3AtypeRepKey" TARGET="main" >typeRepKey</A ></DIV > <H1 >The other Typeable classes </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-Typeable.html#t%3ATypeable1" TARGET="main" >Typeable1</A > t</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-Typeable.html#t%3ATypeable2" TARGET="main" >Typeable2</A > t</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-Typeable.html#t%3ATypeable3" TARGET="main" >Typeable3</A > t</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-Typeable.html#t%3ATypeable4" TARGET="main" >Typeable4</A > t</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-Typeable.html#t%3ATypeable5" TARGET="main" >Typeable5</A > t</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-Typeable.html#t%3ATypeable6" TARGET="main" >Typeable6</A > t</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-Typeable.html#t%3ATypeable7" TARGET="main" >Typeable7</A > t</DIV > <DIV CLASS="decl" ><A HREF="Data-Typeable.html#v%3Agcast1" TARGET="main" >gcast1</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Typeable.html#v%3Agcast2" TARGET="main" >gcast2</A ></DIV > <H1 >Default instances </H1 > <DIV CLASS="decl" ><A HREF="Data-Typeable.html#v%3AtypeOfDefault" TARGET="main" >typeOfDefault</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Typeable.html#v%3AtypeOf1Default" TARGET="main" >typeOf1Default</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Typeable.html#v%3AtypeOf2Default" TARGET="main" >typeOf2Default</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Typeable.html#v%3AtypeOf3Default" TARGET="main" >typeOf3Default</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Typeable.html#v%3AtypeOf4Default" TARGET="main" >typeOf4Default</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Typeable.html#v%3AtypeOf5Default" TARGET="main" >typeOf5Default</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Typeable.html#v%3AtypeOf6Default" TARGET="main" >typeOf6Default</A ></DIV ></DIV ></DIV ></BODY ></HTML >