Safe Haskell | None |
---|---|
Language | Haskell2010 |
Data.Semiring.Free
Description
The Free semiring.
Documentation
The free semiring. Adapted from PureScript's version, available here. Only a valid semiring if treated as a multiset, as in:
>>>
Free [[1],[0]] == Free [[0],[1]]
True
Instances
Functor Free Source # | |
Applicative Free Source # | |
Foldable Free Source # | |
Traversable Free Source # | |
Ord a => Eq (Free a) Source # | Extremely slow. For testing purposes. |
Ord a => Ord (Free a) Source # | |
Read a => Read (Free a) Source # | |
Show a => Show (Free a) Source # | |
Monoid (Free a) Source # | |
Semiring (Free a) Source # | |