Safe Haskell | Safe-Inferred |
---|
Documentation
type Identifier = StringSource
data ModuleItem Source
Parameter (Maybe Range) Identifier Expr | |
Localparam (Maybe Range) Identifier Expr | |
Input (Maybe Range) [Identifier] | |
Output (Maybe Range) [Identifier] | |
Inout (Maybe Range) [Identifier] | |
Wire (Maybe Range) [(Identifier, Maybe Expr)] | |
Reg (Maybe Range) [(Identifier, Maybe Range)] | |
Integer [Identifier] | |
Initial Stmt | |
Always Sense Stmt | |
Assign LHS Expr | |
Instance Identifier [PortBinding] Identifier [PortBinding] |
Block (Maybe Identifier) [Stmt] | |
StmtReg (Maybe Range) [(Identifier, Maybe Range)] | |
StmtInteger [Identifier] | |
Case Expr [Case] Stmt | |
BlockingAssignment LHS Expr | |
NonBlockingAssignment LHS Expr | |
For (Identifier, Expr) Expr (Identifier, Expr) Stmt | |
If Expr Stmt Stmt | |
StmtCall Call | |
Delay Expr Stmt | |
Null |
type PortBinding = (Identifier, Maybe Expr)Source