[{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:ListF\">ListF</a> a b<ul class=\"subs\"><li>= <a href=\"#v:NilF\">NilF</a></li><li>| <a href=\"#v:ConsF\">ConsF</a> a b</li></ul>","name":"ListF ConsF NilF","module":"Data.SRTree.Recursion","link":"Data-SRTree-Recursion.html#t:ListF"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:NatF\">NatF</a> a<ul class=\"subs\"><li>= <a href=\"#v:ZeroF\">ZeroF</a></li><li>| <a href=\"#v:SuccF\">SuccF</a> a</li></ul>","name":"NatF SuccF ZeroF","module":"Data.SRTree.Recursion","link":"Data-SRTree-Recursion.html#t:NatF"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:StreamF\">StreamF</a> a b = <a href=\"#v:StreamF\">StreamF</a> a b","name":"StreamF StreamF","module":"Data.SRTree.Recursion","link":"Data-SRTree-Recursion.html#t:StreamF"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:TreeF\">TreeF</a> a b<ul class=\"subs\"><li>= <a href=\"#v:LeafF\">LeafF</a></li><li>| <a href=\"#v:NodeF\">NodeF</a> b a b</li></ul>","name":"TreeF NodeF LeafF","module":"Data.SRTree.Recursion","link":"Data-SRTree-Recursion.html#t:TreeF"},{"display_html":"<span class=\"keyword\">newtype</span> <a href=\"#t:Fix\">Fix</a> f = <a href=\"#v:Fix\">Fix</a> {<ul class=\"subs\"><li><a href=\"#v:unfix\">unfix</a> :: f (<a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> f)</li></ul>}","name":"Fix unfix Fix","module":"Data.SRTree.Recursion","link":"Data-SRTree-Recursion.html#t:Fix"},{"display_html":"<span class=\"keyword\">type</span> <a href=\"#t:Algebra\">Algebra</a> f a = f a -&gt; a","name":"Algebra","module":"Data.SRTree.Recursion","link":"Data-SRTree-Recursion.html#t:Algebra"},{"display_html":"<span class=\"keyword\">type</span> <a href=\"#t:CoAlgebra\">CoAlgebra</a> f a = a -&gt; f a","name":"CoAlgebra","module":"Data.SRTree.Recursion","link":"Data-SRTree-Recursion.html#t:CoAlgebra"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:Cofree\">Cofree</a> f a = a <a href=\"#v::-60-\">:&lt;</a> (f (<a href=\"Data-SRTree-Recursion.html#t:Cofree\" title=\"Data.SRTree.Recursion\">Cofree</a> f a))","name":"Cofree :<","module":"Data.SRTree.Recursion","link":"Data-SRTree-Recursion.html#t:Cofree"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:Free\">Free</a> f a<ul class=\"subs\"><li>= <a href=\"#v:Ret\">Ret</a> a</li><li>| <a href=\"#v:Op\">Op</a> (f (<a href=\"Data-SRTree-Recursion.html#t:Free\" title=\"Data.SRTree.Recursion\">Free</a> f a))</li></ul>","name":"Free Ret Op","module":"Data.SRTree.Recursion","link":"Data-SRTree-Recursion.html#t:Free"},{"display_html":"<a href=\"#v:extract\">extract</a> :: <a href=\"Data-SRTree-Recursion.html#t:Cofree\" title=\"Data.SRTree.Recursion\">Cofree</a> f a -&gt; a","name":"extract","module":"Data.SRTree.Recursion","link":"Data-SRTree-Recursion.html#v:extract"},{"display_html":"<a href=\"#v:unOp\">unOp</a> :: <a href=\"Data-SRTree-Recursion.html#t:Free\" title=\"Data.SRTree.Recursion\">Free</a> f a -&gt; f (<a href=\"Data-SRTree-Recursion.html#t:Free\" title=\"Data.SRTree.Recursion\">Free</a> f a)","name":"unOp","module":"Data.SRTree.Recursion","link":"Data-SRTree-Recursion.html#v:unOp"},{"display_html":"<a href=\"#v:cata\">cata</a> :: <a href=\"/package/base-4.16.4.0/docs/Data-Functor.html#t:Functor\" title=\"Data.Functor\">Functor</a> f =&gt; (f a -&gt; a) -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> f -&gt; a","name":"cata","module":"Data.SRTree.Recursion","link":"Data-SRTree-Recursion.html#v:cata"},{"display_html":"<a href=\"#v:cataM\">cataM</a> :: (<a href=\"/package/base-4.16.4.0/docs/Data-Functor.html#t:Functor\" title=\"Data.Functor\">Functor</a> f, <a href=\"/package/base-4.16.4.0/docs/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m) =&gt; (<span class=\"keyword\">forall</span> x. f (m x) -&gt; m (f x)) -&gt; (f a -&gt; m a) -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> f -&gt; m a","name":"cataM","module":"Data.SRTree.Recursion","link":"Data-SRTree-Recursion.html#v:cataM"},{"display_html":"<a href=\"#v:ana\">ana</a> :: <a href=\"/package/base-4.16.4.0/docs/Data-Functor.html#t:Functor\" title=\"Data.Functor\">Functor</a> f =&gt; (a -&gt; f a) -&gt; a -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> f","name":"ana","module":"Data.SRTree.Recursion","link":"Data-SRTree-Recursion.html#v:ana"},{"display_html":"<a href=\"#v:hylo\">hylo</a> :: <a href=\"/package/base-4.16.4.0/docs/Data-Functor.html#t:Functor\" title=\"Data.Functor\">Functor</a> f =&gt; (f b -&gt; b) -&gt; (a -&gt; f a) -&gt; a -&gt; b","name":"hylo","module":"Data.SRTree.Recursion","link":"Data-SRTree-Recursion.html#v:hylo"},{"display_html":"<a href=\"#v:para\">para</a> :: <a href=\"/package/base-4.16.4.0/docs/Data-Functor.html#t:Functor\" title=\"Data.Functor\">Functor</a> f =&gt; (f (<a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> f, a) -&gt; a) -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> f -&gt; a","name":"para","module":"Data.SRTree.Recursion","link":"Data-SRTree-Recursion.html#v:para"},{"display_html":"<a href=\"#v:mutu\">mutu</a> :: <a href=\"/package/base-4.16.4.0/docs/Data-Functor.html#t:Functor\" title=\"Data.Functor\">Functor</a> f =&gt; (f (a, b) -&gt; a) -&gt; (f (a, b) -&gt; b) -&gt; (<a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> f -&gt; a, <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> f -&gt; b)","name":"mutu","module":"Data.SRTree.Recursion","link":"Data-SRTree-Recursion.html#v:mutu"},{"display_html":"<a href=\"#v:apo\">apo</a> :: <a href=\"/package/base-4.16.4.0/docs/Data-Functor.html#t:Functor\" title=\"Data.Functor\">Functor</a> f =&gt; (a -&gt; f (<a href=\"/package/base-4.16.4.0/docs/Data-Either.html#t:Either\" title=\"Data.Either\">Either</a> (<a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> f) a)) -&gt; a -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> f","name":"apo","module":"Data.SRTree.Recursion","link":"Data-SRTree-Recursion.html#v:apo"},{"display_html":"<a href=\"#v:accu\">accu</a> :: <a href=\"/package/base-4.16.4.0/docs/Data-Functor.html#t:Functor\" title=\"Data.Functor\">Functor</a> f =&gt; (<span class=\"keyword\">forall</span> x. f x -&gt; p -&gt; f (x, p)) -&gt; (f a -&gt; p -&gt; a) -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> f -&gt; p -&gt; a","name":"accu","module":"Data.SRTree.Recursion","link":"Data-SRTree-Recursion.html#v:accu"},{"display_html":"<a href=\"#v:histo\">histo</a> :: <a href=\"/package/base-4.16.4.0/docs/Data-Functor.html#t:Functor\" title=\"Data.Functor\">Functor</a> f =&gt; (f (<a href=\"Data-SRTree-Recursion.html#t:Cofree\" title=\"Data.SRTree.Recursion\">Cofree</a> f a) -&gt; a) -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> f -&gt; a","name":"histo","module":"Data.SRTree.Recursion","link":"Data-SRTree-Recursion.html#v:histo"},{"display_html":"<a href=\"#v:futu\">futu</a> :: <a href=\"/package/base-4.16.4.0/docs/Data-Functor.html#t:Functor\" title=\"Data.Functor\">Functor</a> f =&gt; (a -&gt; f (<a href=\"Data-SRTree-Recursion.html#t:Free\" title=\"Data.SRTree.Recursion\">Free</a> f a)) -&gt; a -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> f","name":"futu","module":"Data.SRTree.Recursion","link":"Data-SRTree-Recursion.html#v:futu"},{"display_html":"<a href=\"#v:chrono\">chrono</a> :: <a href=\"/package/base-4.16.4.0/docs/Data-Functor.html#t:Functor\" title=\"Data.Functor\">Functor</a> f =&gt; (f (<a href=\"Data-SRTree-Recursion.html#t:Cofree\" title=\"Data.SRTree.Recursion\">Cofree</a> f b) -&gt; b) -&gt; (a -&gt; f (<a href=\"Data-SRTree-Recursion.html#t:Free\" title=\"Data.SRTree.Recursion\">Free</a> f a)) -&gt; a -&gt; b","name":"chrono","module":"Data.SRTree.Recursion","link":"Data-SRTree-Recursion.html#v:chrono"},{"display_html":"<a href=\"#v:fromList\">fromList</a> :: [a] -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> (<a href=\"Data-SRTree-Recursion.html#t:ListF\" title=\"Data.SRTree.Recursion\">ListF</a> a)","name":"fromList","module":"Data.SRTree.Recursion","link":"Data-SRTree-Recursion.html#v:fromList"},{"display_html":"<a href=\"#v:toList\">toList</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> (<a href=\"Data-SRTree-Recursion.html#t:ListF\" title=\"Data.SRTree.Recursion\">ListF</a> a) -&gt; [a]","name":"toList","module":"Data.SRTree.Recursion","link":"Data-SRTree-Recursion.html#v:toList"},{"display_html":"<a href=\"#v:stream2list\">stream2list</a> :: <a href=\"Data-SRTree-Recursion.html#t:StreamF\" title=\"Data.SRTree.Recursion\">StreamF</a> a [a] -&gt; [a]","name":"stream2list","module":"Data.SRTree.Recursion","link":"Data-SRTree-Recursion.html#v:stream2list"},{"display_html":"<a href=\"#v:toNat\">toNat</a> :: <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a> -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Recursion.html#t:NatF\" title=\"Data.SRTree.Recursion\">NatF</a>","name":"toNat","module":"Data.SRTree.Recursion","link":"Data-SRTree-Recursion.html#v:toNat"},{"display_html":"<a href=\"#v:fromNat\">fromNat</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Recursion.html#t:NatF\" title=\"Data.SRTree.Recursion\">NatF</a> -&gt; <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a>","name":"fromNat","module":"Data.SRTree.Recursion","link":"Data-SRTree-Recursion.html#v:fromNat"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:SRTree\">SRTree</a> val<ul class=\"subs\"><li>= <a href=\"#v:Var\">Var</a> <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a></li><li>| <a href=\"#v:Param\">Param</a> <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a></li><li>| <a href=\"#v:Const\">Const</a> <a href=\"/package/base-4.16.4.0/docs/Prelude.html#t:Double\" title=\"Prelude\">Double</a></li><li>| <a href=\"#v:Uni\">Uni</a> <a href=\"Data-SRTree-Internal.html#t:Function\" title=\"Data.SRTree.Internal\">Function</a> val</li><li>| <a href=\"#v:Bin\">Bin</a> <a href=\"Data-SRTree-Internal.html#t:Op\" title=\"Data.SRTree.Internal\">Op</a> val val</li></ul>","name":"SRTree Const Uni Bin Var Param","module":"Data.SRTree.Internal","link":"Data-SRTree-Internal.html#t:SRTree"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:Function\">Function</a><ul class=\"subs\"><li>= <a href=\"#v:Id\">Id</a></li><li>| <a href=\"#v:Abs\">Abs</a></li><li>| <a href=\"#v:Sin\">Sin</a></li><li>| <a href=\"#v:Cos\">Cos</a></li><li>| <a href=\"#v:Tan\">Tan</a></li><li>| <a href=\"#v:Sinh\">Sinh</a></li><li>| <a href=\"#v:Cosh\">Cosh</a></li><li>| <a href=\"#v:Tanh\">Tanh</a></li><li>| <a href=\"#v:ASin\">ASin</a></li><li>| <a href=\"#v:ACos\">ACos</a></li><li>| <a href=\"#v:ATan\">ATan</a></li><li>| <a href=\"#v:ASinh\">ASinh</a></li><li>| <a href=\"#v:ACosh\">ACosh</a></li><li>| <a href=\"#v:ATanh\">ATanh</a></li><li>| <a href=\"#v:Sqrt\">Sqrt</a></li><li>| <a href=\"#v:Cbrt\">Cbrt</a></li><li>| <a href=\"#v:Square\">Square</a></li><li>| <a href=\"#v:Log\">Log</a></li><li>| <a href=\"#v:Exp\">Exp</a></li></ul>","name":"Function Exp Id Abs Sin Cos Tan Sinh Cosh Tanh ASin ACos ATan ASinh ACosh ATanh Sqrt Cbrt Square Log","module":"Data.SRTree.Internal","link":"Data-SRTree-Internal.html#t:Function"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:Op\">Op</a><ul class=\"subs\"><li>= <a href=\"#v:Add\">Add</a></li><li>| <a href=\"#v:Sub\">Sub</a></li><li>| <a href=\"#v:Mul\">Mul</a></li><li>| <a href=\"#v:Div\">Div</a></li><li>| <a href=\"#v:Power\">Power</a></li></ul>","name":"Op Div Add Sub Mul Power","module":"Data.SRTree.Internal","link":"Data-SRTree-Internal.html#t:Op"},{"display_html":"<a href=\"#v:param\">param</a> :: <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a> -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a>","name":"param","module":"Data.SRTree.Internal","link":"Data-SRTree-Internal.html#v:param"},{"display_html":"<a href=\"#v:var\">var</a> :: <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a> -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a>","name":"var","module":"Data.SRTree.Internal","link":"Data-SRTree-Internal.html#v:var"},{"display_html":"<a href=\"#v:arity\">arity</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a> -&gt; <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a>","name":"arity","module":"Data.SRTree.Internal","link":"Data-SRTree-Internal.html#v:arity"},{"display_html":"<a href=\"#v:getChildren\">getChildren</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a> -&gt; [<a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a>]","name":"getChildren","module":"Data.SRTree.Internal","link":"Data-SRTree-Internal.html#v:getChildren"},{"display_html":"<a href=\"#v:countNodes\">countNodes</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a> -&gt; <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a>","name":"countNodes","module":"Data.SRTree.Internal","link":"Data-SRTree-Internal.html#v:countNodes"},{"display_html":"<a href=\"#v:countVarNodes\">countVarNodes</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a> -&gt; <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a>","name":"countVarNodes","module":"Data.SRTree.Internal","link":"Data-SRTree-Internal.html#v:countVarNodes"},{"display_html":"<a href=\"#v:countConsts\">countConsts</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a> -&gt; <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a>","name":"countConsts","module":"Data.SRTree.Internal","link":"Data-SRTree-Internal.html#v:countConsts"},{"display_html":"<a href=\"#v:countParams\">countParams</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a> -&gt; <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a>","name":"countParams","module":"Data.SRTree.Internal","link":"Data-SRTree-Internal.html#v:countParams"},{"display_html":"<a href=\"#v:countOccurrences\">countOccurrences</a> :: <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a> -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a> -&gt; <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a>","name":"countOccurrences","module":"Data.SRTree.Internal","link":"Data-SRTree-Internal.html#v:countOccurrences"},{"display_html":"<a href=\"#v:deriveBy\">deriveBy</a> :: <a href=\"/package/base-4.16.4.0/docs/Data-Bool.html#t:Bool\" title=\"Data.Bool\">Bool</a> -&gt; <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a> -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a> -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a>","name":"deriveBy","module":"Data.SRTree.Internal","link":"Data-SRTree-Internal.html#v:deriveBy"},{"display_html":"<a href=\"#v:deriveByVar\">deriveByVar</a> :: <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a> -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a> -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a>","name":"deriveByVar","module":"Data.SRTree.Internal","link":"Data-SRTree-Internal.html#v:deriveByVar"},{"display_html":"<a href=\"#v:deriveByParam\">deriveByParam</a> :: <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a> -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a> -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a>","name":"deriveByParam","module":"Data.SRTree.Internal","link":"Data-SRTree-Internal.html#v:deriveByParam"},{"display_html":"<a href=\"#v:derivative\">derivative</a> :: <a href=\"/package/base-4.16.4.0/docs/Numeric.html#t:Floating\" title=\"Numeric\">Floating</a> a =&gt; <a href=\"Data-SRTree-Internal.html#t:Function\" title=\"Data.SRTree.Internal\">Function</a> -&gt; a -&gt; a","name":"derivative","module":"Data.SRTree.Internal","link":"Data-SRTree-Internal.html#v:derivative"},{"display_html":"<a href=\"#v:forwardMode\">forwardMode</a> :: (<a href=\"/package/base-4.16.4.0/docs/Text-Show.html#t:Show\" title=\"Text.Show\">Show</a> a, <a href=\"/package/base-4.16.4.0/docs/Prelude.html#t:Num\" title=\"Prelude\">Num</a> a, <a href=\"/package/base-4.16.4.0/docs/Numeric.html#t:Floating\" title=\"Numeric\">Floating</a> a) =&gt; <a href=\"/package/vector-0.13.0.0/docs/Data-Vector.html#t:Vector\" title=\"Data.Vector\">Vector</a> a -&gt; <a href=\"/package/vector-0.13.0.0/docs/Data-Vector.html#t:Vector\" title=\"Data.Vector\">Vector</a> <a href=\"/package/base-4.16.4.0/docs/Prelude.html#t:Double\" title=\"Prelude\">Double</a> -&gt; (<a href=\"/package/base-4.16.4.0/docs/Prelude.html#t:Double\" title=\"Prelude\">Double</a> -&gt; a) -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a> -&gt; [a]","name":"forwardMode","module":"Data.SRTree.Internal","link":"Data-SRTree-Internal.html#v:forwardMode"},{"display_html":"<a href=\"#v:gradParams\">gradParams</a> :: (<a href=\"/package/base-4.16.4.0/docs/Text-Show.html#t:Show\" title=\"Text.Show\">Show</a> a, <a href=\"/package/base-4.16.4.0/docs/Prelude.html#t:Num\" title=\"Prelude\">Num</a> a, <a href=\"/package/base-4.16.4.0/docs/Numeric.html#t:Floating\" title=\"Numeric\">Floating</a> a) =&gt; <a href=\"/package/vector-0.13.0.0/docs/Data-Vector.html#t:Vector\" title=\"Data.Vector\">Vector</a> a -&gt; <a href=\"/package/vector-0.13.0.0/docs/Data-Vector.html#t:Vector\" title=\"Data.Vector\">Vector</a> <a href=\"/package/base-4.16.4.0/docs/Prelude.html#t:Double\" title=\"Prelude\">Double</a> -&gt; (<a href=\"/package/base-4.16.4.0/docs/Prelude.html#t:Double\" title=\"Prelude\">Double</a> -&gt; a) -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a> -&gt; (a, [a])","name":"gradParams","module":"Data.SRTree.Internal","link":"Data-SRTree-Internal.html#v:gradParams"},{"display_html":"<a href=\"#v:evalFun\">evalFun</a> :: <a href=\"/package/base-4.16.4.0/docs/Numeric.html#t:Floating\" title=\"Numeric\">Floating</a> a =&gt; <a href=\"Data-SRTree-Internal.html#t:Function\" title=\"Data.SRTree.Internal\">Function</a> -&gt; a -&gt; a","name":"evalFun","module":"Data.SRTree.Internal","link":"Data-SRTree-Internal.html#v:evalFun"},{"display_html":"<a href=\"#v:evalOp\">evalOp</a> :: <a href=\"/package/base-4.16.4.0/docs/Numeric.html#t:Floating\" title=\"Numeric\">Floating</a> a =&gt; <a href=\"Data-SRTree-Internal.html#t:Op\" title=\"Data.SRTree.Internal\">Op</a> -&gt; a -&gt; a -&gt; a","name":"evalOp","module":"Data.SRTree.Internal","link":"Data-SRTree-Internal.html#v:evalOp"},{"display_html":"<a href=\"#v:inverseFunc\">inverseFunc</a> :: <a href=\"Data-SRTree-Internal.html#t:Function\" title=\"Data.SRTree.Internal\">Function</a> -&gt; <a href=\"Data-SRTree-Internal.html#t:Function\" title=\"Data.SRTree.Internal\">Function</a>","name":"inverseFunc","module":"Data.SRTree.Internal","link":"Data-SRTree-Internal.html#v:inverseFunc"},{"display_html":"<a href=\"#v:evalTree\">evalTree</a> :: (<a href=\"/package/base-4.16.4.0/docs/Prelude.html#t:Num\" title=\"Prelude\">Num</a> a, <a href=\"/package/base-4.16.4.0/docs/Numeric.html#t:Floating\" title=\"Numeric\">Floating</a> a) =&gt; <a href=\"/package/vector-0.13.0.0/docs/Data-Vector.html#t:Vector\" title=\"Data.Vector\">Vector</a> a -&gt; <a href=\"/package/vector-0.13.0.0/docs/Data-Vector.html#t:Vector\" title=\"Data.Vector\">Vector</a> <a href=\"/package/base-4.16.4.0/docs/Prelude.html#t:Double\" title=\"Prelude\">Double</a> -&gt; (<a href=\"/package/base-4.16.4.0/docs/Prelude.html#t:Double\" title=\"Prelude\">Double</a> -&gt; a) -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a> -&gt; a","name":"evalTree","module":"Data.SRTree.Internal","link":"Data-SRTree-Internal.html#v:evalTree"},{"display_html":"<a href=\"#v:relabelParams\">relabelParams</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a> -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a>","name":"relabelParams","module":"Data.SRTree.Internal","link":"Data-SRTree-Internal.html#v:relabelParams"},{"display_html":"<a href=\"#v:constsToParam\">constsToParam</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a> -&gt; (<a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a>, [<a href=\"/package/base-4.16.4.0/docs/Prelude.html#t:Double\" title=\"Prelude\">Double</a>])","name":"constsToParam","module":"Data.SRTree.Internal","link":"Data-SRTree-Internal.html#v:constsToParam"},{"display_html":"<a href=\"#v:floatConstsToParam\">floatConstsToParam</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a> -&gt; (<a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a>, [<a href=\"/package/base-4.16.4.0/docs/Prelude.html#t:Double\" title=\"Prelude\">Double</a>])","name":"floatConstsToParam","module":"Data.SRTree.Internal","link":"Data-SRTree-Internal.html#v:floatConstsToParam"},{"display_html":"<span class=\"keyword\">class</span> <a href=\"#t:HasVars\">HasVars</a> p","name":"HasVars","module":"Data.SRTree.Random","link":"Data-SRTree-Random.html#t:HasVars"},{"display_html":"<span class=\"keyword\">class</span> <a href=\"#t:HasVals\">HasVals</a> p","name":"HasVals","module":"Data.SRTree.Random","link":"Data-SRTree-Random.html#t:HasVals"},{"display_html":"<span class=\"keyword\">class</span> <a href=\"#t:HasFuns\">HasFuns</a> p","name":"HasFuns","module":"Data.SRTree.Random","link":"Data-SRTree-Random.html#t:HasFuns"},{"display_html":"<span class=\"keyword\">type</span> <a href=\"#t:HasEverything\">HasEverything</a> p = (<a href=\"Data-SRTree-Random.html#t:HasVars\" title=\"Data.SRTree.Random\">HasVars</a> p, <a href=\"Data-SRTree-Random.html#t:HasVals\" title=\"Data.SRTree.Random\">HasVals</a> p, HasExps p, <a href=\"Data-SRTree-Random.html#t:HasFuns\" title=\"Data.SRTree.Random\">HasFuns</a> p)","name":"HasEverything","module":"Data.SRTree.Random","link":"Data-SRTree-Random.html#t:HasEverything"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:FullParams\">FullParams</a> = <a href=\"#v:P\">P</a> [<a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a>] (<a href=\"/package/base-4.16.4.0/docs/Prelude.html#t:Double\" title=\"Prelude\">Double</a>, <a href=\"/package/base-4.16.4.0/docs/Prelude.html#t:Double\" title=\"Prelude\">Double</a>) (<a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a>, <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a>) [<a href=\"Data-SRTree-Internal.html#t:Function\" title=\"Data.SRTree.Internal\">Function</a>]","name":"FullParams P","module":"Data.SRTree.Random","link":"Data-SRTree-Random.html#t:FullParams"},{"display_html":"<span class=\"keyword\">type</span> <a href=\"#t:RndTree\">RndTree</a> p = <a href=\"/package/mtl-2.2.2/docs/Control-Monad-Reader.html#t:ReaderT\" title=\"Control.Monad.Reader\">ReaderT</a> p (<a href=\"/package/mtl-2.2.2/docs/Control-Monad-State-Lazy.html#t:StateT\" title=\"Control.Monad.State.Lazy\">StateT</a> <a href=\"/package/random-1.2.1.1/docs/System-Random.html#t:StdGen\" title=\"System.Random\">StdGen</a> <a href=\"/package/base-4.16.4.0/docs/System-IO.html#t:IO\" title=\"System.IO\">IO</a>) (<a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a>)","name":"RndTree","module":"Data.SRTree.Random","link":"Data-SRTree-Random.html#t:RndTree"},{"display_html":"<a href=\"#v:randomVar\">randomVar</a> :: <a href=\"Data-SRTree-Random.html#t:HasVars\" title=\"Data.SRTree.Random\">HasVars</a> p =&gt; <a href=\"Data-SRTree-Random.html#t:RndTree\" title=\"Data.SRTree.Random\">RndTree</a> p","name":"randomVar","module":"Data.SRTree.Random","link":"Data-SRTree-Random.html#v:randomVar"},{"display_html":"<a href=\"#v:randomConst\">randomConst</a> :: <a href=\"Data-SRTree-Random.html#t:HasVals\" title=\"Data.SRTree.Random\">HasVals</a> p =&gt; <a href=\"Data-SRTree-Random.html#t:RndTree\" title=\"Data.SRTree.Random\">RndTree</a> p","name":"randomConst","module":"Data.SRTree.Random","link":"Data-SRTree-Random.html#v:randomConst"},{"display_html":"<a href=\"#v:randomPow\">randomPow</a> :: HasExps p =&gt; <a href=\"Data-SRTree-Random.html#t:RndTree\" title=\"Data.SRTree.Random\">RndTree</a> p","name":"randomPow","module":"Data.SRTree.Random","link":"Data-SRTree-Random.html#v:randomPow"},{"display_html":"<a href=\"#v:randomFunction\">randomFunction</a> :: <a href=\"Data-SRTree-Random.html#t:HasFuns\" title=\"Data.SRTree.Random\">HasFuns</a> p =&gt; <a href=\"Data-SRTree-Random.html#t:RndTree\" title=\"Data.SRTree.Random\">RndTree</a> p","name":"randomFunction","module":"Data.SRTree.Random","link":"Data-SRTree-Random.html#v:randomFunction"},{"display_html":"<a href=\"#v:randomNode\">randomNode</a> :: <a href=\"Data-SRTree-Random.html#t:HasEverything\" title=\"Data.SRTree.Random\">HasEverything</a> p =&gt; <a href=\"Data-SRTree-Random.html#t:RndTree\" title=\"Data.SRTree.Random\">RndTree</a> p","name":"randomNode","module":"Data.SRTree.Random","link":"Data-SRTree-Random.html#v:randomNode"},{"display_html":"<a href=\"#v:randomNonTerminal\">randomNonTerminal</a> :: <a href=\"Data-SRTree-Random.html#t:HasEverything\" title=\"Data.SRTree.Random\">HasEverything</a> p =&gt; <a href=\"Data-SRTree-Random.html#t:RndTree\" title=\"Data.SRTree.Random\">RndTree</a> p","name":"randomNonTerminal","module":"Data.SRTree.Random","link":"Data-SRTree-Random.html#v:randomNonTerminal"},{"display_html":"<a href=\"#v:randomTree\">randomTree</a> :: <a href=\"Data-SRTree-Random.html#t:HasEverything\" title=\"Data.SRTree.Random\">HasEverything</a> p =&gt; <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a> -&gt; <a href=\"Data-SRTree-Random.html#t:RndTree\" title=\"Data.SRTree.Random\">RndTree</a> p","name":"randomTree","module":"Data.SRTree.Random","link":"Data-SRTree-Random.html#v:randomTree"},{"display_html":"<a href=\"#v:randomTreeBalanced\">randomTreeBalanced</a> :: <a href=\"Data-SRTree-Random.html#t:HasEverything\" title=\"Data.SRTree.Random\">HasEverything</a> p =&gt; <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a> -&gt; <a href=\"Data-SRTree-Random.html#t:RndTree\" title=\"Data.SRTree.Random\">RndTree</a> p","name":"randomTreeBalanced","module":"Data.SRTree.Random","link":"Data-SRTree-Random.html#v:randomTreeBalanced"},{"display_html":"<a href=\"#v:showExpr\">showExpr</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a> -&gt; <a href=\"/package/base-4.16.4.0/docs/Data-String.html#t:String\" title=\"Data.String\">String</a>","name":"showExpr","module":"Data.SRTree.Print","link":"Data-SRTree-Print.html#v:showExpr"},{"display_html":"<a href=\"#v:printExpr\">printExpr</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a> -&gt; <a href=\"/package/base-4.16.4.0/docs/System-IO.html#t:IO\" title=\"System.IO\">IO</a> ()","name":"printExpr","module":"Data.SRTree.Print","link":"Data-SRTree-Print.html#v:printExpr"},{"display_html":"<a href=\"#v:showTikz\">showTikz</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a> -&gt; <a href=\"/package/base-4.16.4.0/docs/Data-String.html#t:String\" title=\"Data.String\">String</a>","name":"showTikz","module":"Data.SRTree.Print","link":"Data-SRTree-Print.html#v:showTikz"},{"display_html":"<a href=\"#v:printTikz\">printTikz</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a> -&gt; <a href=\"/package/base-4.16.4.0/docs/System-IO.html#t:IO\" title=\"System.IO\">IO</a> ()","name":"printTikz","module":"Data.SRTree.Print","link":"Data-SRTree-Print.html#v:printTikz"},{"display_html":"<a href=\"#v:showPython\">showPython</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a> -&gt; <a href=\"/package/base-4.16.4.0/docs/Data-String.html#t:String\" title=\"Data.String\">String</a>","name":"showPython","module":"Data.SRTree.Print","link":"Data-SRTree-Print.html#v:showPython"},{"display_html":"<a href=\"#v:printPython\">printPython</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a> -&gt; <a href=\"/package/base-4.16.4.0/docs/System-IO.html#t:IO\" title=\"System.IO\">IO</a> ()","name":"printPython","module":"Data.SRTree.Print","link":"Data-SRTree-Print.html#v:printPython"},{"display_html":"<a href=\"#v:showLatex\">showLatex</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a> -&gt; <a href=\"/package/base-4.16.4.0/docs/Data-String.html#t:String\" title=\"Data.String\">String</a>","name":"showLatex","module":"Data.SRTree.Print","link":"Data-SRTree-Print.html#v:showLatex"},{"display_html":"<a href=\"#v:printLatex\">printLatex</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree-Internal.html#t:SRTree\" title=\"Data.SRTree.Internal\">SRTree</a> -&gt; <a href=\"/package/base-4.16.4.0/docs/System-IO.html#t:IO\" title=\"System.IO\">IO</a> ()","name":"printLatex","module":"Data.SRTree.Print","link":"Data-SRTree-Print.html#v:printLatex"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:SRTree\">SRTree</a> val<ul class=\"subs\"><li>= <a href=\"#v:Var\">Var</a> <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a></li><li>| <a href=\"#v:Param\">Param</a> <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a></li><li>| <a href=\"#v:Const\">Const</a> <a href=\"/package/base-4.16.4.0/docs/Prelude.html#t:Double\" title=\"Prelude\">Double</a></li><li>| <a href=\"#v:Uni\">Uni</a> <a href=\"Data-SRTree.html#t:Function\" title=\"Data.SRTree\">Function</a> val</li><li>| <a href=\"#v:Bin\">Bin</a> <a href=\"Data-SRTree.html#t:Op\" title=\"Data.SRTree\">Op</a> val val</li></ul>","name":"SRTree Const Uni Bin Var Param","module":"Data.SRTree","link":"Data-SRTree.html#t:SRTree"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:Function\">Function</a><ul class=\"subs\"><li>= <a href=\"#v:Id\">Id</a></li><li>| <a href=\"#v:Abs\">Abs</a></li><li>| <a href=\"#v:Sin\">Sin</a></li><li>| <a href=\"#v:Cos\">Cos</a></li><li>| <a href=\"#v:Tan\">Tan</a></li><li>| <a href=\"#v:Sinh\">Sinh</a></li><li>| <a href=\"#v:Cosh\">Cosh</a></li><li>| <a href=\"#v:Tanh\">Tanh</a></li><li>| <a href=\"#v:ASin\">ASin</a></li><li>| <a href=\"#v:ACos\">ACos</a></li><li>| <a href=\"#v:ATan\">ATan</a></li><li>| <a href=\"#v:ASinh\">ASinh</a></li><li>| <a href=\"#v:ACosh\">ACosh</a></li><li>| <a href=\"#v:ATanh\">ATanh</a></li><li>| <a href=\"#v:Sqrt\">Sqrt</a></li><li>| <a href=\"#v:Cbrt\">Cbrt</a></li><li>| <a href=\"#v:Square\">Square</a></li><li>| <a href=\"#v:Log\">Log</a></li><li>| <a href=\"#v:Exp\">Exp</a></li></ul>","name":"Function Exp Id Abs Sin Cos Tan Sinh Cosh Tanh ASin ACos ATan ASinh ACosh ATanh Sqrt Cbrt Square Log","module":"Data.SRTree","link":"Data-SRTree.html#t:Function"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:Op\">Op</a><ul class=\"subs\"><li>= <a href=\"#v:Add\">Add</a></li><li>| <a href=\"#v:Sub\">Sub</a></li><li>| <a href=\"#v:Mul\">Mul</a></li><li>| <a href=\"#v:Div\">Div</a></li><li>| <a href=\"#v:Power\">Power</a></li></ul>","name":"Op Div Add Sub Mul Power","module":"Data.SRTree","link":"Data-SRTree.html#t:Op"},{"display_html":"<a href=\"#v:param\">param</a> :: <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a> -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree.html#t:SRTree\" title=\"Data.SRTree\">SRTree</a>","name":"param","module":"Data.SRTree","link":"Data-SRTree.html#v:param"},{"display_html":"<a href=\"#v:var\">var</a> :: <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a> -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree.html#t:SRTree\" title=\"Data.SRTree\">SRTree</a>","name":"var","module":"Data.SRTree","link":"Data-SRTree.html#v:var"},{"display_html":"<a href=\"#v:arity\">arity</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree.html#t:SRTree\" title=\"Data.SRTree\">SRTree</a> -&gt; <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a>","name":"arity","module":"Data.SRTree","link":"Data-SRTree.html#v:arity"},{"display_html":"<a href=\"#v:getChildren\">getChildren</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree.html#t:SRTree\" title=\"Data.SRTree\">SRTree</a> -&gt; [<a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree.html#t:SRTree\" title=\"Data.SRTree\">SRTree</a>]","name":"getChildren","module":"Data.SRTree","link":"Data-SRTree.html#v:getChildren"},{"display_html":"<a href=\"#v:countNodes\">countNodes</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree.html#t:SRTree\" title=\"Data.SRTree\">SRTree</a> -&gt; <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a>","name":"countNodes","module":"Data.SRTree","link":"Data-SRTree.html#v:countNodes"},{"display_html":"<a href=\"#v:countVarNodes\">countVarNodes</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree.html#t:SRTree\" title=\"Data.SRTree\">SRTree</a> -&gt; <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a>","name":"countVarNodes","module":"Data.SRTree","link":"Data-SRTree.html#v:countVarNodes"},{"display_html":"<a href=\"#v:countConsts\">countConsts</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree.html#t:SRTree\" title=\"Data.SRTree\">SRTree</a> -&gt; <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a>","name":"countConsts","module":"Data.SRTree","link":"Data-SRTree.html#v:countConsts"},{"display_html":"<a href=\"#v:countParams\">countParams</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree.html#t:SRTree\" title=\"Data.SRTree\">SRTree</a> -&gt; <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a>","name":"countParams","module":"Data.SRTree","link":"Data-SRTree.html#v:countParams"},{"display_html":"<a href=\"#v:countOccurrences\">countOccurrences</a> :: <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a> -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree.html#t:SRTree\" title=\"Data.SRTree\">SRTree</a> -&gt; <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a>","name":"countOccurrences","module":"Data.SRTree","link":"Data-SRTree.html#v:countOccurrences"},{"display_html":"<a href=\"#v:deriveBy\">deriveBy</a> :: <a href=\"/package/base-4.16.4.0/docs/Data-Bool.html#t:Bool\" title=\"Data.Bool\">Bool</a> -&gt; <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a> -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree.html#t:SRTree\" title=\"Data.SRTree\">SRTree</a> -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree.html#t:SRTree\" title=\"Data.SRTree\">SRTree</a>","name":"deriveBy","module":"Data.SRTree","link":"Data-SRTree.html#v:deriveBy"},{"display_html":"<a href=\"#v:deriveByVar\">deriveByVar</a> :: <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a> -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree.html#t:SRTree\" title=\"Data.SRTree\">SRTree</a> -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree.html#t:SRTree\" title=\"Data.SRTree\">SRTree</a>","name":"deriveByVar","module":"Data.SRTree","link":"Data-SRTree.html#v:deriveByVar"},{"display_html":"<a href=\"#v:deriveByParam\">deriveByParam</a> :: <a href=\"/package/base-4.16.4.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a> -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree.html#t:SRTree\" title=\"Data.SRTree\">SRTree</a> -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree.html#t:SRTree\" title=\"Data.SRTree\">SRTree</a>","name":"deriveByParam","module":"Data.SRTree","link":"Data-SRTree.html#v:deriveByParam"},{"display_html":"<a href=\"#v:derivative\">derivative</a> :: <a href=\"/package/base-4.16.4.0/docs/Numeric.html#t:Floating\" title=\"Numeric\">Floating</a> a =&gt; <a href=\"Data-SRTree.html#t:Function\" title=\"Data.SRTree\">Function</a> -&gt; a -&gt; a","name":"derivative","module":"Data.SRTree","link":"Data-SRTree.html#v:derivative"},{"display_html":"<a href=\"#v:forwardMode\">forwardMode</a> :: (<a href=\"/package/base-4.16.4.0/docs/Text-Show.html#t:Show\" title=\"Text.Show\">Show</a> a, <a href=\"/package/base-4.16.4.0/docs/Prelude.html#t:Num\" title=\"Prelude\">Num</a> a, <a href=\"/package/base-4.16.4.0/docs/Numeric.html#t:Floating\" title=\"Numeric\">Floating</a> a) =&gt; <a href=\"/package/vector-0.13.0.0/docs/Data-Vector.html#t:Vector\" title=\"Data.Vector\">Vector</a> a -&gt; <a href=\"/package/vector-0.13.0.0/docs/Data-Vector.html#t:Vector\" title=\"Data.Vector\">Vector</a> <a href=\"/package/base-4.16.4.0/docs/Prelude.html#t:Double\" title=\"Prelude\">Double</a> -&gt; (<a href=\"/package/base-4.16.4.0/docs/Prelude.html#t:Double\" title=\"Prelude\">Double</a> -&gt; a) -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree.html#t:SRTree\" title=\"Data.SRTree\">SRTree</a> -&gt; [a]","name":"forwardMode","module":"Data.SRTree","link":"Data-SRTree.html#v:forwardMode"},{"display_html":"<a href=\"#v:gradParams\">gradParams</a> :: (<a href=\"/package/base-4.16.4.0/docs/Text-Show.html#t:Show\" title=\"Text.Show\">Show</a> a, <a href=\"/package/base-4.16.4.0/docs/Prelude.html#t:Num\" title=\"Prelude\">Num</a> a, <a href=\"/package/base-4.16.4.0/docs/Numeric.html#t:Floating\" title=\"Numeric\">Floating</a> a) =&gt; <a href=\"/package/vector-0.13.0.0/docs/Data-Vector.html#t:Vector\" title=\"Data.Vector\">Vector</a> a -&gt; <a href=\"/package/vector-0.13.0.0/docs/Data-Vector.html#t:Vector\" title=\"Data.Vector\">Vector</a> <a href=\"/package/base-4.16.4.0/docs/Prelude.html#t:Double\" title=\"Prelude\">Double</a> -&gt; (<a href=\"/package/base-4.16.4.0/docs/Prelude.html#t:Double\" title=\"Prelude\">Double</a> -&gt; a) -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree.html#t:SRTree\" title=\"Data.SRTree\">SRTree</a> -&gt; (a, [a])","name":"gradParams","module":"Data.SRTree","link":"Data-SRTree.html#v:gradParams"},{"display_html":"<a href=\"#v:evalFun\">evalFun</a> :: <a href=\"/package/base-4.16.4.0/docs/Numeric.html#t:Floating\" title=\"Numeric\">Floating</a> a =&gt; <a href=\"Data-SRTree.html#t:Function\" title=\"Data.SRTree\">Function</a> -&gt; a -&gt; a","name":"evalFun","module":"Data.SRTree","link":"Data-SRTree.html#v:evalFun"},{"display_html":"<a href=\"#v:evalOp\">evalOp</a> :: <a href=\"/package/base-4.16.4.0/docs/Numeric.html#t:Floating\" title=\"Numeric\">Floating</a> a =&gt; <a href=\"Data-SRTree.html#t:Op\" title=\"Data.SRTree\">Op</a> -&gt; a -&gt; a -&gt; a","name":"evalOp","module":"Data.SRTree","link":"Data-SRTree.html#v:evalOp"},{"display_html":"<a href=\"#v:inverseFunc\">inverseFunc</a> :: <a href=\"Data-SRTree.html#t:Function\" title=\"Data.SRTree\">Function</a> -&gt; <a href=\"Data-SRTree.html#t:Function\" title=\"Data.SRTree\">Function</a>","name":"inverseFunc","module":"Data.SRTree","link":"Data-SRTree.html#v:inverseFunc"},{"display_html":"<a href=\"#v:evalTree\">evalTree</a> :: (<a href=\"/package/base-4.16.4.0/docs/Prelude.html#t:Num\" title=\"Prelude\">Num</a> a, <a href=\"/package/base-4.16.4.0/docs/Numeric.html#t:Floating\" title=\"Numeric\">Floating</a> a) =&gt; <a href=\"/package/vector-0.13.0.0/docs/Data-Vector.html#t:Vector\" title=\"Data.Vector\">Vector</a> a -&gt; <a href=\"/package/vector-0.13.0.0/docs/Data-Vector.html#t:Vector\" title=\"Data.Vector\">Vector</a> <a href=\"/package/base-4.16.4.0/docs/Prelude.html#t:Double\" title=\"Prelude\">Double</a> -&gt; (<a href=\"/package/base-4.16.4.0/docs/Prelude.html#t:Double\" title=\"Prelude\">Double</a> -&gt; a) -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree.html#t:SRTree\" title=\"Data.SRTree\">SRTree</a> -&gt; a","name":"evalTree","module":"Data.SRTree","link":"Data-SRTree.html#v:evalTree"},{"display_html":"<a href=\"#v:relabelParams\">relabelParams</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree.html#t:SRTree\" title=\"Data.SRTree\">SRTree</a> -&gt; <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree.html#t:SRTree\" title=\"Data.SRTree\">SRTree</a>","name":"relabelParams","module":"Data.SRTree","link":"Data-SRTree.html#v:relabelParams"},{"display_html":"<a href=\"#v:constsToParam\">constsToParam</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree.html#t:SRTree\" title=\"Data.SRTree\">SRTree</a> -&gt; (<a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree.html#t:SRTree\" title=\"Data.SRTree\">SRTree</a>, [<a href=\"/package/base-4.16.4.0/docs/Prelude.html#t:Double\" title=\"Prelude\">Double</a>])","name":"constsToParam","module":"Data.SRTree","link":"Data-SRTree.html#v:constsToParam"},{"display_html":"<a href=\"#v:floatConstsToParam\">floatConstsToParam</a> :: <a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree.html#t:SRTree\" title=\"Data.SRTree\">SRTree</a> -&gt; (<a href=\"Data-SRTree-Recursion.html#t:Fix\" title=\"Data.SRTree.Recursion\">Fix</a> <a href=\"Data-SRTree.html#t:SRTree\" title=\"Data.SRTree\">SRTree</a>, [<a href=\"/package/base-4.16.4.0/docs/Prelude.html#t:Double\" title=\"Prelude\">Double</a>])","name":"floatConstsToParam","module":"Data.SRTree","link":"Data-SRTree.html#v:floatConstsToParam"}]