Copyright	Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com>
License	BSD3
Maintainer	David Sorokin <david.sorokin@gmail.com>
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Simulation.Aivika.Dynamics

Contents

Dynamics Monad
Error Handling
Simulation Time
Debugging

Description

Tested with: GHC 8.0.1

The module defines the Dynamics monad representing a time varying polymorphic function.

Synopsis

Dynamics Monad

data Dynamics a Source #

A value in the Dynamics monad represents a polymorphic time varying function.

Instances

Monad Dynamics Source #
Methods (>>=) :: Dynamics a -> (a -> Dynamics b) -> Dynamics b # (>>) :: Dynamics a -> Dynamics b -> Dynamics b # return :: a -> Dynamics a # fail :: String -> Dynamics a #
Functor Dynamics Source #
Methods fmap :: (a -> b) -> Dynamics a -> Dynamics b # (<$) :: a -> Dynamics b -> Dynamics a #
MonadFix Dynamics Source #
Methods mfix :: (a -> Dynamics a) -> Dynamics a #
Applicative Dynamics Source #
Methods pure :: a -> Dynamics a # (<>) :: Dynamics (a -> b) -> Dynamics a -> Dynamics b # (>) :: Dynamics a -> Dynamics b -> Dynamics b # (<*) :: Dynamics a -> Dynamics b -> Dynamics a #
MonadIO Dynamics Source #
Methods liftIO :: IO a -> Dynamics a #
ParameterLift Dynamics Source #
Methods liftParameter :: Parameter a -> Dynamics a Source #
SimulationLift Dynamics Source #
Methods liftSimulation :: Simulation a -> Dynamics a Source #
DynamicsLift Dynamics Source #
Methods liftDynamics :: Dynamics a -> Dynamics a Source #
ResultComputing Dynamics Source #
Methods computeResultData :: Dynamics a -> ResultData a Source # computeResultSignal :: Dynamics a -> ResultSignal Source #
Eq (Dynamics a) Source #
Methods (==) :: Dynamics a -> Dynamics a -> Bool # (/=) :: Dynamics a -> Dynamics a -> Bool #
Floating a => Floating (Dynamics a) Source #
Methods pi :: Dynamics a # exp :: Dynamics a -> Dynamics a # log :: Dynamics a -> Dynamics a # sqrt :: Dynamics a -> Dynamics a # (**) :: Dynamics a -> Dynamics a -> Dynamics a # logBase :: Dynamics a -> Dynamics a -> Dynamics a # sin :: Dynamics a -> Dynamics a # cos :: Dynamics a -> Dynamics a # tan :: Dynamics a -> Dynamics a # asin :: Dynamics a -> Dynamics a # acos :: Dynamics a -> Dynamics a # atan :: Dynamics a -> Dynamics a # sinh :: Dynamics a -> Dynamics a # cosh :: Dynamics a -> Dynamics a # tanh :: Dynamics a -> Dynamics a # asinh :: Dynamics a -> Dynamics a # acosh :: Dynamics a -> Dynamics a # atanh :: Dynamics a -> Dynamics a # log1p :: Dynamics a -> Dynamics a # expm1 :: Dynamics a -> Dynamics a # log1pexp :: Dynamics a -> Dynamics a # log1mexp :: Dynamics a -> Dynamics a #
Fractional a => Fractional (Dynamics a) Source #
Methods (/) :: Dynamics a -> Dynamics a -> Dynamics a # recip :: Dynamics a -> Dynamics a # fromRational :: Rational -> Dynamics a #
Num a => Num (Dynamics a) Source #
Methods (+) :: Dynamics a -> Dynamics a -> Dynamics a # (-) :: Dynamics a -> Dynamics a -> Dynamics a # (*) :: Dynamics a -> Dynamics a -> Dynamics a # negate :: Dynamics a -> Dynamics a # abs :: Dynamics a -> Dynamics a # signum :: Dynamics a -> Dynamics a # fromInteger :: Integer -> Dynamics a #
Show (Dynamics a) Source #
Methods showsPrec :: Int -> Dynamics a -> ShowS # show :: Dynamics a -> String # showList :: [Dynamics a] -> ShowS #

class DynamicsLift m where Source #

A type class to lift the Dynamics computations to other computations.

Minimal complete definition

liftDynamics

Methods

liftDynamics :: Dynamics a -> m a Source #

Lift the specified Dynamics computation to another computation.

Instances

DynamicsLift Dynamics Source #
Methods liftDynamics :: Dynamics a -> Dynamics a Source #
DynamicsLift Event Source #
Methods liftDynamics :: Dynamics a -> Event a Source #
DynamicsLift Cont Source #
Methods liftDynamics :: Dynamics a -> Cont a Source #
DynamicsLift Process Source #
Methods liftDynamics :: Dynamics a -> Process a Source #