Quipper.CircLifting

Overview

A type of boolean parameters

data BoolParam

newBool

template_PFalse

template_PTrue

Lifting classical functions to circuits

decToCircMonad

Syntactic sugar

Circuits for specific operations

Boolean parameters

template_newBool

Boolean constants

template_False

template_True

Unary boolean operations

template_not

Binary boolean operations

template_symb_ampersand_symb_ampersand_

template_symb_vbar_symb_vbar_

template_bool_xor

The if-then-else operation

template_if

Equality test

template_symb_equal_symb_equal_

Generic unpacking

class CircLiftingUnpack packed unpacked