<!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.Array.Parallel.Lifted</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_Data-Array-Parallel-Lifted.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" >dph-seq-0.3: Data structures for Nested Data-Parallel Haskell.</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" >Data.Array.Parallel.Lifted</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" >data family</SPAN > <A HREF="#t%3APArray" >PArray</A > a </TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="#t%3APA" >PA</A > a = <A HREF="#v%3APA" >PA</A > {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="recfield" ><A HREF="#v%3AtoPRepr" >toPRepr</A > :: a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APRepr" >PRepr</A > a</TD ></TR ><TR ><TD CLASS="recfield" ><A HREF="#v%3AfromPRepr" >fromPRepr</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APRepr" >PRepr</A > a -> a</TD ></TR ><TR ><TD CLASS="recfield" ><A HREF="#v%3AtoArrPRepr" >toArrPRepr</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > (<A HREF="Data-Array-Parallel-Lifted.html#t%3APRepr" >PRepr</A > a)</TD ></TR ><TR ><TD CLASS="recfield" ><A HREF="#v%3AfromArrPRepr" >fromArrPRepr</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > (<A HREF="Data-Array-Parallel-Lifted.html#t%3APRepr" >PRepr</A > a) -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="recfield" ><A HREF="#v%3AdictPRepr" >dictPRepr</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APR" >PR</A > (<A HREF="Data-Array-Parallel-Lifted.html#t%3APRepr" >PRepr</A > a)</TD ></TR ></TABLE >}</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AlengthPA%23" >lengthPA#</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AreplicatePA%23" >replicatePA#</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AreplicatelPA%23" >replicatelPA#</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> PArray_Int# -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3ArepeatPA%23" >repeatPA#</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AemptyPA" >emptyPA</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AindexPA%23" >indexPA#</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AbpermutePA%23" >bpermutePA#</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> PArray_Int# -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AappPA%23" >appPA#</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AapplPA%23" >applPA#</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> Segd -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> Segd -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3ApackPA%23" >packPA#</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> PArray_Bool# -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3Acombine2PA%23" >combine2PA#</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> PArray_Int# -> PArray_Int# -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AfromListPA%23" >fromListPA#</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> [a] -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AfromListPA" >fromListPA</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> [a] -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AnfPA" >nfPA</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="../ghc-prim/GHC-Unit.html#t%3A%28%29" >()</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type family</SPAN > <A HREF="#t%3APRepr" >PRepr</A > a </TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="#t%3APR" >PR</A > a = <A HREF="#v%3APR" >PR</A > {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="recfield" ><A HREF="#v%3AlengthPR" >lengthPR</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A ></TD ></TR ><TR ><TD CLASS="recfield" ><A HREF="#v%3AemptyPR" >emptyPR</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="recfield" ><A HREF="#v%3AreplicatePR" >replicatePR</A > :: <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="recfield" ><A HREF="#v%3AreplicatelPR" >replicatelPR</A > :: <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> PArray_Int# -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="recfield" ><A HREF="#v%3ArepeatPR" >repeatPR</A > :: <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="recfield" ><A HREF="#v%3AindexPR" >indexPR</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> a</TD ></TR ><TR ><TD CLASS="recfield" ><A HREF="#v%3AbpermutePR" >bpermutePR</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> PArray_Int# -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="recfield" ><A HREF="#v%3AappPR" >appPR</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="recfield" ><A HREF="#v%3AapplPR" >applPR</A > :: Segd -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> Segd -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="recfield" ><A HREF="#v%3ApackPR" >packPR</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> PArray_Bool# -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="recfield" ><A HREF="#v%3Acombine2PR" >combine2PR</A > :: <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> PArray_Int# -> PArray_Int# -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="recfield" ><A HREF="#v%3AfromListPR" >fromListPR</A > :: <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> [a] -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="recfield" ><A HREF="#v%3AnfPR" >nfPR</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="../ghc-prim/GHC-Unit.html#t%3A%28%29" >()</A ></TD ></TR ></TABLE >}</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AmkPR" >mkPR</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APR" >PR</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AmkReprPA" >mkReprPA</A > :: a ~ <A HREF="Data-Array-Parallel-Lifted.html#t%3APRepr" >PRepr</A > a => <A HREF="Data-Array-Parallel-Lifted.html#t%3APR" >PR</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="../dph-prim-seq/Data-Array-Parallel-Unlifted.html#t%3AElt" >Elt</A > a => <A HREF="#t%3APrimPA" >PrimPA</A > a <SPAN CLASS="keyword" >where</SPAN ></TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="#v%3AfromUArrPA" >fromUArrPA</A > :: <A HREF="../ghc-prim/GHC-Types.html#t%3AInt" >Int</A > -> <A HREF="../dph-prim-seq/Data-Array-Parallel-Unlifted.html#t%3AArray" >Array</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtoUArrPA" >toUArrPA</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="../dph-prim-seq/Data-Array-Parallel-Unlifted.html#t%3AArray" >Array</A > a</TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AprimPA" >primPA</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a</TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3Aprim_lengthPA" >prim_lengthPA</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APrimPA" >PrimPA</A > a => <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="../ghc-prim/GHC-Types.html#t%3AInt" >Int</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AfromUArrPA%27" >fromUArrPA'</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APrimPA" >PrimPA</A > a => <A HREF="../dph-prim-seq/Data-Array-Parallel-Unlifted.html#t%3AArray" >Array</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data family</SPAN > <A HREF="#t%3APArray" >PArray</A > a </TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AdPA_Int" >dPA_Int</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > <A HREF="../ghc-prim/GHC-Types.html#t%3AInt" >Int</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AdPR_Int" >dPR_Int</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APR" >PR</A > <A HREF="../ghc-prim/GHC-Types.html#t%3AInt" >Int</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AupToPA_Int" >upToPA_Int</A > :: <A HREF="../ghc-prim/GHC-Types.html#t%3AInt" >Int</A > -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > <A HREF="../ghc-prim/GHC-Types.html#t%3AInt" >Int</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AdPA_Word8" >dPA_Word8</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > <A HREF="../base/Data-Word.html#t%3AWord8" >Word8</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AdPR_Word8" >dPR_Word8</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APR" >PR</A > <A HREF="../base/Data-Word.html#t%3AWord8" >Word8</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AdPA_Double" >dPA_Double</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > <A HREF="../ghc-prim/GHC-Types.html#t%3ADouble" >Double</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AdPR_Double" >dPR_Double</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APR" >PR</A > <A HREF="../ghc-prim/GHC-Types.html#t%3ADouble" >Double</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AdPA_Bool" >dPA_Bool</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtoPrimArrPA_Bool" >toPrimArrPA_Bool</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool" >Bool</A > -> PArray_Bool#</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtruesPA%23" >truesPA#</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool" >Bool</A > -> <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AdPA_Unit" >dPA_Unit</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > <A HREF="../ghc-prim/GHC-Unit.html#t%3A%28%29" >()</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AdPA_2" >dPA_2</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > b -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > (a, b)</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AdPA_3" >dPA_3</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > b -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > c -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > (a, b, c)</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AdPA_4" >dPA_4</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > b -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > c -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > d -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > (a, b, c, d)</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AdPA_5" >dPA_5</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > b -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > c -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > d -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > e -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > (a, b, c, d, e)</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AdPA_PArray" >dPA_PArray</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > (<A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a)</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > a <A HREF="#t%3A%3A-%3E" >:-></A > b</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3A%24%3A" >($:)</A > :: <SPAN CLASS="keyword" >forall</SPAN > a b. (a <A HREF="Data-Array-Parallel-Lifted.html#t%3A%3A-%3E" >:-></A > b) -> a -> b</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3A%24%3A%5E" >($:^)</A > :: <SPAN CLASS="keyword" >forall</SPAN > a b. <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > (a <A HREF="Data-Array-Parallel-Lifted.html#t%3A%3A-%3E" >:-></A > b) -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > b</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AdPA_Clo" >dPA_Clo</A > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > b -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > (a <A HREF="Data-Array-Parallel-Lifted.html#t%3A%3A-%3E" >:-></A > b)</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" >data family</SPAN > <A NAME="t:PArray" ><A NAME="t%3APArray" ></A ></A ><B >PArray</B > a </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="ndoc" >Lifted parallel arrays </TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:PA" ><A NAME="t%3APA" ></A ></A ><B >PA</B > a </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="ndoc" >Dictionaries </TD ></TR ><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:PA" ><A NAME="v%3APA" ></A ></A ><B >PA</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:toPRepr" ><A NAME="v%3AtoPRepr" ></A ></A ><B >toPRepr</B > :: a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APRepr" >PRepr</A > a</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:fromPRepr" ><A NAME="v%3AfromPRepr" ></A ></A ><B >fromPRepr</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APRepr" >PRepr</A > a -> a</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:toArrPRepr" ><A NAME="v%3AtoArrPRepr" ></A ></A ><B >toArrPRepr</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > (<A HREF="Data-Array-Parallel-Lifted.html#t%3APRepr" >PRepr</A > a)</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:fromArrPRepr" ><A NAME="v%3AfromArrPRepr" ></A ></A ><B >fromArrPRepr</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > (<A HREF="Data-Array-Parallel-Lifted.html#t%3APRepr" >PRepr</A > a) -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:dictPRepr" ><A NAME="v%3AdictPRepr" ></A ></A ><B >dictPRepr</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APR" >PR</A > (<A HREF="Data-Array-Parallel-Lifted.html#t%3APRepr" >PRepr</A > a)</TD ><TD CLASS="rdoc" ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:lengthPA#" ><A NAME="v%3AlengthPA%23" ></A ></A ><B >lengthPA#</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:replicatePA#" ><A NAME="v%3AreplicatePA%23" ></A ></A ><B >replicatePA#</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:replicatelPA#" ><A NAME="v%3AreplicatelPA%23" ></A ></A ><B >replicatelPA#</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> PArray_Int# -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:repeatPA#" ><A NAME="v%3ArepeatPA%23" ></A ></A ><B >repeatPA#</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > 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="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:indexPA#" ><A NAME="v%3AindexPA%23" ></A ></A ><B >indexPA#</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:bpermutePA#" ><A NAME="v%3AbpermutePA%23" ></A ></A ><B >bpermutePA#</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> PArray_Int# -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:appPA#" ><A NAME="v%3AappPA%23" ></A ></A ><B >appPA#</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:applPA#" ><A NAME="v%3AapplPA%23" ></A ></A ><B >applPA#</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> Segd -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> Segd -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:packPA#" ><A NAME="v%3ApackPA%23" ></A ></A ><B >packPA#</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> PArray_Bool# -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:combine2PA#" ><A NAME="v%3Acombine2PA%23" ></A ></A ><B >combine2PA#</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> PArray_Int# -> PArray_Int# -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:fromListPA#" ><A NAME="v%3AfromListPA%23" ></A ></A ><B >fromListPA#</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> [a] -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:fromListPA" ><A NAME="v%3AfromListPA" ></A ></A ><B >fromListPA</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> [a] -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:nfPA" ><A NAME="v%3AnfPA" ></A ></A ><B >nfPA</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > 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" ><SPAN CLASS="keyword" >type family</SPAN > <A NAME="t:PRepr" ><A NAME="t%3APRepr" ></A ></A ><B >PRepr</B > a </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="ndoc" >Representation types </TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:PR" ><A NAME="t%3APR" ></A ></A ><B >PR</B > a </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:PR" ><A NAME="v%3APR" ></A ></A ><B >PR</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:lengthPR" ><A NAME="v%3AlengthPR" ></A ></A ><B >lengthPR</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:emptyPR" ><A NAME="v%3AemptyPR" ></A ></A ><B >emptyPR</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:replicatePR" ><A NAME="v%3AreplicatePR" ></A ></A ><B >replicatePR</B > :: <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:replicatelPR" ><A NAME="v%3AreplicatelPR" ></A ></A ><B >replicatelPR</B > :: <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> PArray_Int# -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:repeatPR" ><A NAME="v%3ArepeatPR" ></A ></A ><B >repeatPR</B > :: <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:indexPR" ><A NAME="v%3AindexPR" ></A ></A ><B >indexPR</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> a</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:bpermutePR" ><A NAME="v%3AbpermutePR" ></A ></A ><B >bpermutePR</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> PArray_Int# -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:appPR" ><A NAME="v%3AappPR" ></A ></A ><B >appPR</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:applPR" ><A NAME="v%3AapplPR" ></A ></A ><B >applPR</B > :: Segd -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> Segd -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:packPR" ><A NAME="v%3ApackPR" ></A ></A ><B >packPR</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> PArray_Bool# -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:combine2PR" ><A NAME="v%3Acombine2PR" ></A ></A ><B >combine2PR</B > :: <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> PArray_Int# -> PArray_Int# -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:fromListPR" ><A NAME="v%3AfromListPR" ></A ></A ><B >fromListPR</B > :: <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A > -> [a] -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:nfPR" ><A NAME="v%3AnfPR" ></A ></A ><B >nfPR</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="../ghc-prim/GHC-Unit.html#t%3A%28%29" >()</A ></TD ><TD CLASS="rdoc" ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></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="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APR" >PR</A > a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkReprPA" ><A NAME="v%3AmkReprPA" ></A ></A ><B >mkReprPA</B > :: a ~ <A HREF="Data-Array-Parallel-Lifted.html#t%3APRepr" >PRepr</A > a => <A HREF="Data-Array-Parallel-Lifted.html#t%3APR" >PR</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="../dph-prim-seq/Data-Array-Parallel-Unlifted.html#t%3AElt" >Elt</A > a => <A NAME="t:PrimPA" ><A NAME="t%3APrimPA" ></A ></A ><B >PrimPA</B > a <SPAN CLASS="keyword" >where</SPAN ></TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="section4" >Methods</TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A NAME="v:fromUArrPA" ><A NAME="v%3AfromUArrPA" ></A ></A ><B >fromUArrPA</B > :: <A HREF="../ghc-prim/GHC-Types.html#t%3AInt" >Int</A > -> <A HREF="../dph-prim-seq/Data-Array-Parallel-Unlifted.html#t%3AArray" >Array</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:toUArrPA" ><A NAME="v%3AtoUArrPA" ></A ></A ><B >toUArrPA</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="../dph-prim-seq/Data-Array-Parallel-Unlifted.html#t%3AArray" >Array</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:primPA" ><A NAME="v%3AprimPA" ></A ></A ><B >primPA</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a</TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="section4" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:PrimPA')" ALT="show/hide" > Instances</TD ></TR ><TR ><TD CLASS="body" ><DIV ID="i:PrimPA" STYLE="display:block;" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="Data-Array-Parallel-Lifted.html#t%3APrimPA" >PrimPA</A > <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="Data-Array-Parallel-Lifted.html#t%3APrimPA" >PrimPA</A > <A HREF="../ghc-prim/GHC-Types.html#t%3ADouble" >Double</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="Data-Array-Parallel-Lifted.html#t%3APrimPA" >PrimPA</A > <A HREF="../ghc-prim/GHC-Types.html#t%3AInt" >Int</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="Data-Array-Parallel-Lifted.html#t%3APrimPA" >PrimPA</A > <A HREF="../base/Data-Word.html#t%3AWord8" >Word8</A ></TD ></TR ></TABLE ></DIV ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:prim_lengthPA" ><A NAME="v%3Aprim_lengthPA" ></A ></A ><B >prim_lengthPA</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APrimPA" >PrimPA</A > a => <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <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:fromUArrPA'" ><A NAME="v%3AfromUArrPA%27" ></A ></A ><B >fromUArrPA'</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APrimPA" >PrimPA</A > a => <A HREF="../dph-prim-seq/Data-Array-Parallel-Unlifted.html#t%3AArray" >Array</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data family</SPAN > <A NAME="t:PArray" ><A NAME="t%3APArray" ></A ></A ><B >PArray</B > a </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="ndoc" >Lifted parallel arrays </TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:dPA_Int" ><A NAME="v%3AdPA_Int" ></A ></A ><B >dPA_Int</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > <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:dPR_Int" ><A NAME="v%3AdPR_Int" ></A ></A ><B >dPR_Int</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APR" >PR</A > <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:upToPA_Int" ><A NAME="v%3AupToPA_Int" ></A ></A ><B >upToPA_Int</B > :: <A HREF="../ghc-prim/GHC-Types.html#t%3AInt" >Int</A > -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > <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:dPA_Word8" ><A NAME="v%3AdPA_Word8" ></A ></A ><B >dPA_Word8</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > <A HREF="../base/Data-Word.html#t%3AWord8" >Word8</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:dPR_Word8" ><A NAME="v%3AdPR_Word8" ></A ></A ><B >dPR_Word8</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APR" >PR</A > <A HREF="../base/Data-Word.html#t%3AWord8" >Word8</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:dPA_Double" ><A NAME="v%3AdPA_Double" ></A ></A ><B >dPA_Double</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > <A HREF="../ghc-prim/GHC-Types.html#t%3ADouble" >Double</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:dPR_Double" ><A NAME="v%3AdPR_Double" ></A ></A ><B >dPR_Double</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APR" >PR</A > <A HREF="../ghc-prim/GHC-Types.html#t%3ADouble" >Double</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:dPA_Bool" ><A NAME="v%3AdPA_Bool" ></A ></A ><B >dPA_Bool</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > <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:toPrimArrPA_Bool" ><A NAME="v%3AtoPrimArrPA_Bool" ></A ></A ><B >toPrimArrPA_Bool</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool" >Bool</A > -> PArray_Bool#</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:truesPA#" ><A NAME="v%3AtruesPA%23" ></A ></A ><B >truesPA#</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool" >Bool</A > -> <A HREF="../ghc-prim/GHC-Prim.html#t%3AInt%23" >Int#</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:dPA_Unit" ><A NAME="v%3AdPA_Unit" ></A ></A ><B >dPA_Unit</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</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:dPA_2" ><A NAME="v%3AdPA_2" ></A ></A ><B >dPA_2</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > b -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > (a, b)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:dPA_3" ><A NAME="v%3AdPA_3" ></A ></A ><B >dPA_3</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > b -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > c -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > (a, b, c)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:dPA_4" ><A NAME="v%3AdPA_4" ></A ></A ><B >dPA_4</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > b -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > c -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > d -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > (a, b, c, d)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:dPA_5" ><A NAME="v%3AdPA_5" ></A ></A ><B >dPA_5</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > b -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > c -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > d -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > e -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > (a, b, c, d, e)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:dPA_PArray" ><A NAME="v%3AdPA_PArray" ></A ></A ><B >dPA_PArray</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > (<A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > a <A NAME="t::->" ><A NAME="t%3A%3A-%3E" ></A ></A ><B >:-></B > b </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="ndoc" >The type of closures </TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:$:" ><A NAME="v%3A%24%3A" ></A ></A ><B >($:)</B > :: <SPAN CLASS="keyword" >forall</SPAN > a b. (a <A HREF="Data-Array-Parallel-Lifted.html#t%3A%3A-%3E" >:-></A > b) -> a -> b</TD ></TR ><TR ><TD CLASS="doc" >Closure application </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:$:^" ><A NAME="v%3A%24%3A%5E" ></A ></A ><B >($:^)</B > :: <SPAN CLASS="keyword" >forall</SPAN > a b. <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > (a <A HREF="Data-Array-Parallel-Lifted.html#t%3A%3A-%3E" >:-></A > b) -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APArray" >PArray</A > b</TD ></TR ><TR ><TD CLASS="doc" >Lifted closure application </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:dPA_Clo" ><A NAME="v%3AdPA_Clo" ></A ></A ><B >dPA_Clo</B > :: <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > a -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > b -> <A HREF="Data-Array-Parallel-Lifted.html#t%3APA" >PA</A > (a <A HREF="Data-Array-Parallel-Lifted.html#t%3A%3A-%3E" >:-></A > b)</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 >