packages feed

titan-1.0.2: src/Model/ProtectedModel/ProtectedModelInternals.hs

-- | Contains the protected model definition used by other modules to
-- declare the protected fields.
--
module Model.ProtectedModel.ProtectedModelInternals
   ( ProtectedModel
   , GPM.onReactiveModel
   , GPM.fromReactiveModel
   , GPM.applyToReactiveModel
   , GPM.onEvent
   , GPM.onEvents
   , GPM.waitFor
   )
  where

import Model.Model
import Model.ReactiveModel.ModelEvents
import qualified Hails.MVC.Model.ProtectedModel as GPM

type ProtectedModel = GPM.ProtectedModel Model ModelEvent