homepage: ''
changelog-type: ''
hash: ed37101ac7e377ac74ca6f4a0aea6b406390907057a7d2f42d5cc2803e746061
test-bench-deps:
  base: -any
  constraints: -any
  array: -any
maintainer: jeanphilippe.bernardy@gmail.com
synopsis: Build SMC morphisms using linear types
changelog: ''
basic-deps:
  base: '>=4.13 && <666'
  constraints: -any
all-versions:
- 1.0.0
author: Jean-Philippe Bernardy
latest: 1.0.0
description-type: haddock
description: |-
  A number of domain specific languages, such as circuits or
  data-science workflows, are best expressed as diagrams of boxes
  connected by wires.
  A faithful abstraction of box-and-wires is Symmetric Monoidal Categories (SMCs)
  This library
  allows one to program SMCs with linear functions instead of SMC
  combinators. This is done without resorting to template haskell or compiler plugins.
  The rationale, design and implementation of this library is provided by the paper  "Evaluating Linear Functions to Symmetric Monoidal Categories", by Jean-Philippe Bernardy and Arnaud Spiwack, appearing at Haskell Symposium 2021.
license-name: LGPL-3.0-or-later

Update from Hackage at 2021-06-30T13:16:32Z
Update from Hackage at 2021-06-30T13:16:32Z
