| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Floorplan.Rust.Common
Synopsis
- bytesInWord :: Int
- bitsInByte :: Int
- isPow2 :: Integral b => b -> Bool
- log' :: Int -> Int -> Int
- log2 :: Int -> Int
- fakeSpan :: Span
- fS :: Span
- mkIntExp :: Int -> Expr Span
- 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]
- addrEndName :: [Char] -> [Char]
- enumName :: [Char] -> [Char]
- structName :: [Char] -> [Char]
- 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]
Documentation
bytesInWord :: Int Source #
bitsInByte :: Int Source #
offsetName :: NameID -> String Source #
containsFnName :: NameID -> String Source #
firstLower :: [Char] -> [Char] Source #
firstUpper :: [Char] -> [Char] Source #
initSeqName :: [NameID] -> String Source #
bumpAllocName :: NameID -> String Source #
fromIdxName :: NameID -> String Source #
logBytesName :: NameID -> String Source #
addrEndName :: [Char] -> [Char] Source #
structName :: [Char] -> [Char] Source #
Only for (known to be) fixed-width things:
getterName :: [Char] -> [Char] Source #
reverseGetterName :: [Char] -> [Char] Source #
skipperName :: [Char] -> [Char] Source #
jumperName :: [Char] -> [Char] Source #
firstGetterName :: [Char] -> [Char] Source #
bytesAlignName :: [Char] -> [Char] Source #
logAlignName :: [Char] -> [Char] Source #
fieldPtrGetterName :: [Char] -> [Char] Source #
fieldPtrSetterName :: [Char] -> [Char] Source #
fieldStructGetterName :: [Char] -> [Char] Source #
fieldStructSetterName :: [Char] -> [Char] Source #
findExists :: BaseExp -> [BaseExp] Source #
Determine all existential-bound names brought into scope by this expression. Alignment and Constrained can be traversed because only a ":#" can refer to names.