Safe Haskell	None
Language	Haskell2010

Verismith.Verilog2005.Utils

Synopsis

makeIdent :: ByteString -> Identifier
regroup :: (x -> y) -> (x -> y -> Maybe y) -> NonEmpty x -> NonEmpty y
addAttributed :: (x -> y -> Maybe y) -> Attributed x -> Attributed y -> Maybe (Attributed y)
genexprnumber :: Natural -> GenExpr i r a
constifyIdent :: HierIdent -> Maybe Identifier
constifyMaybeRange :: Maybe DimRange -> Maybe (Maybe CRangeExpr)
trConstifyGenExpr :: (si -> Maybe di) -> (Maybe DimRange -> Maybe r) -> GenExpr si (Maybe DimRange) a -> Maybe (GenExpr di r a)
constifyExpr :: Expr -> Maybe CExpr
constifyLV :: VarLValue -> Maybe NetLValue
expr2netlv :: Expr -> Maybe NetLValue
netlv2expr :: NetLValue -> Expr
toStatement :: FunctionStatement -> Statement
fromStatement :: Statement -> Maybe FunctionStatement
fromMybStmt :: MybStmt -> AttrStmt
toMGIBlockDecl :: BD NonEmpty t -> NonEmpty (BD Identity t)
fromMGIBlockDecl1 :: BD Identity t -> BD NonEmpty t
fromMGIBlockDecl_add :: BD Identity t -> BD NonEmpty t -> Maybe (BD NonEmpty t)
toStdBlockDecl :: BD NonEmpty t -> NonEmpty (Identified (BlockDecl Identity t))
toSpecBlockedItem :: SpecifySingleItem -> NonEmpty SpecifyBlockedItem
fromSpecBlockedItem :: [SpecifyBlockedItem] -> [SpecifySingleItem]
toMGBlockedItem :: ModGenSingleItem -> NonEmpty ModGenBlockedItem
fromMGBlockedItem1 :: ModGenBlockedItem -> ModGenSingleItem
fromMGBlockedItem_add :: ModGenBlockedItem -> ModGenSingleItem -> Maybe ModGenSingleItem
fromMGBlockedItem :: [Attributed ModGenBlockedItem] -> [Attributed ModGenSingleItem]

Documentation

makeIdent :: ByteString -> Identifier Source #

regroup :: (x -> y) -> (x -> y -> Maybe y) -> NonEmpty x -> NonEmpty y Source #

Groups xs into ys by converting a single x and merging previous xs to the result

addAttributed :: (x -> y -> Maybe y) -> Attributed x -> Attributed y -> Maybe (Attributed y) Source #

Merges `Attributed x`s if we can merge xs

genexprnumber :: Natural -> GenExpr i r a Source #

Makes a Verilog2005 expression out of a number

constifyIdent :: HierIdent -> Maybe Identifier Source #

converts HierIdent into Identifier

constifyMaybeRange :: Maybe DimRange -> Maybe (Maybe CRangeExpr) Source #

converts Expr's DimRange into CExpr's CRangeExpr

trConstifyGenExpr :: (si -> Maybe di) -> (Maybe DimRange -> Maybe r) -> GenExpr si (Maybe DimRange) a -> Maybe (GenExpr di r a) Source #

converts `GenExpr si (MaybeDimRange) a` into `GenExpr i r a`

constifyExpr :: Expr -> Maybe CExpr Source #

converts Expr to CExpr

constifyLV :: VarLValue -> Maybe NetLValue Source #

converts variable lvalue into net lvalue

expr2netlv :: Expr -> Maybe NetLValue Source #

converts expression into net lvalue

netlv2expr :: NetLValue -> Expr Source #

the other way

toStatement :: FunctionStatement -> Statement Source #

Converts Function statements to statements

fromStatement :: Statement -> Maybe FunctionStatement Source #

the other way

fromMybStmt :: MybStmt -> AttrStmt Source #

Converts MybStmt to AttrStmt

toMGIBlockDecl :: BD NonEmpty t -> NonEmpty (BD Identity t) Source #

Converts ModGenSingleItem's BlockDecl into ModGenBlockedItem's BlockDecl

fromMGIBlockDecl1 :: BD Identity t -> BD NonEmpty t Source #

Converts one ModGenBlockedItem's BlockDecl into ModGenSingleItem's BlockDecl

fromMGIBlockDecl_add :: BD Identity t -> BD NonEmpty t -> Maybe (BD NonEmpty t) Source #

Merges one ModGenBlockedItem's BlockDecl with one ModGenSingleItem's BlockDecl

toStdBlockDecl :: BD NonEmpty t -> NonEmpty (Identified (BlockDecl Identity t)) Source #

Converts ModGenSingleItem like BlockDecl into StdBlockDecl BlockDecl

toSpecBlockedItem :: SpecifySingleItem -> NonEmpty SpecifyBlockedItem Source #

Converts SpecifySingleItem into SpecifyBlockedItems

fromSpecBlockedItem :: [SpecifyBlockedItem] -> [SpecifySingleItem] Source #

Converts SpecifyBlockedItems into SpecifySingleItems

toMGBlockedItem :: ModGenSingleItem -> NonEmpty ModGenBlockedItem Source #

Converts ModGenSingleItem into ModGenBlockedItems

fromMGBlockedItem1 :: ModGenBlockedItem -> ModGenSingleItem Source #

fromMGBlockedItem_add :: ModGenBlockedItem -> ModGenSingleItem -> Maybe ModGenSingleItem Source #

fromMGBlockedItem :: [Attributed ModGenBlockedItem] -> [Attributed ModGenSingleItem] Source #

Converts ModGenBlockedItems into ModGenSingleItems