Data.Boltzmann.Compiler

General framework of system compilers.

Documentation

class Configuration a where

Compiler configurations.

Minimal complete definition

config, compile

Methods

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

compile :: a -> IO ()

Instances

Configuration Conf

Methods

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

compile :: Conf -> IO ()

Configuration Conf

Methods

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

compile :: Conf -> IO ()