name: quipper-rendering
version: 0.8
synopsis: An embedded, scalable functional programming language for quantum computing.
description:
Quipper is an embedded, scalable functional programming language for quantum computing. It provides, among other things:
.
* A high-level circuit description language. This includes gate-by-gate descriptions of circuit fragments, as well as powerful operators for assembling and manipulating circuits.
.
* A monadic semantics, allowing for a mixture of procedural and declarative programming styles.
.
* Built-in facilities for automatic synthesis of reversible quantum circuits, including from classical code.
.
* Support for hierarchical circuits.
.
* Extensible quantum data types.
.
* Programmable circuit transformers.
.
* Support for three execution phases: compile time, circuit generation time, and circuit execution time. A dynamic lifting operation to allow circuit generation to be parametric on values generated at circuit execution time.
.
* Extensive libraries of quantum functions, including: libraries for quantum integer and fixed-point arithmetic; the Quantum Fourier transform; an efficient Qram implementation; libraries for simulation of pseudo-classical circuits, Stabilizer circuits, and arbitrary circuits; libraries for exact and approximate decomposition of circuits into specific gate sets.
.
This package contains the rendering part, which has been separated to reduce dependencies in quipper-core.
homepage: http://www.mathstat.dal.ca/~selinger/quipper/
license: BSD3
license-file: COPYRIGHT
author: Applied Communication Sciences
maintainer: leonardo.taglialegne@gmail.com
copyright: Copyright (C) 2012-2013 Applied Communication Sciences.
-- category:
build-type: Simple
extra-source-files: README
cabal-version: >=1.10
library
exposed-modules: Quipper.Printing
other-modules: Libraries.CommandLine, Libraries.PortableSignals, Libraries.Auxiliary
other-extensions: GADTs, RankNTypes, FlexibleInstances, OverlappingInstances, MultiParamTypeClasses, FunctionalDependencies, UndecidableInstances, CPP, StandaloneDeriving, DeriveDataTypeable, ScopedTypeVariables, TypeSynonymInstances, TemplateHaskell, BangPatterns, FlexibleContexts, TypeFamilies, Rank2Types, ExistentialQuantification
build-depends: base >=4.6 && <4.10, quipper-core >=0.8 && <0.9, random >=1.0 && <1.2, containers >=0.5 && <0.6, unix >=2.6 && <2.8, template-haskell >=2.8 && <2.12, mtl >=2.1 && <2.3, easyrender >=0.1 && <0.2, process >=1.1 && <1.5, directory >=1.2 && <1.3, primes >=0.2 && <0.3
hs-source-dirs: src
default-language: Haskell2010