atom-1.0.1: A DSL for embedded hard realtime applications.

Language.Atom.Unit

Contents

Types and Classes
Test Execution
Printing Utilities

Synopsis

data Test = Test {
- name :: String
- cycles :: Int
- testbench :: Atom ()
- modules :: [FilePath]
- includes :: [FilePath]
- declCode :: String
- initCode :: String
- loopCode :: String
- endCode :: String
}
defaultTest :: Test
class Expr a => Random a where
- random :: E a
runTests :: Int -> [IO Test] -> IO ()
printStrLn :: String -> Atom ()
printIntegralE :: IntegralE a => String -> E a -> Atom ()
printFloatingE :: FloatingE a => String -> E a -> Atom ()

Types and Classes

data Test Source

Data constructor:Test

Constructors

Fields

name :: String
cycles :: Int
testbench :: Atom ()
modules :: [FilePath]
includes :: [FilePath]
declCode :: String
initCode :: String
loopCode :: String
endCode :: String

defaultTest :: Test Source

class Expr a => Random a whereSource

Methods

random :: E aSource

Instances

Test Execution

runTests :: Int -> [IO Test] -> IO () Source

Running TestList

Printing Utilities

printStrLn :: String -> Atom () Source

Printing strings in C using printf.

printIntegralE :: IntegralE a => String -> E a -> Atom () Source

Print integral values.

printFloatingE :: FloatingE a => String -> E a -> Atom () Source

Print floating point values.