Verismith.Verilog.AST

Poratbility : POSIX

Defines the types to build a Verilog AST.

Top level types

data SourceInfo

Constructors

SourceInfo

Fields

• _infoTop :: !Text
• _infoSrc :: !Verilog

Instances

Eq SourceInfo

Defined in Verismith.Verilog.AST

Methods

(==) :: SourceInfo -> SourceInfo -> Bool

(/=) :: SourceInfo -> SourceInfo -> Bool

Data SourceInfo

Defined in Verismith.Verilog.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SourceInfo -> c SourceInfo

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SourceInfo

toConstr :: SourceInfo -> Constr

dataTypeOf :: SourceInfo -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SourceInfo)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SourceInfo)

gmapT :: (forall b. Data b => b -> b) -> SourceInfo -> SourceInfo

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SourceInfo -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SourceInfo -> r

gmapQ :: (forall d. Data d => d -> u) -> SourceInfo -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SourceInfo -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SourceInfo -> m SourceInfo

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceInfo -> m SourceInfo

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceInfo -> m SourceInfo

Ord SourceInfo

Defined in Verismith.Verilog.AST

Methods

compare :: SourceInfo -> SourceInfo -> Ordering

(<) :: SourceInfo -> SourceInfo -> Bool

(<=) :: SourceInfo -> SourceInfo -> Bool

(>) :: SourceInfo -> SourceInfo -> Bool

(>=) :: SourceInfo -> SourceInfo -> Bool

max :: SourceInfo -> SourceInfo -> SourceInfo

min :: SourceInfo -> SourceInfo -> SourceInfo

Show SourceInfo

Defined in Verismith.Verilog.AST

Methods

showsPrec :: Int -> SourceInfo -> ShowS

show :: SourceInfo -> String

showList :: [SourceInfo] -> ShowS

Generic SourceInfo

Defined in Verismith.Verilog.AST

Associated Types

type Rep SourceInfo :: Type -> Type

Methods

from :: SourceInfo -> Rep SourceInfo x

to :: Rep SourceInfo x -> SourceInfo

NFData SourceInfo

Defined in Verismith.Verilog.AST

Methods

rnf :: SourceInfo -> ()

Source SourceInfo

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: SourceInfo -> Text

Mutate SourceInfo

Defined in Verismith.Verilog.Mutate

Methods

mutExpr :: (Expr -> Expr) -> SourceInfo -> SourceInfo

type Rep SourceInfo

Defined in Verismith.Verilog.AST

type Rep SourceInfo = D1 (MetaData "SourceInfo" "Verismith.Verilog.AST" "verismith-0.4.0.0-inplace" False) (C1 (MetaCons "SourceInfo" PrefixI True) (S1 (MetaSel (Just "_infoTop") SourceUnpack SourceStrict DecidedStrict) (Rec0 Text) :*: S1 (MetaSel (Just "_infoSrc") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Verilog)))

infoTop :: Lens' SourceInfo Text

infoSrc :: Lens' SourceInfo Verilog

newtype Verilog

The complete sourcetext for the Verilog module.

Constructors

Verilog

Fields

• getVerilog :: [ModDecl]

Instances

Eq Verilog

Defined in Verismith.Verilog.AST

Methods

(==) :: Verilog -> Verilog -> Bool

(/=) :: Verilog -> Verilog -> Bool

Data Verilog

Defined in Verismith.Verilog.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Verilog -> c Verilog

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Verilog

toConstr :: Verilog -> Constr

dataTypeOf :: Verilog -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Verilog)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Verilog)

gmapT :: (forall b. Data b => b -> b) -> Verilog -> Verilog

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Verilog -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Verilog -> r

gmapQ :: (forall d. Data d => d -> u) -> Verilog -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Verilog -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Verilog -> m Verilog

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Verilog -> m Verilog

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Verilog -> m Verilog

Ord Verilog

Defined in Verismith.Verilog.AST

Methods

compare :: Verilog -> Verilog -> Ordering

(<) :: Verilog -> Verilog -> Bool

(<=) :: Verilog -> Verilog -> Bool

(>) :: Verilog -> Verilog -> Bool

(>=) :: Verilog -> Verilog -> Bool

max :: Verilog -> Verilog -> Verilog

min :: Verilog -> Verilog -> Verilog

Show Verilog

Defined in Verismith.Verilog.AST

Methods

showsPrec :: Int -> Verilog -> ShowS

show :: Verilog -> String

showList :: [Verilog] -> ShowS

Generic Verilog

Defined in Verismith.Verilog.AST

Associated Types

type Rep Verilog :: Type -> Type

Methods

from :: Verilog -> Rep Verilog x

to :: Rep Verilog x -> Verilog

Semigroup Verilog

Defined in Verismith.Verilog.AST

Methods

(<>) :: Verilog -> Verilog -> Verilog

sconcat :: NonEmpty Verilog -> Verilog

stimes :: Integral b => b -> Verilog -> Verilog

Monoid Verilog

Defined in Verismith.Verilog.AST

Methods

mempty :: Verilog

mappend :: Verilog -> Verilog -> Verilog

mconcat :: [Verilog] -> Verilog

NFData Verilog

Defined in Verismith.Verilog.AST

Methods

rnf :: Verilog -> ()

Wrapped Verilog

Defined in Verismith.Verilog.AST

Associated Types

type Unwrapped Verilog :: Type

Methods

_Wrapped' :: Iso' Verilog (Unwrapped Verilog)

Source Verilog

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: Verilog -> Text

Mutate Verilog

Defined in Verismith.Verilog.Mutate

Methods

mutExpr :: (Expr -> Expr) -> Verilog -> Verilog

Verilog ~ t => Rewrapped Verilog t

Defined in Verismith.Verilog.AST

type Rep Verilog

Defined in Verismith.Verilog.AST

type Rep Verilog = D1 (MetaData "Verilog" "Verismith.Verilog.AST" "verismith-0.4.0.0-inplace" True) (C1 (MetaCons "Verilog" PrefixI True) (S1 (MetaSel (Just "getVerilog") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ModDecl])))

type Unwrapped Verilog

Defined in Verismith.Verilog.AST

type Unwrapped Verilog = [ModDecl]

Primitives

Identifier

newtype Identifier

Identifier in Verilog. This is just a string of characters that can either be lowercase and uppercase for now. This might change in the future though, as Verilog supports many more characters in Identifiers.

Constructors

Identifier

Fields

• getIdentifier :: Text

Instances

Eq Identifier

Defined in Verismith.Verilog.AST

Methods

(==) :: Identifier -> Identifier -> Bool

(/=) :: Identifier -> Identifier -> Bool

Data Identifier

Defined in Verismith.Verilog.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Identifier -> c Identifier

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Identifier

toConstr :: Identifier -> Constr

dataTypeOf :: Identifier -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Identifier)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Identifier)

gmapT :: (forall b. Data b => b -> b) -> Identifier -> Identifier

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Identifier -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Identifier -> r

gmapQ :: (forall d. Data d => d -> u) -> Identifier -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Identifier -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Identifier -> m Identifier

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Identifier -> m Identifier

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Identifier -> m Identifier

Ord Identifier

Defined in Verismith.Verilog.AST

Methods

compare :: Identifier -> Identifier -> Ordering

(<) :: Identifier -> Identifier -> Bool

(<=) :: Identifier -> Identifier -> Bool

(>) :: Identifier -> Identifier -> Bool

(>=) :: Identifier -> Identifier -> Bool

max :: Identifier -> Identifier -> Identifier

min :: Identifier -> Identifier -> Identifier

Show Identifier

Defined in Verismith.Verilog.AST

Methods

showsPrec :: Int -> Identifier -> ShowS

show :: Identifier -> String

showList :: [Identifier] -> ShowS

IsString Identifier

Defined in Verismith.Verilog.AST

Methods

fromString :: String -> Identifier

Generic Identifier

Defined in Verismith.Verilog.AST

Associated Types

type Rep Identifier :: Type -> Type

Methods

from :: Identifier -> Rep Identifier x

to :: Rep Identifier x -> Identifier

Semigroup Identifier

Defined in Verismith.Verilog.AST

Methods

(<>) :: Identifier -> Identifier -> Identifier

sconcat :: NonEmpty Identifier -> Identifier

stimes :: Integral b => b -> Identifier -> Identifier

Monoid Identifier

Defined in Verismith.Verilog.AST

Methods

mempty :: Identifier

mappend :: Identifier -> Identifier -> Identifier

mconcat :: [Identifier] -> Identifier

NFData Identifier

Defined in Verismith.Verilog.AST

Methods

rnf :: Identifier -> ()

Wrapped Identifier

Defined in Verismith.Verilog.AST

Associated Types

type Unwrapped Identifier :: Type

Methods

_Wrapped' :: Iso' Identifier (Unwrapped Identifier)

Source Identifier

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: Identifier -> Text

Mutate Identifier

Defined in Verismith.Verilog.Mutate

Methods

mutExpr :: (Expr -> Expr) -> Identifier -> Identifier

Identifier ~ t => Rewrapped Identifier t

Defined in Verismith.Verilog.AST

type Rep Identifier

Defined in Verismith.Verilog.AST

type Rep Identifier = D1 (MetaData "Identifier" "Verismith.Verilog.AST" "verismith-0.4.0.0-inplace" True) (C1 (MetaCons "Identifier" PrefixI True) (S1 (MetaSel (Just "getIdentifier") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

type Unwrapped Identifier

Defined in Verismith.Verilog.AST

type Unwrapped Identifier = Text

Control

newtype Delay

Verilog syntax for adding a delay, which is represented as #num.

Constructors

Delay

Fields

• _getDelay :: Int

Instances

Eq Delay

Defined in Verismith.Verilog.AST

Methods

(==) :: Delay -> Delay -> Bool

(/=) :: Delay -> Delay -> Bool

Data Delay

Defined in Verismith.Verilog.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Delay -> c Delay

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Delay

toConstr :: Delay -> Constr

dataTypeOf :: Delay -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Delay)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Delay)

gmapT :: (forall b. Data b => b -> b) -> Delay -> Delay

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Delay -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Delay -> r

gmapQ :: (forall d. Data d => d -> u) -> Delay -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Delay -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Delay -> m Delay

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Delay -> m Delay

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Delay -> m Delay

Num Delay

Defined in Verismith.Verilog.AST

Methods

(+) :: Delay -> Delay -> Delay

(-) :: Delay -> Delay -> Delay

(*) :: Delay -> Delay -> Delay

negate :: Delay -> Delay

abs :: Delay -> Delay

signum :: Delay -> Delay

fromInteger :: Integer -> Delay

Ord Delay

Defined in Verismith.Verilog.AST

Methods

compare :: Delay -> Delay -> Ordering

(<) :: Delay -> Delay -> Bool

(<=) :: Delay -> Delay -> Bool

(>) :: Delay -> Delay -> Bool

(>=) :: Delay -> Delay -> Bool

max :: Delay -> Delay -> Delay

min :: Delay -> Delay -> Delay

Show Delay

Defined in Verismith.Verilog.AST

Methods

showsPrec :: Int -> Delay -> ShowS

show :: Delay -> String

showList :: [Delay] -> ShowS

Generic Delay

Defined in Verismith.Verilog.AST

Associated Types

type Rep Delay :: Type -> Type

Methods

from :: Delay -> Rep Delay x

to :: Rep Delay x -> Delay

NFData Delay

Defined in Verismith.Verilog.AST

Methods

rnf :: Delay -> ()

Wrapped Delay

Defined in Verismith.Verilog.AST

Associated Types

type Unwrapped Delay :: Type

Methods

_Wrapped' :: Iso' Delay (Unwrapped Delay)

Source Delay

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: Delay -> Text

Mutate Delay

Defined in Verismith.Verilog.Mutate

Methods

mutExpr :: (Expr -> Expr) -> Delay -> Delay

Delay ~ t => Rewrapped Delay t

Defined in Verismith.Verilog.AST

type Rep Delay

Defined in Verismith.Verilog.AST

type Rep Delay = D1 (MetaData "Delay" "Verismith.Verilog.AST" "verismith-0.4.0.0-inplace" True) (C1 (MetaCons "Delay" PrefixI True) (S1 (MetaSel (Just "_getDelay") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

type Unwrapped Delay

Defined in Verismith.Verilog.AST

type Unwrapped Delay = Int

data Event

Verilog syntax for an event, such as @x, which is used for always blocks

Constructors

EId !Identifier

EExpr !Expr

EAll

EPosEdge !Identifier

ENegEdge !Identifier

EOr !Event !Event

EComb !Event !Event

Instances

Eq Event

Defined in Verismith.Verilog.AST

Methods

(==) :: Event -> Event -> Bool

(/=) :: Event -> Event -> Bool

Data Event

Defined in Verismith.Verilog.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Event -> c Event

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Event

toConstr :: Event -> Constr

dataTypeOf :: Event -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Event)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Event)

gmapT :: (forall b. Data b => b -> b) -> Event -> Event

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Event -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Event -> r

gmapQ :: (forall d. Data d => d -> u) -> Event -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Event -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Event -> m Event

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Event -> m Event

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Event -> m Event

Ord Event

Defined in Verismith.Verilog.AST

Methods

compare :: Event -> Event -> Ordering

(<) :: Event -> Event -> Bool

(<=) :: Event -> Event -> Bool

(>) :: Event -> Event -> Bool

(>=) :: Event -> Event -> Bool

max :: Event -> Event -> Event

min :: Event -> Event -> Event

Show Event

Defined in Verismith.Verilog.AST

Methods

showsPrec :: Int -> Event -> ShowS

show :: Event -> String

showList :: [Event] -> ShowS

Generic Event

Defined in Verismith.Verilog.AST

Associated Types

type Rep Event :: Type -> Type

Methods

from :: Event -> Rep Event x

to :: Rep Event x -> Event

NFData Event

Defined in Verismith.Verilog.AST

Methods

rnf :: Event -> ()

Plated Event

Defined in Verismith.Verilog.AST

Methods

plate :: Traversal' Event Event

Recursive Event

Defined in Verismith.Verilog.AST

Methods

project :: Event -> Base Event Event

cata :: (Base Event a -> a) -> Event -> a

para :: (Base Event (Event, a) -> a) -> Event -> a

gpara :: (Corecursive Event, Comonad w) => (forall b. Base Event (w b) -> w (Base Event b)) -> (Base Event (EnvT Event w a) -> a) -> Event -> a

prepro :: Corecursive Event => (forall b. Base Event b -> Base Event b) -> (Base Event a -> a) -> Event -> a

gprepro :: (Corecursive Event, Comonad w) => (forall b. Base Event (w b) -> w (Base Event b)) -> (forall c. Base Event c -> Base Event c) -> (Base Event (w a) -> a) -> Event -> a

Corecursive Event

Defined in Verismith.Verilog.AST

Methods

embed :: Base Event Event -> Event

ana :: (a -> Base Event a) -> a -> Event

apo :: (a -> Base Event (Either Event a)) -> a -> Event

postpro :: Recursive Event => (forall b. Base Event b -> Base Event b) -> (a -> Base Event a) -> a -> Event

gpostpro :: (Recursive Event, Monad m) => (forall b. m (Base Event b) -> Base Event (m b)) -> (forall c. Base Event c -> Base Event c) -> (a -> Base Event (m a)) -> a -> Event

Source Event

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: Event -> Text

Mutate Event

Defined in Verismith.Verilog.Mutate

Methods

mutExpr :: (Expr -> Expr) -> Event -> Event

type Rep Event

Defined in Verismith.Verilog.AST

type Rep Event = D1 (MetaData "Event" "Verismith.Verilog.AST" "verismith-0.4.0.0-inplace" False) ((C1 (MetaCons "EId" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Identifier)) :+: (C1 (MetaCons "EExpr" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Expr)) :+: C1 (MetaCons "EAll" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "EPosEdge" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Identifier)) :+: C1 (MetaCons "ENegEdge" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Identifier))) :+: (C1 (MetaCons "EOr" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Event) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Event)) :+: C1 (MetaCons "EComb" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Event) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Event)))))

type Base Event

Defined in Verismith.Verilog.AST

type Base Event

Operators

data BinaryOperator

Binary operators that are currently supported in the verilog generation.

Constructors

BinPlus

+

BinMinus

-

BinTimes

*

BinDiv

/

BinMod

%

BinEq

==

BinNEq

!=

BinCEq

===

BinCNEq

!==

BinLAnd

&&

BinLOr

||

BinLT

<

BinLEq

<=

BinGT

>

BinGEq

>=

BinAnd

&

BinOr

|

BinXor

^

BinXNor

^~

BinXNorInv

~^

BinPower

**

BinLSL

<<

BinLSR

>>

BinASL

<<<

BinASR

>>>

Instances

Eq BinaryOperator

Defined in Verismith.Verilog.AST

Methods

(==) :: BinaryOperator -> BinaryOperator -> Bool

(/=) :: BinaryOperator -> BinaryOperator -> Bool

Data BinaryOperator

Defined in Verismith.Verilog.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BinaryOperator -> c BinaryOperator

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BinaryOperator

toConstr :: BinaryOperator -> Constr

dataTypeOf :: BinaryOperator -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BinaryOperator)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BinaryOperator)

gmapT :: (forall b. Data b => b -> b) -> BinaryOperator -> BinaryOperator

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BinaryOperator -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BinaryOperator -> r

gmapQ :: (forall d. Data d => d -> u) -> BinaryOperator -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> BinaryOperator -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> BinaryOperator -> m BinaryOperator

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BinaryOperator -> m BinaryOperator

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BinaryOperator -> m BinaryOperator

Ord BinaryOperator

Defined in Verismith.Verilog.AST

Methods

compare :: BinaryOperator -> BinaryOperator -> Ordering

(<) :: BinaryOperator -> BinaryOperator -> Bool

(<=) :: BinaryOperator -> BinaryOperator -> Bool

(>) :: BinaryOperator -> BinaryOperator -> Bool

(>=) :: BinaryOperator -> BinaryOperator -> Bool

max :: BinaryOperator -> BinaryOperator -> BinaryOperator

min :: BinaryOperator -> BinaryOperator -> BinaryOperator

Show BinaryOperator

Defined in Verismith.Verilog.AST

Methods

showsPrec :: Int -> BinaryOperator -> ShowS

show :: BinaryOperator -> String

showList :: [BinaryOperator] -> ShowS

Generic BinaryOperator

Defined in Verismith.Verilog.AST

Associated Types

type Rep BinaryOperator :: Type -> Type

Methods

from :: BinaryOperator -> Rep BinaryOperator x

to :: Rep BinaryOperator x -> BinaryOperator

NFData BinaryOperator

Defined in Verismith.Verilog.AST

Methods

rnf :: BinaryOperator -> ()

Mutate BinaryOperator

Defined in Verismith.Verilog.Mutate

Methods

mutExpr :: (Expr -> Expr) -> BinaryOperator -> BinaryOperator

type Rep BinaryOperator

Defined in Verismith.Verilog.AST

type Rep BinaryOperator = D1 (MetaData "BinaryOperator" "Verismith.Verilog.AST" "verismith-0.4.0.0-inplace" False) ((((C1 (MetaCons "BinPlus" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "BinMinus" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "BinTimes" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "BinDiv" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "BinMod" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "BinEq" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "BinNEq" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "BinCEq" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "BinCNEq" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "BinLAnd" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "BinLOr" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "BinLT" PrefixI False) (U1 :: Type -> Type))))) :+: (((C1 (MetaCons "BinLEq" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "BinGT" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "BinGEq" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "BinAnd" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "BinOr" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "BinXor" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "BinXNor" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "BinXNorInv" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "BinPower" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "BinLSL" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "BinLSR" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "BinASL" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "BinASR" PrefixI False) (U1 :: Type -> Type))))))

data UnaryOperator

Unary operators that are currently supported by the generator.

Constructors

UnPlus

+

UnMinus

-

UnLNot

!

UnNot

~

UnAnd

&

UnNand

~&

UnOr

|

UnNor

~|

UnXor

^

UnNxor

~^

UnNxorInv

^~

Instances

Eq UnaryOperator

Defined in Verismith.Verilog.AST

Methods

(==) :: UnaryOperator -> UnaryOperator -> Bool

(/=) :: UnaryOperator -> UnaryOperator -> Bool

Data UnaryOperator

Defined in Verismith.Verilog.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UnaryOperator -> c UnaryOperator

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UnaryOperator

toConstr :: UnaryOperator -> Constr

dataTypeOf :: UnaryOperator -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c UnaryOperator)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UnaryOperator)

gmapT :: (forall b. Data b => b -> b) -> UnaryOperator -> UnaryOperator

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UnaryOperator -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UnaryOperator -> r

gmapQ :: (forall d. Data d => d -> u) -> UnaryOperator -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> UnaryOperator -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> UnaryOperator -> m UnaryOperator

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UnaryOperator -> m UnaryOperator

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UnaryOperator -> m UnaryOperator

Ord UnaryOperator

Defined in Verismith.Verilog.AST

Methods

compare :: UnaryOperator -> UnaryOperator -> Ordering

(<) :: UnaryOperator -> UnaryOperator -> Bool

(<=) :: UnaryOperator -> UnaryOperator -> Bool

(>) :: UnaryOperator -> UnaryOperator -> Bool

(>=) :: UnaryOperator -> UnaryOperator -> Bool

max :: UnaryOperator -> UnaryOperator -> UnaryOperator

min :: UnaryOperator -> UnaryOperator -> UnaryOperator

Show UnaryOperator

Defined in Verismith.Verilog.AST

Methods

showsPrec :: Int -> UnaryOperator -> ShowS

show :: UnaryOperator -> String

showList :: [UnaryOperator] -> ShowS

Generic UnaryOperator

Defined in Verismith.Verilog.AST

Associated Types

type Rep UnaryOperator :: Type -> Type

Methods

from :: UnaryOperator -> Rep UnaryOperator x

to :: Rep UnaryOperator x -> UnaryOperator

NFData UnaryOperator

Defined in Verismith.Verilog.AST

Methods

rnf :: UnaryOperator -> ()

Source UnaryOperator

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: UnaryOperator -> Text

Mutate UnaryOperator

Defined in Verismith.Verilog.Mutate

Methods

mutExpr :: (Expr -> Expr) -> UnaryOperator -> UnaryOperator

type Rep UnaryOperator

Defined in Verismith.Verilog.AST

type Rep UnaryOperator = D1 (MetaData "UnaryOperator" "Verismith.Verilog.AST" "verismith-0.4.0.0-inplace" False) (((C1 (MetaCons "UnPlus" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "UnMinus" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "UnLNot" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "UnNot" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "UnAnd" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "UnNand" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "UnOr" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "UnNor" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "UnXor" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "UnNxor" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "UnNxorInv" PrefixI False) (U1 :: Type -> Type)))))

Task

data Task

Constructors

Task

Fields

• _taskName :: !Identifier
• _taskExpr :: [Expr]

Instances

Eq Task

Defined in Verismith.Verilog.AST

Methods

(==) :: Task -> Task -> Bool

(/=) :: Task -> Task -> Bool

Data Task

Defined in Verismith.Verilog.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Task -> c Task

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Task

toConstr :: Task -> Constr

dataTypeOf :: Task -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Task)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Task)

gmapT :: (forall b. Data b => b -> b) -> Task -> Task

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Task -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Task -> r

gmapQ :: (forall d. Data d => d -> u) -> Task -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Task -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Task -> m Task

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Task -> m Task

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Task -> m Task

Ord Task

Defined in Verismith.Verilog.AST

Methods

compare :: Task -> Task -> Ordering

(<) :: Task -> Task -> Bool

(<=) :: Task -> Task -> Bool

(>) :: Task -> Task -> Bool

(>=) :: Task -> Task -> Bool

max :: Task -> Task -> Task

min :: Task -> Task -> Task

Show Task

Defined in Verismith.Verilog.AST

Methods

showsPrec :: Int -> Task -> ShowS

show :: Task -> String

showList :: [Task] -> ShowS

Generic Task

Defined in Verismith.Verilog.AST

Associated Types

type Rep Task :: Type -> Type

Methods

from :: Task -> Rep Task x

to :: Rep Task x -> Task

NFData Task

Defined in Verismith.Verilog.AST

Methods

rnf :: Task -> ()

Source Task

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: Task -> Text

Mutate Task

Defined in Verismith.Verilog.Mutate

Methods

mutExpr :: (Expr -> Expr) -> Task -> Task

type Rep Task

Defined in Verismith.Verilog.AST

type Rep Task = D1 (MetaData "Task" "Verismith.Verilog.AST" "verismith-0.4.0.0-inplace" False) (C1 (MetaCons "Task" PrefixI True) (S1 (MetaSel (Just "_taskName") SourceUnpack SourceStrict DecidedStrict) (Rec0 Identifier) :*: S1 (MetaSel (Just "_taskExpr") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Expr])))

taskName :: Lens' Task Identifier

taskExpr :: Lens' Task [Expr]

Left hand side value

data LVal

Type that represents the left hand side of an assignment, which can be a concatenation such as in:

{a, b, c} = 32'h94238;

Constructors

RegId

Fields

• _regId :: !Identifier

RegExpr

Fields

• _regExprId :: !Identifier
• _regExpr :: !Expr

RegSize

Fields

• _regSizeId :: !Identifier
• _regSizeRange :: !Range

RegConcat

Fields

• _regConc :: [Expr]

Instances

Eq LVal

Defined in Verismith.Verilog.AST

Methods

(==) :: LVal -> LVal -> Bool

(/=) :: LVal -> LVal -> Bool

Data LVal

Defined in Verismith.Verilog.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LVal -> c LVal

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LVal

toConstr :: LVal -> Constr

dataTypeOf :: LVal -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LVal)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LVal)

gmapT :: (forall b. Data b => b -> b) -> LVal -> LVal

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LVal -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LVal -> r

gmapQ :: (forall d. Data d => d -> u) -> LVal -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> LVal -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LVal -> m LVal

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LVal -> m LVal

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LVal -> m LVal

Ord LVal

Defined in Verismith.Verilog.AST

Methods

compare :: LVal -> LVal -> Ordering

(<) :: LVal -> LVal -> Bool

(<=) :: LVal -> LVal -> Bool

(>) :: LVal -> LVal -> Bool

(>=) :: LVal -> LVal -> Bool

max :: LVal -> LVal -> LVal

min :: LVal -> LVal -> LVal

Show LVal

Defined in Verismith.Verilog.AST

Methods

showsPrec :: Int -> LVal -> ShowS

show :: LVal -> String

showList :: [LVal] -> ShowS

IsString LVal

Defined in Verismith.Verilog.AST

Methods

fromString :: String -> LVal

Generic LVal

Defined in Verismith.Verilog.AST

Associated Types

type Rep LVal :: Type -> Type

Methods

from :: LVal -> Rep LVal x

to :: Rep LVal x -> LVal

NFData LVal

Defined in Verismith.Verilog.AST

Methods

rnf :: LVal -> ()

Source LVal

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: LVal -> Text

Mutate LVal

Defined in Verismith.Verilog.Mutate

Methods

mutExpr :: (Expr -> Expr) -> LVal -> LVal

type Rep LVal

Defined in Verismith.Verilog.AST

type Rep LVal = D1 (MetaData "LVal" "Verismith.Verilog.AST" "verismith-0.4.0.0-inplace" False) ((C1 (MetaCons "RegId" PrefixI True) (S1 (MetaSel (Just "_regId") SourceUnpack SourceStrict DecidedStrict) (Rec0 Identifier)) :+: C1 (MetaCons "RegExpr" PrefixI True) (S1 (MetaSel (Just "_regExprId") SourceUnpack SourceStrict DecidedStrict) (Rec0 Identifier) :*: S1 (MetaSel (Just "_regExpr") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Expr))) :+: (C1 (MetaCons "RegSize" PrefixI True) (S1 (MetaSel (Just "_regSizeId") SourceUnpack SourceStrict DecidedStrict) (Rec0 Identifier) :*: S1 (MetaSel (Just "_regSizeRange") SourceUnpack SourceStrict DecidedStrict) (Rec0 Range)) :+: C1 (MetaCons "RegConcat" PrefixI True) (S1 (MetaSel (Just "_regConc") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Expr]))))

regId :: Traversal' LVal Identifier

regExprId :: Traversal' LVal Identifier

regExpr :: Traversal' LVal Expr

regSizeId :: Traversal' LVal Identifier

regSizeRange :: Traversal' LVal Range

regConc :: Traversal' LVal [Expr]

Ports

data PortDir

Different port direction that are supported in Verilog.

Constructors

PortIn

Input direction for port (input).

PortOut

Output direction for port (output).

PortInOut

Inout direction for port (inout).

Instances

Eq PortDir

Defined in Verismith.Verilog.AST

Methods

(==) :: PortDir -> PortDir -> Bool

(/=) :: PortDir -> PortDir -> Bool

Data PortDir

Defined in Verismith.Verilog.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PortDir -> c PortDir

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PortDir

toConstr :: PortDir -> Constr

dataTypeOf :: PortDir -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PortDir)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PortDir)

gmapT :: (forall b. Data b => b -> b) -> PortDir -> PortDir

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PortDir -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PortDir -> r

gmapQ :: (forall d. Data d => d -> u) -> PortDir -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> PortDir -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PortDir -> m PortDir

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PortDir -> m PortDir

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PortDir -> m PortDir

Ord PortDir

Defined in Verismith.Verilog.AST

Methods

compare :: PortDir -> PortDir -> Ordering

(<) :: PortDir -> PortDir -> Bool

(<=) :: PortDir -> PortDir -> Bool

(>) :: PortDir -> PortDir -> Bool

(>=) :: PortDir -> PortDir -> Bool

max :: PortDir -> PortDir -> PortDir

min :: PortDir -> PortDir -> PortDir

Show PortDir

Defined in Verismith.Verilog.AST

Methods

showsPrec :: Int -> PortDir -> ShowS

show :: PortDir -> String

showList :: [PortDir] -> ShowS

Generic PortDir

Defined in Verismith.Verilog.AST

Associated Types

type Rep PortDir :: Type -> Type

Methods

from :: PortDir -> Rep PortDir x

to :: Rep PortDir x -> PortDir

NFData PortDir

Defined in Verismith.Verilog.AST

Methods

rnf :: PortDir -> ()

Source PortDir

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: PortDir -> Text

Mutate PortDir

Defined in Verismith.Verilog.Mutate

Methods

mutExpr :: (Expr -> Expr) -> PortDir -> PortDir

type Rep PortDir

Defined in Verismith.Verilog.AST

type Rep PortDir = D1 (MetaData "PortDir" "Verismith.Verilog.AST" "verismith-0.4.0.0-inplace" False) (C1 (MetaCons "PortIn" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "PortOut" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "PortInOut" PrefixI False) (U1 :: Type -> Type)))

data PortType

Currently, only wire and reg are supported, as the other net types are not that common and not a priority.

Constructors

Wire

Reg

Instances

Eq PortType

Defined in Verismith.Verilog.AST

Methods

(==) :: PortType -> PortType -> Bool

(/=) :: PortType -> PortType -> Bool

Data PortType

Defined in Verismith.Verilog.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PortType -> c PortType

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PortType

toConstr :: PortType -> Constr

dataTypeOf :: PortType -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PortType)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PortType)

gmapT :: (forall b. Data b => b -> b) -> PortType -> PortType

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PortType -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PortType -> r

gmapQ :: (forall d. Data d => d -> u) -> PortType -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> PortType -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PortType -> m PortType

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PortType -> m PortType

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PortType -> m PortType

Ord PortType

Defined in Verismith.Verilog.AST

Methods

compare :: PortType -> PortType -> Ordering

(<) :: PortType -> PortType -> Bool

(<=) :: PortType -> PortType -> Bool

(>) :: PortType -> PortType -> Bool

(>=) :: PortType -> PortType -> Bool

max :: PortType -> PortType -> PortType

min :: PortType -> PortType -> PortType

Show PortType

Defined in Verismith.Verilog.AST

Methods

showsPrec :: Int -> PortType -> ShowS

show :: PortType -> String

showList :: [PortType] -> ShowS

Generic PortType

Defined in Verismith.Verilog.AST

Associated Types

type Rep PortType :: Type -> Type

Methods

from :: PortType -> Rep PortType x

to :: Rep PortType x -> PortType

NFData PortType

Defined in Verismith.Verilog.AST

Methods

rnf :: PortType -> ()

Source PortType

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: PortType -> Text

Mutate PortType

Defined in Verismith.Verilog.Mutate

Methods

mutExpr :: (Expr -> Expr) -> PortType -> PortType

type Rep PortType

Defined in Verismith.Verilog.AST

type Rep PortType = D1 (MetaData "PortType" "Verismith.Verilog.AST" "verismith-0.4.0.0-inplace" False) (C1 (MetaCons "Wire" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Reg" PrefixI False) (U1 :: Type -> Type))

data Port

Port declaration. It contains information about the type of the port, the size, and the port name. It used to also contain information about if it was an input or output port. However, this is not always necessary and was more cumbersome than useful, as a lot of ports can be declared without input and output port.

This is now implemented inside ModDecl itself, which uses a list of output and input ports.

Constructors

Port

Fields

• _portType :: !PortType
• _portSigned :: !Bool
• _portSize :: !Range
• _portName :: !Identifier

Instances

Eq Port

Defined in Verismith.Verilog.AST

Methods

(==) :: Port -> Port -> Bool

(/=) :: Port -> Port -> Bool

Data Port

Defined in Verismith.Verilog.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Port -> c Port

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Port

toConstr :: Port -> Constr

dataTypeOf :: Port -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Port)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Port)

gmapT :: (forall b. Data b => b -> b) -> Port -> Port

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Port -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Port -> r

gmapQ :: (forall d. Data d => d -> u) -> Port -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Port -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Port -> m Port

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Port -> m Port

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Port -> m Port

Ord Port

Defined in Verismith.Verilog.AST

Methods

compare :: Port -> Port -> Ordering

(<) :: Port -> Port -> Bool

(<=) :: Port -> Port -> Bool

(>) :: Port -> Port -> Bool

(>=) :: Port -> Port -> Bool

max :: Port -> Port -> Port

min :: Port -> Port -> Port

Show Port

Defined in Verismith.Verilog.AST

Methods

showsPrec :: Int -> Port -> ShowS

show :: Port -> String

showList :: [Port] -> ShowS

Generic Port

Defined in Verismith.Verilog.AST

Associated Types

type Rep Port :: Type -> Type

Methods

from :: Port -> Rep Port x

to :: Rep Port x -> Port

NFData Port

Defined in Verismith.Verilog.AST

Methods

rnf :: Port -> ()

Source Port

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: Port -> Text

Mutate Port

Defined in Verismith.Verilog.Mutate

Methods

mutExpr :: (Expr -> Expr) -> Port -> Port

type Rep Port

Defined in Verismith.Verilog.AST

type Rep Port = D1 (MetaData "Port" "Verismith.Verilog.AST" "verismith-0.4.0.0-inplace" False) (C1 (MetaCons "Port" PrefixI True) ((S1 (MetaSel (Just "_portType") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 PortType) :*: S1 (MetaSel (Just "_portSigned") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Bool)) :*: (S1 (MetaSel (Just "_portSize") SourceUnpack SourceStrict DecidedStrict) (Rec0 Range) :*: S1 (MetaSel (Just "_portName") SourceUnpack SourceStrict DecidedStrict) (Rec0 Identifier))))

portType :: Lens' Port PortType

portSigned :: Lens' Port Bool

portSize :: Lens' Port Range

portName :: Lens' Port Identifier

Expression

data Expr

Verilog expression, which can either be a primary expression, unary expression, binary operator expression or a conditional expression.

Constructors

Number !BitVec

Number implementation containing the size and the value itself

Id !Identifier

VecSelect !Identifier !Expr

RangeSelect !Identifier !Range

Symbols

Concat !(NonEmpty Expr)

Bit-wise concatenation of expressions represented by braces.

UnOp !UnaryOperator !Expr

BinOp !Expr !BinaryOperator !Expr

Cond !Expr !Expr !Expr

Appl !Identifier !Expr

Str !Text

Instances

Eq Expr

Defined in Verismith.Verilog.AST

Methods

(==) :: Expr -> Expr -> Bool

(/=) :: Expr -> Expr -> Bool

Data Expr

Defined in Verismith.Verilog.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Expr -> c Expr

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Expr

toConstr :: Expr -> Constr

dataTypeOf :: Expr -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Expr)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Expr)

gmapT :: (forall b. Data b => b -> b) -> Expr -> Expr

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Expr -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Expr -> r

gmapQ :: (forall d. Data d => d -> u) -> Expr -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Expr -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Expr -> m Expr

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Expr -> m Expr

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Expr -> m Expr

Num Expr

Defined in Verismith.Verilog.AST

Methods

(+) :: Expr -> Expr -> Expr

(-) :: Expr -> Expr -> Expr

(*) :: Expr -> Expr -> Expr

negate :: Expr -> Expr

abs :: Expr -> Expr

signum :: Expr -> Expr

fromInteger :: Integer -> Expr

Ord Expr

Defined in Verismith.Verilog.AST

Methods

compare :: Expr -> Expr -> Ordering

(<) :: Expr -> Expr -> Bool

(<=) :: Expr -> Expr -> Bool

(>) :: Expr -> Expr -> Bool

(>=) :: Expr -> Expr -> Bool

max :: Expr -> Expr -> Expr

min :: Expr -> Expr -> Expr

Show Expr

Defined in Verismith.Verilog.AST

Methods

showsPrec :: Int -> Expr -> ShowS

show :: Expr -> String

showList :: [Expr] -> ShowS

IsString Expr

Defined in Verismith.Verilog.AST

Methods

fromString :: String -> Expr

Generic Expr

Defined in Verismith.Verilog.AST

Associated Types

type Rep Expr :: Type -> Type

Methods

from :: Expr -> Rep Expr x

to :: Rep Expr x -> Expr

Semigroup Expr

Defined in Verismith.Verilog.AST

Methods

(<>) :: Expr -> Expr -> Expr

sconcat :: NonEmpty Expr -> Expr

stimes :: Integral b => b -> Expr -> Expr

Monoid Expr

Defined in Verismith.Verilog.AST

Methods

mempty :: Expr

mappend :: Expr -> Expr -> Expr

mconcat :: [Expr] -> Expr

NFData Expr

Defined in Verismith.Verilog.AST

Methods

rnf :: Expr -> ()

Plated Expr

Defined in Verismith.Verilog.AST

Methods

plate :: Traversal' Expr Expr

Recursive Expr

Defined in Verismith.Verilog.AST

Methods

project :: Expr -> Base Expr Expr

cata :: (Base Expr a -> a) -> Expr -> a

para :: (Base Expr (Expr, a) -> a) -> Expr -> a

gpara :: (Corecursive Expr, Comonad w) => (forall b. Base Expr (w b) -> w (Base Expr b)) -> (Base Expr (EnvT Expr w a) -> a) -> Expr -> a

prepro :: Corecursive Expr => (forall b. Base Expr b -> Base Expr b) -> (Base Expr a -> a) -> Expr -> a

gprepro :: (Corecursive Expr, Comonad w) => (forall b. Base Expr (w b) -> w (Base Expr b)) -> (forall c. Base Expr c -> Base Expr c) -> (Base Expr (w a) -> a) -> Expr -> a

Corecursive Expr

Defined in Verismith.Verilog.AST

Methods

embed :: Base Expr Expr -> Expr

ana :: (a -> Base Expr a) -> a -> Expr

apo :: (a -> Base Expr (Either Expr a)) -> a -> Expr

postpro :: Recursive Expr => (forall b. Base Expr b -> Base Expr b) -> (a -> Base Expr a) -> a -> Expr

gpostpro :: (Recursive Expr, Monad m) => (forall b. m (Base Expr b) -> Base Expr (m b)) -> (forall c. Base Expr c -> Base Expr c) -> (a -> Base Expr (m a)) -> a -> Expr

Source Expr

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: Expr -> Text

Mutate Expr

Defined in Verismith.Verilog.Mutate

Methods

mutExpr :: (Expr -> Expr) -> Expr -> Expr

type Rep Expr

Defined in Verismith.Verilog.AST

type Rep Expr = D1 (MetaData "Expr" "Verismith.Verilog.AST" "verismith-0.4.0.0-inplace" False) (((C1 (MetaCons "Number" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 BitVec)) :+: C1 (MetaCons "Id" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Identifier))) :+: (C1 (MetaCons "VecSelect" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Identifier) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Expr)) :+: (C1 (MetaCons "RangeSelect" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Identifier) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Range)) :+: C1 (MetaCons "Concat" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (NonEmpty Expr)))))) :+: ((C1 (MetaCons "UnOp" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 UnaryOperator) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Expr)) :+: C1 (MetaCons "BinOp" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Expr) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 BinaryOperator) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Expr)))) :+: (C1 (MetaCons "Cond" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Expr) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Expr) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Expr))) :+: (C1 (MetaCons "Appl" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Identifier) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Expr)) :+: C1 (MetaCons "Str" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Text))))))

type Base Expr

Defined in Verismith.Verilog.AST

type Base Expr

data ConstExpr

Constant expression, which are known before simulation at compile time.

Constructors

ConstNum

Fields

• _constNum :: !BitVec

ParamId

Fields

• _constParamId :: !Identifier

ConstConcat

Fields

• _constConcat :: !(NonEmpty ConstExpr)

ConstUnOp

Fields

• _constUnOp :: !UnaryOperator
• _constPrim :: !ConstExpr

ConstBinOp

Fields

• _constLhs :: !ConstExpr
• _constBinOp :: !BinaryOperator
• _constRhs :: !ConstExpr

ConstCond

Fields

• _constCond :: !ConstExpr
• _constTrue :: !ConstExpr
• _constFalse :: !ConstExpr

ConstStr

Fields

• _constStr :: !Text

Instances

Eq ConstExpr

Defined in Verismith.Verilog.AST

Methods

(==) :: ConstExpr -> ConstExpr -> Bool

(/=) :: ConstExpr -> ConstExpr -> Bool

Data ConstExpr

Defined in Verismith.Verilog.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ConstExpr -> c ConstExpr

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ConstExpr

toConstr :: ConstExpr -> Constr

dataTypeOf :: ConstExpr -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ConstExpr)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ConstExpr)

gmapT :: (forall b. Data b => b -> b) -> ConstExpr -> ConstExpr

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ConstExpr -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ConstExpr -> r

gmapQ :: (forall d. Data d => d -> u) -> ConstExpr -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ConstExpr -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ConstExpr -> m ConstExpr

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ConstExpr -> m ConstExpr

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ConstExpr -> m ConstExpr

Num ConstExpr

Defined in Verismith.Verilog.AST

Methods

(+) :: ConstExpr -> ConstExpr -> ConstExpr

(-) :: ConstExpr -> ConstExpr -> ConstExpr

(*) :: ConstExpr -> ConstExpr -> ConstExpr

negate :: ConstExpr -> ConstExpr

abs :: ConstExpr -> ConstExpr

signum :: ConstExpr -> ConstExpr

fromInteger :: Integer -> ConstExpr

Ord ConstExpr

Defined in Verismith.Verilog.AST

Methods

compare :: ConstExpr -> ConstExpr -> Ordering

(<) :: ConstExpr -> ConstExpr -> Bool

(<=) :: ConstExpr -> ConstExpr -> Bool

(>) :: ConstExpr -> ConstExpr -> Bool

(>=) :: ConstExpr -> ConstExpr -> Bool

max :: ConstExpr -> ConstExpr -> ConstExpr

min :: ConstExpr -> ConstExpr -> ConstExpr

Show ConstExpr

Defined in Verismith.Verilog.AST

Methods

showsPrec :: Int -> ConstExpr -> ShowS

show :: ConstExpr -> String

showList :: [ConstExpr] -> ShowS

IsString ConstExpr

Defined in Verismith.Verilog.AST

Methods

fromString :: String -> ConstExpr

Generic ConstExpr

Defined in Verismith.Verilog.AST

Associated Types

type Rep ConstExpr :: Type -> Type

Methods

from :: ConstExpr -> Rep ConstExpr x

to :: Rep ConstExpr x -> ConstExpr

Semigroup ConstExpr

Defined in Verismith.Verilog.AST

Methods

(<>) :: ConstExpr -> ConstExpr -> ConstExpr

sconcat :: NonEmpty ConstExpr -> ConstExpr

stimes :: Integral b => b -> ConstExpr -> ConstExpr

Monoid ConstExpr

Defined in Verismith.Verilog.AST

Methods

mempty :: ConstExpr

mappend :: ConstExpr -> ConstExpr -> ConstExpr

mconcat :: [ConstExpr] -> ConstExpr

NFData ConstExpr

Defined in Verismith.Verilog.AST

Methods

rnf :: ConstExpr -> ()

Plated ConstExpr

Defined in Verismith.Verilog.AST

Methods

plate :: Traversal' ConstExpr ConstExpr

Recursive ConstExpr

Defined in Verismith.Verilog.AST

Methods

project :: ConstExpr -> Base ConstExpr ConstExpr

cata :: (Base ConstExpr a -> a) -> ConstExpr -> a

para :: (Base ConstExpr (ConstExpr, a) -> a) -> ConstExpr -> a

gpara :: (Corecursive ConstExpr, Comonad w) => (forall b. Base ConstExpr (w b) -> w (Base ConstExpr b)) -> (Base ConstExpr (EnvT ConstExpr w a) -> a) -> ConstExpr -> a

prepro :: Corecursive ConstExpr => (forall b. Base ConstExpr b -> Base ConstExpr b) -> (Base ConstExpr a -> a) -> ConstExpr -> a

gprepro :: (Corecursive ConstExpr, Comonad w) => (forall b. Base ConstExpr (w b) -> w (Base ConstExpr b)) -> (forall c. Base ConstExpr c -> Base ConstExpr c) -> (Base ConstExpr (w a) -> a) -> ConstExpr -> a

Corecursive ConstExpr

Defined in Verismith.Verilog.AST

Methods

embed :: Base ConstExpr ConstExpr -> ConstExpr

ana :: (a -> Base ConstExpr a) -> a -> ConstExpr

apo :: (a -> Base ConstExpr (Either ConstExpr a)) -> a -> ConstExpr

postpro :: Recursive ConstExpr => (forall b. Base ConstExpr b -> Base ConstExpr b) -> (a -> Base ConstExpr a) -> a -> ConstExpr

gpostpro :: (Recursive ConstExpr, Monad m) => (forall b. m (Base ConstExpr b) -> Base ConstExpr (m b)) -> (forall c. Base ConstExpr c -> Base ConstExpr c) -> (a -> Base ConstExpr (m a)) -> a -> ConstExpr

Source ConstExpr

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: ConstExpr -> Text

Mutate ConstExpr

Defined in Verismith.Verilog.Mutate

Methods

mutExpr :: (Expr -> Expr) -> ConstExpr -> ConstExpr

type Rep ConstExpr

Defined in Verismith.Verilog.AST

type Rep ConstExpr = D1 (MetaData "ConstExpr" "Verismith.Verilog.AST" "verismith-0.4.0.0-inplace" False) ((C1 (MetaCons "ConstNum" PrefixI True) (S1 (MetaSel (Just "_constNum") SourceUnpack SourceStrict DecidedStrict) (Rec0 BitVec)) :+: (C1 (MetaCons "ParamId" PrefixI True) (S1 (MetaSel (Just "_constParamId") SourceUnpack SourceStrict DecidedStrict) (Rec0 Identifier)) :+: C1 (MetaCons "ConstConcat" PrefixI True) (S1 (MetaSel (Just "_constConcat") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (NonEmpty ConstExpr))))) :+: ((C1 (MetaCons "ConstUnOp" PrefixI True) (S1 (MetaSel (Just "_constUnOp") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 UnaryOperator) :*: S1 (MetaSel (Just "_constPrim") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ConstExpr)) :+: C1 (MetaCons "ConstBinOp" PrefixI True) (S1 (MetaSel (Just "_constLhs") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ConstExpr) :*: (S1 (MetaSel (Just "_constBinOp") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 BinaryOperator) :*: S1 (MetaSel (Just "_constRhs") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ConstExpr)))) :+: (C1 (MetaCons "ConstCond" PrefixI True) (S1 (MetaSel (Just "_constCond") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ConstExpr) :*: (S1 (MetaSel (Just "_constTrue") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ConstExpr) :*: S1 (MetaSel (Just "_constFalse") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ConstExpr))) :+: C1 (MetaCons "ConstStr" PrefixI True) (S1 (MetaSel (Just "_constStr") SourceUnpack SourceStrict DecidedStrict) (Rec0 Text)))))

type Base ConstExpr

Defined in Verismith.Verilog.AST

type Base ConstExpr = ConstExprF

data ConstExprF r

Constructors

ConstNumF

Fields

• _constNumF :: !(BitVecF Integer)

ParamIdF

Fields

• _constParamIdF :: !Identifier

ConstConcatF

Fields

• _constConcatF :: !(NonEmpty r)

ConstUnOpF

Fields

• _constUnOpF :: !UnaryOperator
• _constPrimF :: !r

ConstBinOpF

Fields

• _constLhsF :: !r
• _constBinOpF :: !BinaryOperator
• _constRhsF :: !r

ConstCondF

Fields

• _constCondF :: !r
• _constTrueF :: !r
• _constFalseF :: !r

ConstStrF

Fields

• _constStrF :: !Text

Instances

Functor ConstExprF

Defined in Verismith.Verilog.AST

Methods

fmap :: (a -> b) -> ConstExprF a -> ConstExprF b

(<$) :: a -> ConstExprF b -> ConstExprF a

Foldable ConstExprF

Defined in Verismith.Verilog.AST

Methods

fold :: Monoid m => ConstExprF m -> m

foldMap :: Monoid m => (a -> m) -> ConstExprF a -> m

foldr :: (a -> b -> b) -> b -> ConstExprF a -> b

foldr' :: (a -> b -> b) -> b -> ConstExprF a -> b

foldl :: (b -> a -> b) -> b -> ConstExprF a -> b

foldl' :: (b -> a -> b) -> b -> ConstExprF a -> b

foldr1 :: (a -> a -> a) -> ConstExprF a -> a

foldl1 :: (a -> a -> a) -> ConstExprF a -> a

toList :: ConstExprF a -> [a]

null :: ConstExprF a -> Bool

length :: ConstExprF a -> Int

elem :: Eq a => a -> ConstExprF a -> Bool

maximum :: Ord a => ConstExprF a -> a

minimum :: Ord a => ConstExprF a -> a

sum :: Num a => ConstExprF a -> a

product :: Num a => ConstExprF a -> a

Traversable ConstExprF

Defined in Verismith.Verilog.AST

Methods

traverse :: Applicative f => (a -> f b) -> ConstExprF a -> f (ConstExprF b)

sequenceA :: Applicative f => ConstExprF (f a) -> f (ConstExprF a)

mapM :: Monad m => (a -> m b) -> ConstExprF a -> m (ConstExprF b)

sequence :: Monad m => ConstExprF (m a) -> m (ConstExprF a)

constToExpr :: ConstExpr -> Expr

exprToConst :: Expr -> ConstExpr

data Range

Range that can be associated with any port or left hand side. Contains the msb and lsb bits as ConstExpr. This means that they can be generated using parameters, which can in turn be changed at synthesis time.

Constructors

Range

Fields

• rangeMSB :: !ConstExpr
• rangeLSB :: !ConstExpr

Instances

Eq Range

Defined in Verismith.Verilog.AST

Methods

(==) :: Range -> Range -> Bool

(/=) :: Range -> Range -> Bool

Data Range

Defined in Verismith.Verilog.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Range -> c Range

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Range

toConstr :: Range -> Constr

dataTypeOf :: Range -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Range)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Range)

gmapT :: (forall b. Data b => b -> b) -> Range -> Range

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Range -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Range -> r

gmapQ :: (forall d. Data d => d -> u) -> Range -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Range -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Range -> m Range

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Range -> m Range

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Range -> m Range

Num Range

Defined in Verismith.Verilog.AST

Methods

(+) :: Range -> Range -> Range

(-) :: Range -> Range -> Range

(*) :: Range -> Range -> Range

negate :: Range -> Range

abs :: Range -> Range

signum :: Range -> Range

fromInteger :: Integer -> Range

Ord Range

Defined in Verismith.Verilog.AST

Methods

compare :: Range -> Range -> Ordering

(<) :: Range -> Range -> Bool

(<=) :: Range -> Range -> Bool

(>) :: Range -> Range -> Bool

(>=) :: Range -> Range -> Bool

max :: Range -> Range -> Range

min :: Range -> Range -> Range

Show Range

Defined in Verismith.Verilog.AST

Methods

showsPrec :: Int -> Range -> ShowS

show :: Range -> String

showList :: [Range] -> ShowS

Generic Range

Defined in Verismith.Verilog.AST

Associated Types

type Rep Range :: Type -> Type

Methods

from :: Range -> Rep Range x

to :: Rep Range x -> Range

NFData Range

Defined in Verismith.Verilog.AST

Methods

rnf :: Range -> ()

Mutate Range

Defined in Verismith.Verilog.Mutate

Methods

mutExpr :: (Expr -> Expr) -> Range -> Range

type Rep Range

Defined in Verismith.Verilog.AST

type Rep Range = D1 (MetaData "Range" "Verismith.Verilog.AST" "verismith-0.4.0.0-inplace" False) (C1 (MetaCons "Range" PrefixI True) (S1 (MetaSel (Just "rangeMSB") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ConstExpr) :*: S1 (MetaSel (Just "rangeLSB") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ConstExpr)))

constNum :: Traversal' ConstExpr BitVec

constParamId :: Traversal' ConstExpr Identifier

constConcat :: Traversal' ConstExpr (NonEmpty ConstExpr)

constUnOp :: Traversal' ConstExpr UnaryOperator

constPrim :: Traversal' ConstExpr ConstExpr

constLhs :: Traversal' ConstExpr ConstExpr

constBinOp :: Traversal' ConstExpr BinaryOperator

constRhs :: Traversal' ConstExpr ConstExpr

constCond :: Traversal' ConstExpr ConstExpr

constTrue :: Traversal' ConstExpr ConstExpr

constFalse :: Traversal' ConstExpr ConstExpr

constStr :: Traversal' ConstExpr Text

Assignment

data Assign

Constructors

Assign

Fields

• _assignReg :: !LVal
• _assignDelay :: !(Maybe Delay)
• _assignExpr :: !Expr

Instances

Eq Assign

Defined in Verismith.Verilog.AST

Methods

(==) :: Assign -> Assign -> Bool

(/=) :: Assign -> Assign -> Bool

Data Assign

Defined in Verismith.Verilog.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Assign -> c Assign

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Assign

toConstr :: Assign -> Constr

dataTypeOf :: Assign -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Assign)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Assign)

gmapT :: (forall b. Data b => b -> b) -> Assign -> Assign

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Assign -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Assign -> r

gmapQ :: (forall d. Data d => d -> u) -> Assign -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Assign -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Assign -> m Assign

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Assign -> m Assign

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Assign -> m Assign

Ord Assign

Defined in Verismith.Verilog.AST

Methods

compare :: Assign -> Assign -> Ordering

(<) :: Assign -> Assign -> Bool

(<=) :: Assign -> Assign -> Bool

(>) :: Assign -> Assign -> Bool

(>=) :: Assign -> Assign -> Bool

max :: Assign -> Assign -> Assign

min :: Assign -> Assign -> Assign

Show Assign

Defined in Verismith.Verilog.AST

Methods

showsPrec :: Int -> Assign -> ShowS

show :: Assign -> String

showList :: [Assign] -> ShowS

Generic Assign

Defined in Verismith.Verilog.AST

Associated Types

type Rep Assign :: Type -> Type

Methods

from :: Assign -> Rep Assign x

to :: Rep Assign x -> Assign

NFData Assign

Defined in Verismith.Verilog.AST

Methods

rnf :: Assign -> ()

Mutate Assign

Defined in Verismith.Verilog.Mutate

Methods

mutExpr :: (Expr -> Expr) -> Assign -> Assign

type Rep Assign

Defined in Verismith.Verilog.AST

type Rep Assign = D1 (MetaData "Assign" "Verismith.Verilog.AST" "verismith-0.4.0.0-inplace" False) (C1 (MetaCons "Assign" PrefixI True) (S1 (MetaSel (Just "_assignReg") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 LVal) :*: (S1 (MetaSel (Just "_assignDelay") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Delay)) :*: S1 (MetaSel (Just "_assignExpr") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Expr))))

assignReg :: Lens' Assign LVal

assignDelay :: Lens' Assign (Maybe Delay)

assignExpr :: Lens' Assign Expr

data ContAssign

Constructors

ContAssign

Fields

• _contAssignNetLVal :: !Identifier
• _contAssignExpr :: !Expr

Instances

Eq ContAssign

Defined in Verismith.Verilog.AST

Methods

(==) :: ContAssign -> ContAssign -> Bool

(/=) :: ContAssign -> ContAssign -> Bool

Data ContAssign

Defined in Verismith.Verilog.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ContAssign -> c ContAssign

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ContAssign

toConstr :: ContAssign -> Constr

dataTypeOf :: ContAssign -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ContAssign)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ContAssign)

gmapT :: (forall b. Data b => b -> b) -> ContAssign -> ContAssign

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ContAssign -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ContAssign -> r

gmapQ :: (forall d. Data d => d -> u) -> ContAssign -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ContAssign -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ContAssign -> m ContAssign

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ContAssign -> m ContAssign

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ContAssign -> m ContAssign

Ord ContAssign

Defined in Verismith.Verilog.AST

Methods

compare :: ContAssign -> ContAssign -> Ordering

(<) :: ContAssign -> ContAssign -> Bool

(<=) :: ContAssign -> ContAssign -> Bool

(>) :: ContAssign -> ContAssign -> Bool

(>=) :: ContAssign -> ContAssign -> Bool

max :: ContAssign -> ContAssign -> ContAssign

min :: ContAssign -> ContAssign -> ContAssign

Show ContAssign

Defined in Verismith.Verilog.AST

Methods

showsPrec :: Int -> ContAssign -> ShowS

show :: ContAssign -> String

showList :: [ContAssign] -> ShowS

Generic ContAssign

Defined in Verismith.Verilog.AST

Associated Types

type Rep ContAssign :: Type -> Type

Methods

from :: ContAssign -> Rep ContAssign x

to :: Rep ContAssign x -> ContAssign

NFData ContAssign

Defined in Verismith.Verilog.AST

Methods

rnf :: ContAssign -> ()

Source ContAssign

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: ContAssign -> Text

Mutate ContAssign

Defined in Verismith.Verilog.Mutate

Methods

mutExpr :: (Expr -> Expr) -> ContAssign -> ContAssign

type Rep ContAssign

Defined in Verismith.Verilog.AST

type Rep ContAssign = D1 (MetaData "ContAssign" "Verismith.Verilog.AST" "verismith-0.4.0.0-inplace" False) (C1 (MetaCons "ContAssign" PrefixI True) (S1 (MetaSel (Just "_contAssignNetLVal") SourceUnpack SourceStrict DecidedStrict) (Rec0 Identifier) :*: S1 (MetaSel (Just "_contAssignExpr") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Expr)))

contAssignNetLVal :: Lens' ContAssign Identifier

contAssignExpr :: Lens' ContAssign Expr

Parameters

data Parameter

Parameter that can be assigned in blocks or modules using parameter.

Constructors

Parameter

Fields

• _paramIdent :: !Identifier
• _paramValue :: ConstExpr

Instances

Eq Parameter

Defined in Verismith.Verilog.AST

Methods

(==) :: Parameter -> Parameter -> Bool

(/=) :: Parameter -> Parameter -> Bool

Data Parameter

Defined in Verismith.Verilog.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Parameter -> c Parameter

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Parameter

toConstr :: Parameter -> Constr

dataTypeOf :: Parameter -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Parameter)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Parameter)

gmapT :: (forall b. Data b => b -> b) -> Parameter -> Parameter

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Parameter -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Parameter -> r

gmapQ :: (forall d. Data d => d -> u) -> Parameter -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Parameter -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Parameter -> m Parameter

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Parameter -> m Parameter

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Parameter -> m Parameter

Ord Parameter

Defined in Verismith.Verilog.AST

Methods

compare :: Parameter -> Parameter -> Ordering

(<) :: Parameter -> Parameter -> Bool

(<=) :: Parameter -> Parameter -> Bool

(>) :: Parameter -> Parameter -> Bool

(>=) :: Parameter -> Parameter -> Bool

max :: Parameter -> Parameter -> Parameter

min :: Parameter -> Parameter -> Parameter

Show Parameter

Defined in Verismith.Verilog.AST

Methods

showsPrec :: Int -> Parameter -> ShowS

show :: Parameter -> String

showList :: [Parameter] -> ShowS

Generic Parameter

Defined in Verismith.Verilog.AST

Associated Types

type Rep Parameter :: Type -> Type

Methods

from :: Parameter -> Rep Parameter x

to :: Rep Parameter x -> Parameter

NFData Parameter

Defined in Verismith.Verilog.AST

Methods

rnf :: Parameter -> ()

Mutate Parameter

Defined in Verismith.Verilog.Mutate

Methods

mutExpr :: (Expr -> Expr) -> Parameter -> Parameter

type Rep Parameter

Defined in Verismith.Verilog.AST

type Rep Parameter = D1 (MetaData "Parameter" "Verismith.Verilog.AST" "verismith-0.4.0.0-inplace" False) (C1 (MetaCons "Parameter" PrefixI True) (S1 (MetaSel (Just "_paramIdent") SourceUnpack SourceStrict DecidedStrict) (Rec0 Identifier) :*: S1 (MetaSel (Just "_paramValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ConstExpr)))

paramIdent :: Lens' Parameter Identifier

paramValue :: Lens' Parameter ConstExpr

data LocalParam

Local parameter that can be assigned anywhere using localparam. It cannot be changed by initialising the module.

Constructors

LocalParam

Fields

• _localParamIdent :: !Identifier
• _localParamValue :: ConstExpr

Instances

Eq LocalParam

Defined in Verismith.Verilog.AST

Methods

(==) :: LocalParam -> LocalParam -> Bool

(/=) :: LocalParam -> LocalParam -> Bool

Data LocalParam

Defined in Verismith.Verilog.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LocalParam -> c LocalParam

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LocalParam

toConstr :: LocalParam -> Constr

dataTypeOf :: LocalParam -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LocalParam)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LocalParam)

gmapT :: (forall b. Data b => b -> b) -> LocalParam -> LocalParam

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LocalParam -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LocalParam -> r

gmapQ :: (forall d. Data d => d -> u) -> LocalParam -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> LocalParam -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LocalParam -> m LocalParam

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LocalParam -> m LocalParam

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LocalParam -> m LocalParam

Ord LocalParam

Defined in Verismith.Verilog.AST

Methods

compare :: LocalParam -> LocalParam -> Ordering

(<) :: LocalParam -> LocalParam -> Bool

(<=) :: LocalParam -> LocalParam -> Bool

(>) :: LocalParam -> LocalParam -> Bool

(>=) :: LocalParam -> LocalParam -> Bool

max :: LocalParam -> LocalParam -> LocalParam

min :: LocalParam -> LocalParam -> LocalParam

Show LocalParam

Defined in Verismith.Verilog.AST

Methods

showsPrec :: Int -> LocalParam -> ShowS

show :: LocalParam -> String

showList :: [LocalParam] -> ShowS

Generic LocalParam

Defined in Verismith.Verilog.AST

Associated Types

type Rep LocalParam :: Type -> Type

Methods

from :: LocalParam -> Rep LocalParam x

to :: Rep LocalParam x -> LocalParam

NFData LocalParam

Defined in Verismith.Verilog.AST

Methods

rnf :: LocalParam -> ()

Mutate LocalParam

Defined in Verismith.Verilog.Mutate

Methods

mutExpr :: (Expr -> Expr) -> LocalParam -> LocalParam

type Rep LocalParam

Defined in Verismith.Verilog.AST

type Rep LocalParam = D1 (MetaData "LocalParam" "Verismith.Verilog.AST" "verismith-0.4.0.0-inplace" False) (C1 (MetaCons "LocalParam" PrefixI True) (S1 (MetaSel (Just "_localParamIdent") SourceUnpack SourceStrict DecidedStrict) (Rec0 Identifier) :*: S1 (MetaSel (Just "_localParamValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ConstExpr)))

localParamIdent :: Lens' LocalParam Identifier

localParamValue :: Lens' LocalParam ConstExpr

Statment

data Statement

Statements in Verilog.

Constructors

TimeCtrl

Time control (#NUM)

Fields

• _statDelay :: !Delay
• _statDStat :: Maybe Statement

EventCtrl

Fields

• _statEvent :: !Event
• _statEStat :: Maybe Statement

SeqBlock

Sequential block (begin ... end)

Fields

• _statements :: [Statement]

BlockAssign

blocking assignment (=)

Fields

• _stmntBA :: !Assign

NonBlockAssign

Non blocking assignment (<=)

Fields

• _stmntNBA :: !Assign

TaskEnable

Fields

• _stmntTask :: !Task

SysTaskEnable

Fields

• _stmntSysTask :: !Task

CondStmnt

Fields

• _stmntCondExpr :: Expr
• _stmntCondTrue :: Maybe Statement
• _stmntCondFalse :: Maybe Statement

ForLoop

Loop bounds shall be statically computable for a for loop.

Fields

• _forAssign :: !Assign
• _forExpr :: Expr
• _forIncr :: !Assign
• _forStmnt :: Statement

Instances

Eq Statement

Defined in Verismith.Verilog.AST

Methods

(==) :: Statement -> Statement -> Bool

(/=) :: Statement -> Statement -> Bool

Data Statement

Defined in Verismith.Verilog.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Statement -> c Statement

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Statement

toConstr :: Statement -> Constr

dataTypeOf :: Statement -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Statement)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Statement)

gmapT :: (forall b. Data b => b -> b) -> Statement -> Statement

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Statement -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Statement -> r

gmapQ :: (forall d. Data d => d -> u) -> Statement -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Statement -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Statement -> m Statement

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Statement -> m Statement

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Statement -> m Statement

Ord Statement

Defined in Verismith.Verilog.AST

Methods

compare :: Statement -> Statement -> Ordering

(<) :: Statement -> Statement -> Bool

(<=) :: Statement -> Statement -> Bool

(>) :: Statement -> Statement -> Bool

(>=) :: Statement -> Statement -> Bool

max :: Statement -> Statement -> Statement

min :: Statement -> Statement -> Statement

Show Statement

Defined in Verismith.Verilog.AST

Methods

showsPrec :: Int -> Statement -> ShowS

show :: Statement -> String

showList :: [Statement] -> ShowS

Generic Statement

Defined in Verismith.Verilog.AST

Associated Types

type Rep Statement :: Type -> Type

Methods

from :: Statement -> Rep Statement x

to :: Rep Statement x -> Statement

Semigroup Statement

Defined in Verismith.Verilog.AST

Methods

(<>) :: Statement -> Statement -> Statement

sconcat :: NonEmpty Statement -> Statement

stimes :: Integral b => b -> Statement -> Statement

Monoid Statement

Defined in Verismith.Verilog.AST

Methods

mempty :: Statement

mappend :: Statement -> Statement -> Statement

mconcat :: [Statement] -> Statement

NFData Statement

Defined in Verismith.Verilog.AST

Methods

rnf :: Statement -> ()

Plated Statement

Defined in Verismith.Verilog.AST

Methods

plate :: Traversal' Statement Statement

Source Statement

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: Statement -> Text

Mutate Statement

Defined in Verismith.Verilog.Mutate

Methods

mutExpr :: (Expr -> Expr) -> Statement -> Statement

type Rep Statement

Defined in Verismith.Verilog.AST

type Rep Statement = D1 (MetaData "Statement" "Verismith.Verilog.AST" "verismith-0.4.0.0-inplace" False) (((C1 (MetaCons "TimeCtrl" PrefixI True) (S1 (MetaSel (Just "_statDelay") SourceUnpack SourceStrict DecidedStrict) (Rec0 Delay) :*: S1 (MetaSel (Just "_statDStat") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Statement))) :+: C1 (MetaCons "EventCtrl" PrefixI True) (S1 (MetaSel (Just "_statEvent") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Event) :*: S1 (MetaSel (Just "_statEStat") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Statement)))) :+: (C1 (MetaCons "SeqBlock" PrefixI True) (S1 (MetaSel (Just "_statements") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Statement])) :+: C1 (MetaCons "BlockAssign" PrefixI True) (S1 (MetaSel (Just "_stmntBA") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Assign)))) :+: ((C1 (MetaCons "NonBlockAssign" PrefixI True) (S1 (MetaSel (Just "_stmntNBA") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Assign)) :+: C1 (MetaCons "TaskEnable" PrefixI True) (S1 (MetaSel (Just "_stmntTask") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Task))) :+: (C1 (MetaCons "SysTaskEnable" PrefixI True) (S1 (MetaSel (Just "_stmntSysTask") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Task)) :+: (C1 (MetaCons "CondStmnt" PrefixI True) (S1 (MetaSel (Just "_stmntCondExpr") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr) :*: (S1 (MetaSel (Just "_stmntCondTrue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Statement)) :*: S1 (MetaSel (Just "_stmntCondFalse") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Statement)))) :+: C1 (MetaCons "ForLoop" PrefixI True) ((S1 (MetaSel (Just "_forAssign") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Assign) :*: S1 (MetaSel (Just "_forExpr") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr)) :*: (S1 (MetaSel (Just "_forIncr") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Assign) :*: S1 (MetaSel (Just "_forStmnt") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Statement)))))))

statDelay :: Traversal' Statement Delay

statDStat :: Traversal' Statement (Maybe Statement)

statEvent :: Traversal' Statement Event

statEStat :: Traversal' Statement (Maybe Statement)

statements :: Traversal' Statement [Statement]

stmntBA :: Traversal' Statement Assign

stmntNBA :: Traversal' Statement Assign

stmntTask :: Traversal' Statement Task

stmntSysTask :: Traversal' Statement Task

stmntCondExpr :: Traversal' Statement Expr

stmntCondTrue :: Traversal' Statement (Maybe Statement)

stmntCondFalse :: Traversal' Statement (Maybe Statement)

forAssign :: Traversal' Statement Assign

forExpr :: Traversal' Statement Expr

forIncr :: Traversal' Statement Assign

forStmnt :: Traversal' Statement Statement

Module

data ModDecl

'module' module_identifier [list_of_ports] ';' { module_item } end_module

Constructors

ModDecl

Fields

• _modId :: !Identifier
• _modOutPorts :: ![Port]
• _modInPorts :: ![Port]
• _modItems :: ![ModItem]
• _modParams :: ![Parameter]

Instances

Eq ModDecl

Defined in Verismith.Verilog.AST

Methods

(==) :: ModDecl -> ModDecl -> Bool

(/=) :: ModDecl -> ModDecl -> Bool

Data ModDecl

Defined in Verismith.Verilog.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ModDecl -> c ModDecl

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ModDecl

toConstr :: ModDecl -> Constr

dataTypeOf :: ModDecl -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ModDecl)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ModDecl)

gmapT :: (forall b. Data b => b -> b) -> ModDecl -> ModDecl

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ModDecl -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ModDecl -> r

gmapQ :: (forall d. Data d => d -> u) -> ModDecl -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ModDecl -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ModDecl -> m ModDecl

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ModDecl -> m ModDecl

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ModDecl -> m ModDecl

Ord ModDecl

Defined in Verismith.Verilog.AST

Methods

compare :: ModDecl -> ModDecl -> Ordering

(<) :: ModDecl -> ModDecl -> Bool

(<=) :: ModDecl -> ModDecl -> Bool

(>) :: ModDecl -> ModDecl -> Bool

(>=) :: ModDecl -> ModDecl -> Bool

max :: ModDecl -> ModDecl -> ModDecl

min :: ModDecl -> ModDecl -> ModDecl

Show ModDecl

Defined in Verismith.Verilog.AST

Methods

showsPrec :: Int -> ModDecl -> ShowS

show :: ModDecl -> String

showList :: [ModDecl] -> ShowS

Generic ModDecl

Defined in Verismith.Verilog.AST

Associated Types

type Rep ModDecl :: Type -> Type

Methods

from :: ModDecl -> Rep ModDecl x

to :: Rep ModDecl x -> ModDecl

NFData ModDecl

Defined in Verismith.Verilog.AST

Methods

rnf :: ModDecl -> ()

Source ModDecl

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: ModDecl -> Text

Mutate ModDecl

Defined in Verismith.Verilog.Mutate

Methods

mutExpr :: (Expr -> Expr) -> ModDecl -> ModDecl

type Rep ModDecl

Defined in Verismith.Verilog.AST

type Rep ModDecl = D1 (MetaData "ModDecl" "Verismith.Verilog.AST" "verismith-0.4.0.0-inplace" False) (C1 (MetaCons "ModDecl" PrefixI True) ((S1 (MetaSel (Just "_modId") SourceUnpack SourceStrict DecidedStrict) (Rec0 Identifier) :*: S1 (MetaSel (Just "_modOutPorts") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 [Port])) :*: (S1 (MetaSel (Just "_modInPorts") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 [Port]) :*: (S1 (MetaSel (Just "_modItems") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 [ModItem]) :*: S1 (MetaSel (Just "_modParams") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 [Parameter])))))

modId :: Lens' ModDecl Identifier

modOutPorts :: Lens' ModDecl [Port]

modInPorts :: Lens' ModDecl [Port]

modItems :: Lens' ModDecl [ModItem]

modParams :: Lens' ModDecl [Parameter]

data ModItem

Module item which is the body of the module expression.

Constructors

ModCA

Fields

• _modContAssign :: !ContAssign

ModInst

Fields

• _modInstId :: !Identifier
• _modInstName :: !Identifier
• _modInstConns :: [ModConn]

Initial !Statement

Always !Statement

Decl

Fields

• _declDir :: !(Maybe PortDir)
• _declPort :: !Port
• _declVal :: Maybe ConstExpr

ParamDecl

Fields

• _paramDecl :: NonEmpty Parameter

LocalParamDecl

Fields

• _localParamDecl :: NonEmpty LocalParam

Instances

Eq ModItem

Defined in Verismith.Verilog.AST

Methods

(==) :: ModItem -> ModItem -> Bool

(/=) :: ModItem -> ModItem -> Bool

Data ModItem

Defined in Verismith.Verilog.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ModItem -> c ModItem

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ModItem

toConstr :: ModItem -> Constr

dataTypeOf :: ModItem -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ModItem)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ModItem)

gmapT :: (forall b. Data b => b -> b) -> ModItem -> ModItem

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ModItem -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ModItem -> r

gmapQ :: (forall d. Data d => d -> u) -> ModItem -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ModItem -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ModItem -> m ModItem

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ModItem -> m ModItem

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ModItem -> m ModItem

Ord ModItem

Defined in Verismith.Verilog.AST

Methods

compare :: ModItem -> ModItem -> Ordering

(<) :: ModItem -> ModItem -> Bool

(<=) :: ModItem -> ModItem -> Bool

(>) :: ModItem -> ModItem -> Bool

(>=) :: ModItem -> ModItem -> Bool

max :: ModItem -> ModItem -> ModItem

min :: ModItem -> ModItem -> ModItem

Show ModItem

Defined in Verismith.Verilog.AST

Methods

showsPrec :: Int -> ModItem -> ShowS

show :: ModItem -> String

showList :: [ModItem] -> ShowS

Generic ModItem

Defined in Verismith.Verilog.AST

Associated Types

type Rep ModItem :: Type -> Type

Methods

from :: ModItem -> Rep ModItem x

to :: Rep ModItem x -> ModItem

NFData ModItem

Defined in Verismith.Verilog.AST

Methods

rnf :: ModItem -> ()

Source ModItem

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: ModItem -> Text

Mutate ModItem

Defined in Verismith.Verilog.Mutate

Methods

mutExpr :: (Expr -> Expr) -> ModItem -> ModItem

type Rep ModItem

Defined in Verismith.Verilog.AST

type Rep ModItem = D1 (MetaData "ModItem" "Verismith.Verilog.AST" "verismith-0.4.0.0-inplace" False) ((C1 (MetaCons "ModCA" PrefixI True) (S1 (MetaSel (Just "_modContAssign") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ContAssign)) :+: (C1 (MetaCons "ModInst" PrefixI True) (S1 (MetaSel (Just "_modInstId") SourceUnpack SourceStrict DecidedStrict) (Rec0 Identifier) :*: (S1 (MetaSel (Just "_modInstName") SourceUnpack SourceStrict DecidedStrict) (Rec0 Identifier) :*: S1 (MetaSel (Just "_modInstConns") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ModConn]))) :+: C1 (MetaCons "Initial" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Statement)))) :+: ((C1 (MetaCons "Always" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Statement)) :+: C1 (MetaCons "Decl" PrefixI True) (S1 (MetaSel (Just "_declDir") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe PortDir)) :*: (S1 (MetaSel (Just "_declPort") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Port) :*: S1 (MetaSel (Just "_declVal") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ConstExpr))))) :+: (C1 (MetaCons "ParamDecl" PrefixI True) (S1 (MetaSel (Just "_paramDecl") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty Parameter))) :+: C1 (MetaCons "LocalParamDecl" PrefixI True) (S1 (MetaSel (Just "_localParamDecl") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty LocalParam))))))

modContAssign :: Traversal' ModItem ContAssign

modInstId :: Traversal' ModItem Identifier

modInstName :: Traversal' ModItem Identifier

modInstConns :: Traversal' ModItem [ModConn]

_Initial :: Prism' ModItem Statement

_Always :: Prism' ModItem Statement

paramDecl :: Traversal' ModItem (NonEmpty Parameter)

localParamDecl :: Traversal' ModItem (NonEmpty LocalParam)

traverseModItem :: Applicative f => (Expr -> f Expr) -> ModItem -> f ModItem

declDir :: Traversal' ModItem (Maybe PortDir)

declPort :: Traversal' ModItem Port

declVal :: Traversal' ModItem (Maybe ConstExpr)

data ModConn

This is currently a type because direct module declaration should also be added:

mod a(.y(y1), .x1(x11), .x2(x22));

Constructors

ModConn

Fields

• _modExpr :: !Expr

ModConnNamed

Fields

• _modConnName :: !Identifier
• _modExpr :: !Expr

Instances

Eq ModConn

Defined in Verismith.Verilog.AST

Methods

(==) :: ModConn -> ModConn -> Bool

(/=) :: ModConn -> ModConn -> Bool

Data ModConn

Defined in Verismith.Verilog.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ModConn -> c ModConn

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ModConn

toConstr :: ModConn -> Constr

dataTypeOf :: ModConn -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ModConn)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ModConn)

gmapT :: (forall b. Data b => b -> b) -> ModConn -> ModConn

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ModConn -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ModConn -> r

gmapQ :: (forall d. Data d => d -> u) -> ModConn -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ModConn -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ModConn -> m ModConn

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ModConn -> m ModConn

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ModConn -> m ModConn

Ord ModConn

Defined in Verismith.Verilog.AST

Methods

compare :: ModConn -> ModConn -> Ordering

(<) :: ModConn -> ModConn -> Bool

(<=) :: ModConn -> ModConn -> Bool

(>) :: ModConn -> ModConn -> Bool

(>=) :: ModConn -> ModConn -> Bool

max :: ModConn -> ModConn -> ModConn

min :: ModConn -> ModConn -> ModConn

Show ModConn

Defined in Verismith.Verilog.AST

Methods

showsPrec :: Int -> ModConn -> ShowS

show :: ModConn -> String

showList :: [ModConn] -> ShowS

Generic ModConn

Defined in Verismith.Verilog.AST

Associated Types

type Rep ModConn :: Type -> Type

Methods

from :: ModConn -> Rep ModConn x

to :: Rep ModConn x -> ModConn

NFData ModConn

Defined in Verismith.Verilog.AST

Methods

rnf :: ModConn -> ()

Mutate ModConn

Defined in Verismith.Verilog.Mutate

Methods

mutExpr :: (Expr -> Expr) -> ModConn -> ModConn

type Rep ModConn

Defined in Verismith.Verilog.AST

type Rep ModConn = D1 (MetaData "ModConn" "Verismith.Verilog.AST" "verismith-0.4.0.0-inplace" False) (C1 (MetaCons "ModConn" PrefixI True) (S1 (MetaSel (Just "_modExpr") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Expr)) :+: C1 (MetaCons "ModConnNamed" PrefixI True) (S1 (MetaSel (Just "_modConnName") SourceUnpack SourceStrict DecidedStrict) (Rec0 Identifier) :*: S1 (MetaSel (Just "_modExpr") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Expr)))

modConnName :: Traversal' ModConn Identifier

modExpr :: Lens' ModConn Expr

Useful Lenses and Traversals

aModule :: Identifier -> Lens' SourceInfo ModDecl

May need to change this to Traversal to be safe. For now it will fail when the main has not been properly set with.

getModule :: Traversal' Verilog ModDecl

getSourceId :: Traversal' Verilog Text

mainModule :: Lens' SourceInfo ModDecl

May need to change this to Traversal to be safe. For now it will fail when the main has not been properly set with.