-- | -- Module : Simulation.Aivika.IO.SD -- Copyright : Copyright (c) 2009-2017, David Sorokin -- License : BSD3 -- Maintainer : David Sorokin -- Stability : experimental -- Tested with: GHC 8.0.1 -- -- It makes the 'IO' monad an instance of type class 'MonadSD' -- used for System Dynamics (SD). -- module Simulation.Aivika.IO.SD () where import Control.Monad.Trans import Simulation.Aivika.IO.Comp import qualified Simulation.Aivika.IO.Dynamics.Memo as M import qualified Simulation.Aivika.IO.Dynamics.Memo.Unboxed as MU import Simulation.Aivika.Trans.Comp import Simulation.Aivika.Trans.SD -- | An instantiation of the 'MonadSD' type class. instance MonadSD IO where -- instance (Monad m, MonadComp m, MonadIO m, MonadTemplate m) => MonadSD m where {-# SPECIALISE instance MonadSD IO #-}