// //------------------ DOK FILE -------------------------------------------------- +Header core.util.tree1D =pkg core.util.tree1D =title core.util.tree1D =short =desc Documentation in progress... // // //------------------ PROTO ----------------------------------------------------- tree1DRow +Proto tree1DRow =type fun [Int Int Tree1D{a1}] Int -> a1 =mode function =pkg core.util.tree1D =impl mcy =link =desc // +arg t =type [Int Int Tree1D{a1}] =desc // +arg val =type Int =desc // +arg result =type a1 =desc // // //------------------ PROTO ----------------------------------------------------- tree1DIndex +Proto tree1DIndex =type fun [Int Int Tree1D{a1}] Int -> list a1 =mode function =pkg core.util.tree1D =impl mcy =link =desc // +arg t =type [Int Int Tree1D{a1}] =desc // +arg val =type Int =desc // +arg result =type list a1 =desc // // //------------------ PROTO ----------------------------------------------------- tree1DContains +Proto tree1DContains =type fun [a1 a2 Tree1D{a3}] a3 -> Bool =mode function =pkg core.util.tree1D =impl mcy =link =desc // +arg t =type [a1 a2 Tree1D{a3}] =desc // +arg row =type a3 =desc // +arg result =type Bool =desc // // //------------------ PROTO ----------------------------------------------------- tree1DVisitRange +Proto tree1DVisitRange =type fun [Int Int Tree1D{a1}] Int Int (fun a1 -> Bool) -> Bool =mode function =pkg core.util.tree1D =impl mcy =link =desc // +arg t =type [Int Int Tree1D{a1}] =desc // +arg a =type Int =desc // +arg b =type Int =desc // +arg cb =type fun a1 -> Bool =desc // +arg result =type Bool =desc // // //------------------ PROTO ----------------------------------------------------- tree1DVisitDesc +Proto tree1DVisitDesc =type fun [a1 a2 Tree1D{a3}] (fun a3 -> Bool) -> Bool =mode function =pkg core.util.tree1D =impl mcy =link =desc // +arg t =type [a1 a2 Tree1D{a3}] =desc // +arg cb =type fun a3 -> Bool =desc // +arg result =type Bool =desc // // //------------------ PROTO ----------------------------------------------------- tree1DVisit +Proto tree1DVisit =type fun [a1 a2 Tree1D{a3}] (fun a3 -> Bool) -> Bool =mode function =pkg core.util.tree1D =impl mcy =link =desc // +arg t =type [a1 a2 Tree1D{a3}] =desc // +arg cb =type fun a3 -> Bool =desc // +arg result =type Bool =desc // // //------------------ PROTO ----------------------------------------------------- tree1DRemove +Proto tree1DRemove =type fun [Int Int Tree1D{a1}] Int a1 -> [Int Int Tree1D{a1}] =mode function =pkg core.util.tree1D =impl mcy =link =desc // +arg t =type [Int Int Tree1D{a1}] =desc // +arg val =type Int =desc // +arg row =type a1 =desc // +arg result =type [Int Int Tree1D{a1}] =desc // // //------------------ PROTO ----------------------------------------------------- tree1DInsert +Proto tree1DInsert =type fun [Int Int Tree1D{a1}] Int a1 Bool -> [Int Int Tree1D{a1}] =mode function =pkg core.util.tree1D =impl mcy =link =desc // +arg t =type [Int Int Tree1D{a1}] =desc // +arg val =type Int =desc // +arg row =type a1 =desc // +arg unique =type Bool =desc // +arg result =type [Int Int Tree1D{a1}] =desc // // //------------------ PROTO ----------------------------------------------------- tree1DDepth +Proto tree1DDepth =type fun Tree1D{a1} -> Int =mode function =pkg core.util.tree1D =impl mcy =link =desc // +arg t =type Tree1D{a1} =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- Tree1D +Proto Tree1D =type Tree1D{a1} =mode sum =pkg core.util.tree1D =impl mcy =link =desc