module Language.Paraiso.OM.DynValue
(
DynValue(..), mkDyn, toDyn
) where
import Data.Typeable
import qualified Language.Paraiso.OM.Value as Val
import qualified Language.Paraiso.OM.Realm as R
data DynValue = DynValue {realm :: R.Realm, typeRep :: TypeRep} deriving (Eq, Show)
mkDyn :: (R.TRealm r, Typeable c) => r -> c -> DynValue
mkDyn r0 c0 = DynValue (R.tRealm r0) (typeOf c0)
toDyn :: (R.TRealm r, Typeable c) => Val.Value r c -> DynValue
toDyn x = mkDyn (Val.realm x) (Val.content x)
instance R.Realmable DynValue where
realm = realm