Sophie: ghc-doc-0:6.10.4-1mdv2010.0 i586

ghc-doc-6.10.4-1mdv2010.0.i586.rpm

<!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
>VectUtils</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_VectUtils.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.10.4: 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"
>VectUtils</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"
><A NAME="v:collectAnnTypeBinders"
><A NAME="v%3AcollectAnnTypeBinders"
></A
></A
><B
>collectAnnTypeBinders</B
> ::  <A HREF="CoreSyn.html#t%3AAnnExpr"
>AnnExpr</A
> <A HREF="Var.html#t%3AVar"
>Var</A
> ann -&gt; ([<A HREF="Var.html#t%3AVar"
>Var</A
>], <A HREF="CoreSyn.html#t%3AAnnExpr"
>AnnExpr</A
> <A HREF="Var.html#t%3AVar"
>Var</A
> ann)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:collectAnnTypeArgs"
><A NAME="v%3AcollectAnnTypeArgs"
></A
></A
><B
>collectAnnTypeArgs</B
> ::  <A HREF="CoreSyn.html#t%3AAnnExpr"
>AnnExpr</A
> b ann -&gt; (<A HREF="CoreSyn.html#t%3AAnnExpr"
>AnnExpr</A
> b ann, [<A HREF="Type.html#t%3AType"
>Type</A
>])</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:isAnnTypeArg"
><A NAME="v%3AisAnnTypeArg"
></A
></A
><B
>isAnnTypeArg</B
> ::  <A HREF="CoreSyn.html#t%3AAnnExpr"
>AnnExpr</A
> b ann -&gt; <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:collectAnnValBinders"
><A NAME="v%3AcollectAnnValBinders"
></A
></A
><B
>collectAnnValBinders</B
> ::  <A HREF="CoreSyn.html#t%3AAnnExpr"
>AnnExpr</A
> <A HREF="Var.html#t%3AVar"
>Var</A
> ann -&gt; ([<A HREF="Var.html#t%3AVar"
>Var</A
>], <A HREF="CoreSyn.html#t%3AAnnExpr"
>AnnExpr</A
> <A HREF="Var.html#t%3AVar"
>Var</A
> ann)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:dataConTagZ"
><A NAME="v%3AdataConTagZ"
></A
></A
><B
>dataConTagZ</B
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
> -&gt; <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkDataConTag"
><A NAME="v%3AmkDataConTag"
></A
></A
><B
>mkDataConTag</B
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
> -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkDataConTagLit"
><A NAME="v%3AmkDataConTagLit"
></A
></A
><B
>mkDataConTagLit</B
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
> -&gt; <A HREF="Literal.html#t%3ALiteral"
>Literal</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:newLocalVVar"
><A NAME="v%3AnewLocalVVar"
></A
></A
><B
>newLocalVVar</B
> :: <A HREF="FastString.html#t%3AFastString"
>FastString</A
> -&gt; <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> <A HREF="VectCore.html#t%3AVVar"
>VVar</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkBuiltinCo"
><A NAME="v%3AmkBuiltinCo"
></A
></A
><B
>mkBuiltinCo</B
> :: (<A HREF="VectBuiltIn.html#t%3ABuiltins"
>Builtins</A
> -&gt; <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
>) -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> <A HREF="Coercion.html#t%3ACoercion"
>Coercion</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkPADictType"
><A NAME="v%3AmkPADictType"
></A
></A
><B
>mkPADictType</B
> :: <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkPArrayType"
><A NAME="v%3AmkPArrayType"
></A
></A
><B
>mkPArrayType</B
> :: <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkPReprType"
><A NAME="v%3AmkPReprType"
></A
></A
><B
>mkPReprType</B
> :: <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:parrayReprTyCon"
><A NAME="v%3AparrayReprTyCon"
></A
></A
><B
>parrayReprTyCon</B
> :: <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</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:parrayReprDataCon"
><A NAME="v%3AparrayReprDataCon"
></A
></A
><B
>parrayReprDataCon</B
> :: <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> (<A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
>, [<A HREF="Type.html#t%3AType"
>Type</A
>])</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkVScrut"
><A NAME="v%3AmkVScrut"
></A
></A
><B
>mkVScrut</B
> :: <A HREF="VectCore.html#t%3AVExpr"
>VExpr</A
> -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> (<A HREF="VectCore.html#t%3AVExpr"
>VExpr</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:prDFunOfTyCon"
><A NAME="v%3AprDFunOfTyCon"
></A
></A
><B
>prDFunOfTyCon</B
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
> -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:paDictArgType"
><A NAME="v%3ApaDictArgType"
></A
></A
><B
>paDictArgType</B
> :: <A HREF="Var.html#t%3ATyVar"
>TyVar</A
> -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> (<A HREF="../base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> <A HREF="Type.html#t%3AType"
>Type</A
>)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:paDictOfType"
><A NAME="v%3ApaDictOfType"
></A
></A
><B
>paDictOfType</B
> :: <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:paDFunType"
><A NAME="v%3ApaDFunType"
></A
></A
><B
>paDFunType</B
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
> -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:paMethod"
><A NAME="v%3ApaMethod"
></A
></A
><B
>paMethod</B
> :: PAMethod -&gt; <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkPR"
><A NAME="v%3AmkPR"
></A
></A
><B
>mkPR</B
> :: <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:lengthPA"
><A NAME="v%3AlengthPA"
></A
></A
><B
>lengthPA</B
> :: <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:replicatePA"
><A NAME="v%3AreplicatePA"
></A
></A
><B
>replicatePA</B
> :: <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:emptyPA"
><A NAME="v%3AemptyPA"
></A
></A
><B
>emptyPA</B
> :: <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:packPA"
><A NAME="v%3ApackPA"
></A
></A
><B
>packPA</B
> :: <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:combinePA"
><A NAME="v%3AcombinePA"
></A
></A
><B
>combinePA</B
> :: <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; [<A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
>] -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:liftPA"
><A NAME="v%3AliftPA"
></A
></A
><B
>liftPA</B
> :: <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:polyAbstract"
><A NAME="v%3ApolyAbstract"
></A
></A
><B
>polyAbstract</B
> ::  [<A HREF="Var.html#t%3ATyVar"
>TyVar</A
>] -&gt; ((<A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
>) -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> a) -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> a</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:polyApply"
><A NAME="v%3ApolyApply"
></A
></A
><B
>polyApply</B
> :: <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; [<A HREF="Type.html#t%3AType"
>Type</A
>] -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:polyVApply"
><A NAME="v%3ApolyVApply"
></A
></A
><B
>polyVApply</B
> :: <A HREF="VectCore.html#t%3AVExpr"
>VExpr</A
> -&gt; [<A HREF="Type.html#t%3AType"
>Type</A
>] -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> <A HREF="VectCore.html#t%3AVExpr"
>VExpr</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:hoistBinding"
><A NAME="v%3AhoistBinding"
></A
></A
><B
>hoistBinding</B
> :: <A HREF="Var.html#t%3AVar"
>Var</A
> -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> <A HREF="../ghc-prim/GHC-Unit.html#t%3A%28%29"
>()</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:hoistExpr"
><A NAME="v%3AhoistExpr"
></A
></A
><B
>hoistExpr</B
> :: <A HREF="FastString.html#t%3AFastString"
>FastString</A
> -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> <A HREF="Var.html#t%3AVar"
>Var</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:hoistPolyVExpr"
><A NAME="v%3AhoistPolyVExpr"
></A
></A
><B
>hoistPolyVExpr</B
> :: [<A HREF="Var.html#t%3ATyVar"
>TyVar</A
>] -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> <A HREF="VectCore.html#t%3AVExpr"
>VExpr</A
> -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> <A HREF="VectCore.html#t%3AVExpr"
>VExpr</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:takeHoisted"
><A NAME="v%3AtakeHoisted"
></A
></A
><B
>takeHoisted</B
> :: <A HREF="VectMonad.html#t%3AVM"
>VM</A
> [(<A HREF="Var.html#t%3AVar"
>Var</A
>, <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
>)]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:buildClosure"
><A NAME="v%3AbuildClosure"
></A
></A
><B
>buildClosure</B
> :: [<A HREF="Var.html#t%3ATyVar"
>TyVar</A
>] -&gt; [<A HREF="VectCore.html#t%3AVVar"
>VVar</A
>] -&gt; <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> <A HREF="VectCore.html#t%3AVExpr"
>VExpr</A
> -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> <A HREF="VectCore.html#t%3AVExpr"
>VExpr</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:buildClosures"
><A NAME="v%3AbuildClosures"
></A
></A
><B
>buildClosures</B
> :: [<A HREF="Var.html#t%3ATyVar"
>TyVar</A
>] -&gt; [<A HREF="VectCore.html#t%3AVVar"
>VVar</A
>] -&gt; [<A HREF="Type.html#t%3AType"
>Type</A
>] -&gt; <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> <A HREF="VectCore.html#t%3AVExpr"
>VExpr</A
> -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> <A HREF="VectCore.html#t%3AVExpr"
>VExpr</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkClosureApp"
><A NAME="v%3AmkClosureApp"
></A
></A
><B
>mkClosureApp</B
> :: <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="VectCore.html#t%3AVExpr"
>VExpr</A
> -&gt; <A HREF="VectCore.html#t%3AVExpr"
>VExpr</A
> -&gt; <A HREF="VectMonad.html#t%3AVM"
>VM</A
> <A HREF="VectCore.html#t%3AVExpr"
>VExpr</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.4.2</TD
></TR
></TABLE
></BODY
></HTML
>