ndent functions." class="trait"></a><a href="IterFuncPtnMap.html" title="a family of the form P: A -&gt; B -&gt; W etc, or dependent versions of this as a function of W, together with the scala type of a codomain; has methods for defining induced functions and dependent functions.">IterFuncPtnMap</a></li><li class="current-entities indented2"><a href="IterFuncShape$.html" title="" class="object"></a> <a href="IterFuncShape.html" title="a family of the form P: A -&gt; B -&gt; W etc, or dependent versions of 