{-# LANGUAGE CPP #-}
module Foreign.Hoppy.Generator.Std.String (c_string) where
#if !MIN_VERSION_base(4,8,0)
import Data.Monoid (mconcat)
#endif
import Foreign.Hoppy.Generator.Language.Haskell (addExport, addImports, indent, sayLn)
import Foreign.Hoppy.Generator.Spec
import Foreign.Hoppy.Generator.Spec.Class (
Class,
ClassHaskellConversion (..),
classSetHaskellConversion,
makeClass,
mkCtor,
mkConstMethod,
mkConstMethod',
mkMethod',
)
import Foreign.Hoppy.Generator.Types
import Language.Haskell.Syntax (
HsName (HsIdent),
HsQName (UnQual),
HsType (HsTyCon),
)
c_string :: Class
c_string =
addReqIncludes [includeStd "string"] $
classAddFeatures [Assignable, Comparable, Copyable, Equatable] $
addAddendumHaskell addendum $
classSetHaskellConversion
ClassHaskellConversion
{ classHaskellConversionType = Just $ do
addImports hsImportForPrelude
return $ HsTyCon $ UnQual $ HsIdent "HoppyP.String"
, classHaskellConversionToCppFn = Just $ do
addImports $ mconcat [hsImportForPrelude, hsImportForForeignC]
sayLn "HoppyP.flip HoppyFC.withCStringLen stdString_newFromCStringLen"
, classHaskellConversionFromCppFn = Just $ do
addImports $ mconcat [hsImport1 "Control.Applicative" "(<*)",
hsImportForForeignC,
hsImportForPrelude,
hsImportForRuntime]
sayLn "\\s -> do"
indent $ do
sayLn "p <- stdString_data s"
sayLn "n <- stdString_size s"
sayLn "HoppyFC.peekCStringLen (p, HoppyP.fromIntegral n) <* HoppyFHR.touchCppPtr s"
} $
makeClass (ident1 "std" "string") (Just $ toExtName "StdString") []
[ mkCtor "new" np
, mkCtor "newFromCString" [ptrT $ constT charT]
, mkCtor "newFromCStringLen_raw" [ptrT $ constT charT, sizeT]
, mkMethod' "at" "at" [intT] $ refT charT
, mkConstMethod' "at" "get" [intT] charT
, mkConstMethod "c_str" np $ ptrT $ constT charT
, mkConstMethod "data" np $ ptrT $ constT charT
, mkConstMethod "size" np sizeT
]
where
addendum = do
addImports $ mconcat [hsImportForPrelude, hsImportForForeignC]
addExport "stdString_newFromCStringLen"
sayLn "stdString_newFromCStringLen :: HoppyFC.CStringLen -> HoppyP.IO StdString"
sayLn "stdString_newFromCStringLen (p,n) ="
indent $ sayLn "stdString_newFromCStringLen_raw p (HoppyP.fromIntegral n)"