-- to be found A.B.testcase
module A.B.testcase(module System.FilePath.Windows) where
    import asdf

-- to be found Request
-- to be found Request2
-- to be found rqBody
-- to be found rqMethod
-- to be found rqPeer
-- to be found Request3
    data Request = Request2 { rqMethod::Method,
                             rqBody    :: RqBody,
                             rqPeer    :: Host
                           }
                  | Request3
    deriving(Show,Read,Typeable)
    --  http://hackage.haskell.org/trac/ghc/ticket/1184
    -- ! Convert Bool into another monad
-- to be found boolM
    boolM False = mzero

-- to be found sadlkfj
    sadlkfj
     = 7

-- to be found onlyTheFirstOne
    onlyTheFirstOne (x:xs) = 8
    onlyTheFirstOne [] = 8
-- to be found AC
    AC a b c d e f g = 7
-- to be found abc
    abc = let a = 7
              b = 8
              in a + b
            where x = 34
                  o = 423
-- to be found BB
-- to be found AA
    AA, BB :: Int


-- to be found foo
    ad `foo` oh = 90

-- to be found X
-- to be found xyz
    class (A a) => X a where
      xyz :: dummy
-- to be found Z
-- to be found o
    class (A a) => Z a where o :: Int

-- to be found ABC
    newtype ABC = Int
-- to be found DBM
    newtype IE.ISession sess => DBM mark sess a = DBM (ReaderT sess IO a)

-- TODO 

    -- to be found (=~)
    (=~)   :: (Regex rho) => String -> rho -> Bool


    -- not to be found join
    -- to be found runGetState
    runGetState m str off =
        case unGet m (mkState str off) of
          (a, ~(S s ss newOff)) -> (a, s `join` ss, newOff)

    -- to be found SAA
    newtype Symbol = SAA String
    -- to be found value
    -- not to be found valuex
    value = reference <|> (Value `valuex` number)

-- to be found assertEqual
    assertEqual :: (Eq a, Show a) => String -> a -> a -> Assertion
    assertEqual preface expected actual =

-- to be found CheckedException 
-- to be found checkedException
    newtype CheckedException l = CheckedException {checkedException::SomeException} deriving (Typeable)


-- to be found Throws
    class Exception e => Throws e l