Safe Haskell | None |
---|---|
Language | Haskell2010 |
The Free semiring.
Documentation
The free semiring
Instances
Foldable Free Source # | |
Defined in Data.Semiring.Free fold :: Monoid m => Free m -> m # foldMap :: Monoid m => (a -> m) -> Free a -> m # foldr :: (a -> b -> b) -> b -> Free a -> b # foldr' :: (a -> b -> b) -> b -> Free a -> b # foldl :: (b -> a -> b) -> b -> Free a -> b # foldl' :: (b -> a -> b) -> b -> Free a -> b # foldr1 :: (a -> a -> a) -> Free a -> a # foldl1 :: (a -> a -> a) -> Free a -> a # elem :: Eq a => a -> Free a -> Bool # maximum :: Ord a => Free a -> a # | |
Eq a => Eq (Free a) Source # | |
Ord a => Num (Free a) Source # | |
Ord a => Ord (Free a) Source # | |
(Ord a, Read a) => Read (Free a) Source # | |
Show a => Show (Free a) Source # | |
Ord a => Semiring (Free a) Source # | |