smash: Smash products, wedge products, and pointed products

[ bsd3, data, library ] [ Propose Tags ]

Smash products, wedge products, and pointed products in Haskell

[Skip to Readme]

Modules

[Index] [Quick Jump]

Control
- Monad
  - Trans
Data

Downloads

smash-0.1.2.tar.gz [browse] (Cabal source package)
Package description (revised from the package)

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

topos

For package maintainers and hackage trustees

edit package information

Candidates

0.1.0.0, 0.1.1.0, 0.1.2, 0.1.3

Versions [RSS]	0.1.0.0, 0.1.1.0, 0.1.2, 0.1.3
Change log	CHANGELOG.md
Dependencies	base (>=4.11 && <4.16), bifunctors (>=5.5 && <5.6), binary (>=0.8 && <0.9), deepseq (>=1.4 && <1.5), hashable (>=1.3 && <1.4), mtl, template-haskell (>=2.2 && <3.0) [details]
License	BSD-3-Clause
Copyright	(c) 2020-2021 Emily Pillmore <emilypi@cohomolo.gy>
Author	Emily Pillmore
Maintainer	emilypi@cohomolo.gy
Revised	Revision 1 made by topos at 2021-03-25T15:59:47Z
Category	Data
Home page	https://github.com/emilypi/smash
Bug tracker	https://github.com/emilypi/smash/issues
Source repo	head: git clone https://github.com/emilypi/smash.git
Uploaded	by topos at 2021-03-23T19:54:48Z
Distributions
Reverse Dependencies	5 direct, 0 indirect [details]
Downloads	880 total (16 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2021-03-23 [all 1 reports]

Readme for smash-0.1.2

[back to package description]

smash: Combinators for Maybe types

This package consists of 3 interesting datatypes and their respective monad transformers:

Wedge: Isomorphic to Maybe (Either a b). The Wedge datatype represents the coproduct in the category Hask* of pointed Hask types, called a wedge sum. One can derive this type as follows:
```
Either (Maybe a) (Maybe b)
~ (1 + a) + (1 + b)
-- units are the same via pushout
~ 1 + a + b
~ Maybe (Either a b)
~ Wedge a b
```

Can: Isomorphic to Maybe (These a b). The Can datatype represents the product in Hask*. One can derive this as follows:

(Maybe a, Maybe a)
~ (1 + a) * (1 + b)
-- products distribute over coproducts
~ 1 + b + a + a*b
-- coproducts are associative
~ 1 + (b + a + a*b)
~ 1 + These a b
~ Maybe (These a b)
~ Can a b

Smash: Isomorphic to Maybe (a,b). The Smash datatype represents a special type of product, a smash product, in the category Hask*. The smash product is a symmetric, monoidal tensor in Hask* that is the quotient of Can over Wedge. It can be derived as follows:
```
Can a b / Wedge a b
~ 1 + a + b + a*b / 1 + a + b
-- reassoc coproduct
~ (1 + a + b) + a*b / 1 + a + b
-- def. of quotient: (1 + a + b) ~ 1
~ 1 + a * b
~ Maybe (a,b)
~ Smash a b
```