Safe Haskell | None |
---|---|
Language | Haskell2010 |
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]]
Safe Haskell | None |
---|---|
Language | Haskell2010 |
The Free semiring.
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]]