implementation module SerializationDynamicLinker

import StdEnv

import Base64
import JSON
import StdMisc
import Error
from Serialization import qualified serialize, deserialize, serializeDynamic, deserializeDynamic
from Store import ::StoreFormat(..)

serialize :: !a -> String | TC a
serialize value = 'Serialization'.serialize value

deserialize	:: !String -> MaybeErrorString a | TC a
deserialize str = 'Serialization'.deserialize str

serializeDynamic :: !Dynamic -> String
serializeDynamic dyn = 'Serialization'.serializeDynamic dyn

deserializeDynamic :: !String -> MaybeErrorString Dynamic
deserializeDynamic str = 'Serialization'.deserializeDynamic str

JSONEncode{|Dynamic|} dyn = [JSONString ""]
JSONEncode{|(->)|} _ _ f = [JSONString ""]

JSONDecode{|Dynamic|} _ = abort "SerializationDynamicLinker, JSONDecode(|Dynamic|} not supported"

JSONDecode{|(->)|} _ _ c = abort "SerializationDynamicLinker, JSONDecode(|(->)|} not supported"

dynamicJSONEncode :: !a -> [JSONNode]
dynamicJSONEncode _ = [JSONString ""]

dynamicJSONDecode :: !JSONNode -> Maybe a
dynamicJSONDecode _ = abort "SerializationDynamicLinker, dynamicJSONDecode not supported"

defaultStoreFormat :: StoreFormat
defaultStoreFormat = SFDynamic

serializationModule :: String
serializationModule = "SerializationDynamicLinker"