cMapper.html" title="Given the scala type of the codomain, lifts IterFuncShape to IterFuncMapper">IterFuncMapper</a></li><li class="current-entities indented2"><a href="IterFuncPtnMap$.html" title="" class="object"></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." class="trait"></a><a href="IterFuncPtnMap.htm