quipper-demos-0.9.0.0: dist/build/Example1/Example1-tmp/Quipper/Demos/Example1.hs

{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE TypeFamilies #-}
{-# LINE 1 "Quipper/Demos/Example1.hs" #-}
  import Quipper

  example1 (q, a, b, c) = do
    hadamard a
    qnot_at c `controlled` [a, b]
    hadamard q `controlled` [c]
    qnot_at c `controlled` [a, b]
    hadamard a

  main = print_simple Preview example1