Language.Floorplan.Rust.Common

Documentation

bytesInWord :: Int

bitsInByte :: Int

isPow2 :: Integral b => b -> Bool

log' :: Int -> Int -> Int

Log base i of n rounded up.

log2 :: Int -> Int

fakeSpan :: Span

fS :: Span

mkIntExp :: Int -> Expr Span

Makes a Rust expression of from an integer

mkBin' :: Integral a => a -> [Char]

mkBinU8 :: (Show a, Integral a) => a -> [Char]

mkBinExp :: Int -> Expr Span

offsetName :: NameID -> String

containsFnName :: NameID -> String

firstLower :: [Char] -> [Char]

firstUpper :: [Char] -> [Char]

allUpper :: [Char] -> [Char]

initSeqName :: [NameID] -> String

bumpAllocName :: NameID -> String

bumpValidName :: NameID -> NameID -> String

initAfterName :: NameID -> NameID -> String

memsetUntilName :: NameID -> NameID -> String

castFromName :: NameID -> NameID -> String

fromIdxName :: NameID -> String

toIdxName :: NameID -> String

logBytesName :: NameID -> String

bytesName :: NameID -> String

addrName :: [Char] -> [Char]

All named entities get an addrName:

addrEndName :: [Char] -> [Char]

enumName :: [Char] -> [Char]

structName :: [Char] -> [Char]

Only for (known to be) fixed-width things:

getterName :: [Char] -> [Char]

reverseGetterName :: [Char] -> [Char]

skipperName :: [Char] -> [Char]

jumperName :: [Char] -> [Char]

nextName :: [Char] -> [Char]

bitsGetterName :: (Eq a, Num a) => a -> [Char] -> [Char]

bitsFromerName :: (Eq a, Num a) => a -> [Char] -> [Char]

firstGetterName :: [Char] -> [Char]

mkTy :: NameID -> Ty Span

bytesAlignName :: [Char] -> [Char]

logAlignName :: [Char] -> [Char]

fieldPtrGetterName :: [Char] -> [Char]

fieldPtrSetterName :: [Char] -> [Char]

fieldStructGetterName :: [Char] -> [Char]

fieldStructSetterName :: [Char] -> [Char]

findExists :: BaseExp -> [BaseExp]

Determine all existential-bound names brought into scope by this expression. Alignment and Constrained can be traversed because only a ":#" can refer to names.