Search results

...comonad W over the functor F which preserves the structure of the comonad W. type Dist f w = forall a. f (w a) -> w (f a)

...kell DOM (document object model) structure. The tree structure in HXT is a rose tree with a special XNode data type for storing the XML node information. data NTree a = NTree a [NTree a] -- rose tree