Data.Boltzmann.Compiler.Haskell.Rational

Rational system compiler using Haskell's built-in algebraic data types to handle to given system types. The outcome sampler is a rejection-based sampler implementing the interruptible sampling scheme for strongly connected specifications.

Documentation

data Conf

Default configuration type.

Constructors

Conf

Fields

• paramSys :: PSystem Double

  Parametrised system.

• moduleName :: String

  Module name.

• compileNote :: String

  Header comment note.

• withIO :: Bool

  Generate IO actions?

• withShow :: Bool

  Generate deriving Show?

Instances

Configuration Conf

Methods

config :: PSystem Double -> String -> String -> Conf

compile :: Conf -> IO ()

compile :: Configuration a => a -> IO ()

config :: Configuration a => PSystem Double -> String -> String -> a