Safe Haskell | None |
---|
Documentation
Eq a => Eq (LVTree a) | |
Ord a => Ord (LVTree a) | |
Read a => Read (LVTree a) | |
GenericSemiringStructure (LVTreeAlgebra a0) (LVTree a0) (LVTreeMapFs a0) |
data LVTreeAlgebra a a Source
GenericSemiringStructure (LVTreeAlgebra a0) (LVTree a0) (LVTreeMapFs a0) |
data LVTreeMapFs a a Source
LVTreeMapFs | |
|
GenericSemiringStructure (LVTreeAlgebra a0) (LVTree a0) (LVTreeMapFs a0) |
data BinTreeAlgebra n l a Source
GenericSemiringStructure (BinTreeAlgebra n0 l0) (BinTree n0 l0) (BinTreeMapFs n0 l0) |
data BinTreeMapFs n l a Source
GenericSemiringStructure (BinTreeAlgebra n0 l0) (BinTree n0 l0) (BinTreeMapFs n0 l0) |
subtreeSelectsWithRoot :: BinTree n l -> BinTreeSemiring (Bool, n) (Bool, l) a -> aSource
subtreeSelects :: BinTree n l -> BinTreeSemiring (Bool, n) (Bool, l) a -> aSource
assignTrans :: [b] -> [c] -> BinTreeSemiring c (b, a) s -> LVTreeSemiring a sSource
assignTrees :: [b] -> [c] -> [a] -> BinTreeSemiring c (b, a) s -> sSource