{-# LANGUAGE CPP #-}
module Foreign.Hoppy.Generator.Spec.Conversion (
classSetConversionToHeap,
classSetConversionToGc,
) where
#if !MIN_VERSION_base(4,8,0)
import Data.Monoid (mconcat)
#endif
import Foreign.Hoppy.Generator.Language.Haskell
import Foreign.Hoppy.Generator.Spec.Base
import Foreign.Hoppy.Generator.Spec.Class
import Foreign.Hoppy.Generator.Types
classSetConversionToHeap :: Class -> Class
classSetConversionToHeap :: Class -> Class
classSetConversionToHeap Class
cls = case Class -> Maybe Ctor
classFindCopyCtor Class
cls of
Just Ctor
_ ->
((ClassConversion -> ClassConversion) -> Class -> Class)
-> Class -> (ClassConversion -> ClassConversion) -> Class
forall a b c. (a -> b -> c) -> b -> a -> c
flip HasCallStack =>
(ClassConversion -> ClassConversion) -> Class -> Class
(ClassConversion -> ClassConversion) -> Class -> Class
classModifyConversion Class
cls ((ClassConversion -> ClassConversion) -> Class)
-> (ClassConversion -> ClassConversion) -> Class
forall a b. (a -> b) -> a -> b
$ \ClassConversion
c ->
ClassConversion
c { classHaskellConversion :: ClassHaskellConversion
classHaskellConversion = Class -> ClassHaskellConversion
classHaskellConversionToHeap Class
cls
}
Maybe Ctor
Nothing -> [Char] -> Class
forall a. HasCallStack => [Char] -> a
error ([Char] -> Class) -> [Char] -> Class
forall a b. (a -> b) -> a -> b
$ [Char]
"classSetConversionToHeap: " [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ Class -> [Char]
forall a. Show a => a -> [Char]
show Class
cls [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ [Char]
" must be copyable."
classSetConversionToGc :: Class -> Class
classSetConversionToGc :: Class -> Class
classSetConversionToGc Class
cls = case Class -> Maybe Ctor
classFindCopyCtor Class
cls of
Just Ctor
_ ->
((ClassConversion -> ClassConversion) -> Class -> Class)
-> Class -> (ClassConversion -> ClassConversion) -> Class
forall a b c. (a -> b -> c) -> b -> a -> c
flip HasCallStack =>
(ClassConversion -> ClassConversion) -> Class -> Class
(ClassConversion -> ClassConversion) -> Class -> Class
classModifyConversion Class
cls ((ClassConversion -> ClassConversion) -> Class)
-> (ClassConversion -> ClassConversion) -> Class
forall a b. (a -> b) -> a -> b
$ \ClassConversion
c ->
ClassConversion
c { classHaskellConversion :: ClassHaskellConversion
classHaskellConversion = Class -> ClassHaskellConversion
classHaskellConversionToGc Class
cls
}
Maybe Ctor
Nothing -> [Char] -> Class
forall a. HasCallStack => [Char] -> a
error ([Char] -> Class) -> [Char] -> Class
forall a b. (a -> b) -> a -> b
$ [Char]
"classSetConversionToGc: " [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ Class -> [Char]
forall a. Show a => a -> [Char]
show Class
cls [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ [Char]
" must be copyable."
classHaskellConversionToHeap :: Class -> ClassHaskellConversion
classHaskellConversionToHeap :: Class -> ClassHaskellConversion
classHaskellConversionToHeap Class
cls =
ClassHaskellConversion :: Maybe (Generator HsType)
-> Maybe (Generator ())
-> Maybe (Generator ())
-> ClassHaskellConversion
ClassHaskellConversion
{ classHaskellConversionType :: Maybe (Generator HsType)
classHaskellConversionType = Generator HsType -> Maybe (Generator HsType)
forall a. a -> Maybe a
Just (Generator HsType -> Maybe (Generator HsType))
-> Generator HsType -> Maybe (Generator HsType)
forall a b. (a -> b) -> a -> b
$ HsTypeSide -> Type -> Generator HsType
cppTypeToHsTypeAndUse HsTypeSide
HsHsSide (Type -> Generator HsType) -> Type -> Generator HsType
forall a b. (a -> b) -> a -> b
$ Type -> Type
ptrT (Type -> Type) -> Type -> Type
forall a b. (a -> b) -> a -> b
$ Class -> Type
objT Class
cls
, classHaskellConversionToCppFn :: Maybe (Generator ())
classHaskellConversionToCppFn = Maybe (Generator ())
forall a. Maybe a
Nothing
, classHaskellConversionFromCppFn :: Maybe (Generator ())
classHaskellConversionFromCppFn = Generator () -> Maybe (Generator ())
forall a. a -> Maybe a
Just (Generator () -> Maybe (Generator ()))
-> Generator () -> Maybe (Generator ())
forall a b. (a -> b) -> a -> b
$ do
HsImportSet -> Generator ()
addImports HsImportSet
hsImportForRuntime
[Char] -> Generator ()
sayLn [Char]
"HoppyFHR.copy"
}
classHaskellConversionToGc :: Class -> ClassHaskellConversion
classHaskellConversionToGc :: Class -> ClassHaskellConversion
classHaskellConversionToGc Class
cls =
ClassHaskellConversion :: Maybe (Generator HsType)
-> Maybe (Generator ())
-> Maybe (Generator ())
-> ClassHaskellConversion
ClassHaskellConversion
{ classHaskellConversionType :: Maybe (Generator HsType)
classHaskellConversionType = Generator HsType -> Maybe (Generator HsType)
forall a. a -> Maybe a
Just (Generator HsType -> Maybe (Generator HsType))
-> Generator HsType -> Maybe (Generator HsType)
forall a b. (a -> b) -> a -> b
$ HsTypeSide -> Type -> Generator HsType
cppTypeToHsTypeAndUse HsTypeSide
HsHsSide (Type -> Generator HsType) -> Type -> Generator HsType
forall a b. (a -> b) -> a -> b
$ Type -> Type
ptrT (Type -> Type) -> Type -> Type
forall a b. (a -> b) -> a -> b
$ Class -> Type
objT Class
cls
, classHaskellConversionToCppFn :: Maybe (Generator ())
classHaskellConversionToCppFn = Maybe (Generator ())
forall a. Maybe a
Nothing
, classHaskellConversionFromCppFn :: Maybe (Generator ())
classHaskellConversionFromCppFn = Generator () -> Maybe (Generator ())
forall a. a -> Maybe a
Just (Generator () -> Maybe (Generator ()))
-> Generator () -> Maybe (Generator ())
forall a b. (a -> b) -> a -> b
$ do
HsImportSet -> Generator ()
addImports (HsImportSet -> Generator ()) -> HsImportSet -> Generator ()
forall a b. (a -> b) -> a -> b
$ [HsImportSet] -> HsImportSet
forall a. Monoid a => [a] -> a
mconcat [[Char] -> [Char] -> HsImportSet
hsImport1 [Char]
"Control.Monad" [Char]
"(>=>)", HsImportSet
hsImportForRuntime]
[Char] -> Generator ()
sayLn [Char]
"HoppyFHR.copy >=> HoppyFHR.toGc"
}