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

circuit :: (Bit, Qubit) -> Circ (Qubit, Qubit)
circuit (b,q) = do
  qnot_at q `controlled` b
  r <- prepare b
  gate_W_at q r
  return (q,r)
  
main =   
  print_simple Preview circuit