Quipper.QData

Introduction

Primitive definitions

The QCType operation

type family QCType x y a

The QTypeB operation

type family QTypeB a

The QCData class

class QCData qc

The SimpleType class

class SimpleType qc

Type conversions

type QType a

type CType a

type BType a

type HType leaf qa

Shape parameters

dummy

qubit

bit

bool

shapetype_q

shapetype_c

shapetype_b

shape

Homogeneous types

The QData class

class QData qa

Derived combinators on QData

qdata_mapM

qdata_zip

qdata_promote

qdata_unzip

qdata_map

qdata_fold

qdata_fold_map

qdata_foldM

qdata_fold_mapM

qdata_sequentialize

qdata_unsequentialize

qdata_makeshape

qdata_mapM_op

qdata_promote_c

The CData and BData classes

class CData ca

class BData ba

The QShape class

class QShape ba qa ca

Heterogeneous types

Derived combinators on QCData

qcdata_unzip

qcdata_map

qcdata_fold

qcdata_fold_map

qcdata_foldM

qcdata_fold_mapM

qcdata_sequentialize

qcdata_unsequentialize

qcdata_makeshape

qcdata_mapM_op

The QCDataPlus class

class QCDataPlus qc

Fixed size QCDataPlus

class QCData_Simple qc

class QCDataPlus_Simple qc

The QCLeaf class

class QCLeaf q

Canonical string representation

data Qubit_Leaf

data Bit_Leaf

canonical_shape

type LType a

Defining new QCData instances