| Safe Haskell | None |
|---|
Quipper.Algorithms.QLS.CircLiftingImport
Contents
Description
This module contains definitions to work with Template Haskell. All the definitions in this module are used by Template Haskell in Quipper.Algorithms.QLS.TemplateOracle and Quipper.Algorithms.QLS.RealFunc.
Synopsis
- grepn :: Eq a => [a] -> [a] -> Int
- template_symb_slash_symb_equal_ :: (Typeable qa, QOrd qa) => Circ (qa -> Circ (qa -> Circ Qubit))
- template_symb_oangle_ :: (Typeable qa, QOrd qa) => Circ (qa -> Circ (qa -> Circ Qubit))
- template_symb_oangle_symb_equal_ :: (Typeable qa, QOrd qa) => Circ (qa -> Circ (qa -> Circ Qubit))
- template_symb_cangle_ :: (Typeable qa, QOrd qa) => Circ (qa -> Circ (qa -> Circ Qubit))
- template_symb_cangle_symb_equal_ :: (Typeable qa, QOrd qa) => Circ (qa -> Circ (qa -> Circ Qubit))
- template_symb_minus_ :: (Typeable qa, QNum qa) => Circ (qa -> Circ (qa -> Circ qa))
- template_symb_plus_ :: (Typeable qa, QNum qa) => Circ (qa -> Circ (qa -> Circ qa))
- template_symb_star_ :: (Typeable qa, QNum qa) => Circ (qa -> Circ (qa -> Circ qa))
- template_negate :: (Typeable qa, QNum qa) => Circ (qa -> Circ qa)
- template_abs :: (Typeable qa, QNum qa) => Circ (qa -> Circ qa)
- template_mod :: Circ (QSignedInt -> Circ (QSignedInt -> Circ QSignedInt))
- template_symb_slash_ :: Circ (QDouble -> Circ (QDouble -> Circ QDouble))
- local_pi :: FDouble
- template_local_pi :: Circ QDouble
- id_fdouble :: FDouble -> FDouble
- template_id_fdouble :: Circ (QDouble -> Circ QDouble)
- template_floor :: Circ (QDouble -> Circ QSignedInt)
- template_ceiling :: Circ (QDouble -> Circ QSignedInt)
- template_fromIntegral :: Circ (QSignedInt -> Circ QDouble)
- template_rational :: Double -> Circ QDouble
- template_integer :: Int -> Circ QSignedInt
- getIntFromParam :: Int -> Int
- template_getIntFromParam :: Circ (Int -> Circ QSignedInt)
- paramZero :: Int
- template_paramZero :: Circ Int
- paramTen :: Int
- template_paramTen :: Circ Int
- paramSucc :: Int -> Int
- template_paramSucc :: Circ (Int -> Circ Int)
- paramPred :: Int -> Int
- template_paramPred :: Circ (Int -> Circ Int)
- paramMinus :: Int -> Int -> Int
- template_paramMinus :: Circ (Int -> Circ (Int -> Circ Int))
- template_length :: Circ ([a] -> Circ QSignedInt)
- take_half :: [a] -> [a]
- template_take_half :: Circ ([a] -> Circ [a])
Utility function
grepn :: Eq a => [a] -> [a] -> Int Source #
grepn regexp list
Lifting of ordering operators.
template_symb_slash_symb_equal_ :: (Typeable qa, QOrd qa) => Circ (qa -> Circ (qa -> Circ Qubit)) Source #
Template version of /=.
template_symb_oangle_ :: (Typeable qa, QOrd qa) => Circ (qa -> Circ (qa -> Circ Qubit)) Source #
Template version of <.
template_symb_oangle_symb_equal_ :: (Typeable qa, QOrd qa) => Circ (qa -> Circ (qa -> Circ Qubit)) Source #
Template version of <=.
template_symb_cangle_ :: (Typeable qa, QOrd qa) => Circ (qa -> Circ (qa -> Circ Qubit)) Source #
Template version of >.
template_symb_cangle_symb_equal_ :: (Typeable qa, QOrd qa) => Circ (qa -> Circ (qa -> Circ Qubit)) Source #
Template version of >=.
Lifting of arithmetic operators
template_symb_minus_ :: (Typeable qa, QNum qa) => Circ (qa -> Circ (qa -> Circ qa)) Source #
Template version of -.
template_symb_plus_ :: (Typeable qa, QNum qa) => Circ (qa -> Circ (qa -> Circ qa)) Source #
Template version of +.
template_symb_star_ :: (Typeable qa, QNum qa) => Circ (qa -> Circ (qa -> Circ qa)) Source #
Template version of *.
template_negate :: (Typeable qa, QNum qa) => Circ (qa -> Circ qa) Source #
Template version of negate.
template_mod :: Circ (QSignedInt -> Circ (QSignedInt -> Circ QSignedInt)) Source #
Template version of mod
Operations on QDouble
template_symb_slash_ :: Circ (QDouble -> Circ (QDouble -> Circ QDouble)) Source #
Template version of / on Fractional.
id_fdouble :: FDouble -> FDouble Source #
The identity function of type FDouble. This is used to help the
type checker work around a problem in GHC 8.0, where types of
overloaded operations sometimes require disambiguation.
template_id_fdouble :: Circ (QDouble -> Circ QDouble) Source #
Template version of id_fdouble.
Relation between QDouble and QSignedInt.
template_floor :: Circ (QDouble -> Circ QSignedInt) Source #
Template version of floor.
template_ceiling :: Circ (QDouble -> Circ QSignedInt) Source #
Template version of ceiling.
template_fromIntegral :: Circ (QSignedInt -> Circ QDouble) Source #
Template version of fromIntegral.
Dealing with parameters.
template_integer :: Int -> Circ QSignedInt Source #
Lift an integer to QSignedInt.
template_getIntFromParam :: Circ (Int -> Circ QSignedInt) Source #
Template version of getIntFromParam.
template_paramMinus :: Circ (Int -> Circ (Int -> Circ Int)) Source #
Template version of paramMinus.
Miscellaneous operations.
template_length :: Circ ([a] -> Circ QSignedInt) Source #
Lifted version of length