Documentation

fingerprint :: AbelianGroupZ t => SomeTri t -> [[Char]] Source

mkTree2 :: RingP a => Bool -> [Pair a] -> Q a Source

mkTree :: RingP a => [Pair a] -> Q a Source

mkTree' :: RingP a => [Pair a] -> Q a Source

type Set a = [a] Source

type MT2 a = Q a Source

genXPM :: [String] -> String Source

root :: AbelianGroup t => SomeTri t -> t Source

mergein :: RingP a => Bool -> SomeTri a -> Pair a -> SomeTri a -> SomeTri a Source

single :: AbelianGroupZ a => Pair a -> SomeTri a Source