{-
 *  Programmer:	Piotr Borek
 *  E-mail:     piotrborek@op.pl
 *  Copyright 2017 Piotr Borek
 *
 *  Distributed under the terms of the GPL (GNU Public License)
 *
 *  This program is free software; you can redistribute it and/or modify
 *  it under the terms of the GNU General Public License as published by
 *  the Free Software Foundation; either version 2 of the License, or
 *  (at your option) any later version.
 *
 *  This program is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with this program; if not, write to the Free Software
 *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
-}

module Simple.Locale.TranslateTH (
    tr,
    module Simple.Locale.Translate,
    module Data.Proxy
) where

import           Language.Haskell.TH
import           Language.Haskell.TH.Quote

import           Data.Proxy
import           Simple.Locale.Translate

tr :: QuasiQuoter
tr :: QuasiQuoter
tr = QuasiQuoter :: (String -> Q Exp)
-> (String -> Q Pat)
-> (String -> Q Type)
-> (String -> Q [Dec])
-> QuasiQuoter
QuasiQuoter
    { quoteExp :: String -> Q Exp
quoteExp  = String -> Q Exp
translateTH
    , quotePat :: String -> Q Pat
quotePat  = String -> String -> Q Pat
forall a. HasCallStack => String -> a
error String
"quotePat not supported"
    , quoteType :: String -> Q Type
quoteType = String -> String -> Q Type
forall a. HasCallStack => String -> a
error String
"quoteType not supported"
    , quoteDec :: String -> Q [Dec]
quoteDec  = String -> String -> Q [Dec]
forall a. HasCallStack => String -> a
error String
"qutoteDec not supported"
    }

translateTH :: String -> Q Exp
translateTH :: String -> Q Exp
translateTH String
s = Exp -> Q Exp
forall (m :: * -> *) a. Monad m => a -> m a
return (Exp -> Q Exp) -> Exp -> Q Exp
forall a b. (a -> b) -> a -> b
$
    Exp -> Exp -> Exp
AppE
        (Name -> Exp
VarE (String -> Name
mkName String
"Simple.Locale.TranslateTH.translate"))
        (Exp -> Type -> Exp
SigE
            (Name -> Exp
ConE (String -> Name
mkName String
"Simple.Locale.TranslateTH.Proxy"))
            (Type -> Type -> Type
AppT
                (Name -> Type
ConT (String -> Name
mkName String
"Simple.Locale.TranslateTH.Proxy"))
                (TyLit -> Type
LitT (String -> TyLit
StrTyLit String
s))
            )
        )