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 # | |