Language.Floorplan.Core.Compiler

Documentation

buildMap :: Demarc -> Map String Demarc

Build the dictionary / map of layer (and field) identifiers to their inner Demarc. Todo: warning when multiple layers have the same name (which one union picks is undefined behavior)

getNames :: Demarc -> [String]

grafting' :: Map String Demarc -> Demarc -> Demarc

Grafting pre-processing pass

grafting :: [Demarc] -> Demarc -> Demarc

checkUniqNames :: [Demarc] -> [String]

This can be done before or after grafting phase. It checks that every Layer and Field has a globally unique name, reporting an error when the name is not unique.

countGrafting :: [Demarc] -> Int

enumBytes :: [FlagID] -> Int

How many bytes are required for an Enum containing the given fields. This computes ceiling(log_2(length(flags)) / 8).

delta_prim :: Primitive -> Int

TODO: parametrized delta_prim for architecture-dependent types

pow :: Int -> Int -> Int

delta_lit :: LitArith -> Int

Computes over arithmetic expressions in terms of literals

delta :: SizeArith -> Int

Computes number of bits

delta_bits :: SizeArith -> Int

bits2bytesUP :: (Num t, Num p, Ord t) => t -> p

delta_bytes :: SizeArith -> Int

Rounds up SizeArith to the nearest whole byte.

fresh :: Demarc -> FormalID

compile :: Demarc -> BaseExp