Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
This module defines monoid transformers that add support for markup over the base monoid type
Documentation
(Eq a, Eq b) => Eq (TagSoup a b) | |
(IsString b, MonoidNull b) => IsString (TagSoup a b) | |
Monoid b => Monoid (TagSoup a b) | |
Monoid b => PositiveMonoid (TagSoup a b) | |
Monoid b => MonoidNull (TagSoup a b) | |
StableFactorialMonoid b => StableFactorialMonoid (TagSoup a b) | |
FactorialMonoid b => FactorialMonoid (TagSoup a b) | |
(Eq a, Eq b, MonoidNull b, RightGCDMonoid b) => RightGCDMonoid (TagSoup a b) | |
(Eq a, Eq b, MonoidNull b, LeftGCDMonoid b) => LeftGCDMonoid (TagSoup a b) | |
(Eq a, Eq b, MonoidNull b, RightCancellativeMonoid b) => RightCancellativeMonoid (TagSoup a b) | |
(Eq a, Eq b, MonoidNull b, LeftCancellativeMonoid b) => LeftCancellativeMonoid (TagSoup a b) | |
(Eq a, Eq b, MonoidNull b, RightReductiveMonoid b) => RightReductiveMonoid (TagSoup a b) | |
(Eq a, Eq b, MonoidNull b, LeftReductiveMonoid b) => LeftReductiveMonoid (TagSoup a b) | |
(Eq a, Eq b, TextualMonoid b) => TextualMonoid (TagSoup a b) |
soupLeaf :: MonoidNull b => b -> TagSoup a b Source