Language.Atom.Elaboration

Atom monad and container.

data Atom a

The Atom monad holds variable and rule declarations.

Instances

Monad Atom

MonadIO Atom

data AtomDB

Constructors

AtomDB

Fields

atomId :: Int

atomName :: Name

atomNames :: [Name]

atomEnable :: UE

atomSubs :: [AtomDB]

atomPeriod :: Int

atomAssigns :: [(UV, UE)]

atomActions :: [([String] -> String, [UE])]

Instances

Eq AtomDB

Ord AtomDB

Show AtomDB

data Global

Constructors

Global

Fields

gId :: Int

gProbes :: [(String, Type, E Word64)]

gInit8 :: [Const]

gInit16 :: [Const]

gInit32 :: [Const]

gInit64 :: [Const]

gPeriod :: Int

data Rule

Constructors

Rule

Fields

ruleId :: Int

ruleName :: Name

ruleEnable :: UE

ruleAssigns :: [(UV, UE)]

ruleActions :: [([String] -> String, [UE])]

rulePeriod :: Int

Instances

Eq Rule

Ord Rule

Show Rule

buildAtom :: Global -> Name -> Atom a -> IO (a, (Global, AtomDB))

Type Aliases and Utilities

type UID = Int

type Name = String

A name.

type Path = [Name]

A heirarchical name.

elaborate :: Name -> Atom () -> IO (Maybe ([Rule], ([Const], [Const], [Const], [Const])))

A Relation is used for relative performance constraints between Actions. data Relation = Higher UID | Lower UID deriving (Show, Eq)

Given a top level name and design, elabortes design and returns a design database.

var :: Expr a => Name -> a -> Atom (V a)

Generic local variable declaration.

var' :: Name -> Type -> Atom (V a)

Generic external variable declaration.

array :: Expr a => Name -> [a] -> Atom (A a)

Generic array declaration.

addName :: Name -> Atom Name

get :: Atom (Global, AtomDB)

put :: (Global, AtomDB) -> Atom ()