Language.Verilog.AST

Documentation

type Identifier = String

data Module

Constructors

Module Identifier [Identifier] [ModuleItem]

Instances

Eq Module

Show Module

data ModuleItem

Constructors

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]

Instances

Eq ModuleItem

Show ModuleItem

data Stmt

Constructors

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

Instances

Eq Stmt

Show Stmt

data LHS

Constructors

LHS Identifier

LHSBit Identifier Expr

LHSRange Identifier Range

Instances

Eq LHS

Show LHS

data Expr

Constructors

String String

Number BitVec

ConstBool Bool

ExprLHS LHS

ExprCall Call

Not Expr

And Expr Expr

Or Expr Expr

BWNot Expr

BWAnd Expr Expr

BWXor Expr Expr

BWOr Expr Expr

Mul Expr Expr

Div Expr Expr

Mod Expr Expr

Add Expr Expr

Sub Expr Expr

UAdd Expr

USub Expr

ShiftL Expr Expr

ShiftR Expr Expr

Eq Expr Expr

Ne Expr Expr

Lt Expr Expr

Le Expr Expr

Gt Expr Expr

Ge Expr Expr

Mux Expr Expr Expr

Repeat Expr [Expr]

Concat [Expr]

Instances

Eq Expr

Num Expr

Show Expr

Monoid Expr

Bits Expr

data Sense

Constructors

Sense LHS

SenseOr Sense Sense

SensePosedge LHS

SenseNegedge LHS

Instances

Eq Sense

Show Sense

data Call

Constructors

Call Identifier [Expr]

Instances

Eq Call

Show Call

type PortBinding = (Identifier, Maybe Expr)

type Case = ([Expr], Stmt)

type Range = (Expr, Expr)