Verismith.Verilog.CodeGen

This module generates the code from the Verilog AST defined in Verismith.Verilog.AST.

Code Generation

newtype GenVerilog a

Constructors

GenVerilog

Fields

• unGenVerilog :: a

Instances

Eq a => Eq (GenVerilog a)

Defined in Verismith.Verilog.CodeGen

Methods

(==) :: GenVerilog a -> GenVerilog a -> Bool

(/=) :: GenVerilog a -> GenVerilog a -> Bool

Data a => Data (GenVerilog a)

Defined in Verismith.Verilog.CodeGen

Methods

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

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

toConstr :: GenVerilog a -> Constr

dataTypeOf :: GenVerilog a -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> GenVerilog a -> GenVerilog a

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

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

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

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

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

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

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

Ord a => Ord (GenVerilog a)

Defined in Verismith.Verilog.CodeGen

Methods

compare :: GenVerilog a -> GenVerilog a -> Ordering

(<) :: GenVerilog a -> GenVerilog a -> Bool

(<=) :: GenVerilog a -> GenVerilog a -> Bool

(>) :: GenVerilog a -> GenVerilog a -> Bool

(>=) :: GenVerilog a -> GenVerilog a -> Bool

max :: GenVerilog a -> GenVerilog a -> GenVerilog a

min :: GenVerilog a -> GenVerilog a -> GenVerilog a

Source a => Show (GenVerilog a)

Defined in Verismith.Verilog.CodeGen

Methods

showsPrec :: Int -> GenVerilog a -> ShowS

show :: GenVerilog a -> String

showList :: [GenVerilog a] -> ShowS

Mutate a => Mutate (GenVerilog a)

Defined in Verismith.Verilog.Mutate

Methods

mutExpr :: (Expr -> Expr) -> GenVerilog a -> GenVerilog a

class Source a where

Source class which determines that source code is able to be generated from the data structure using genSource. This will be stored in Text and can then be processed further.

Methods

genSource :: a -> Text

Instances

Source SourceInfo

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: SourceInfo -> Text

Source Verilog

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: Verilog -> Text

Source ModDecl

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: ModDecl -> Text

Source ModItem

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: ModItem -> Text

Source Statement

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: Statement -> Text

Source ContAssign

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: ContAssign -> Text

Source Port

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: Port -> Text

Source PortType

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: PortType -> Text

Source PortDir

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: PortDir -> Text

Source LVal

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: LVal -> Text

Source Task

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: Task -> Text

Source ConstExpr

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: ConstExpr -> Text

Source Expr

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: Expr -> Text

Source UnaryOperator

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: UnaryOperator -> Text

Source Event

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: Event -> Text

Source Delay

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: Delay -> Text

Source Identifier

Defined in Verismith.Verilog.CodeGen

Methods

genSource :: Identifier -> Text

render :: Source a => a -> IO ()

Render the Text to IO. This is equivalent to putStrLn.