Safe Haskell	None
Language	Haskell2010

Verismith.Verilog2005

Synopsis

parseVerilog2005 :: FilePath -> IO (Verilog2005, [String])
genSource :: Maybe Word -> PrintingOpts -> Verilog2005 -> ByteString
runGarbageGeneration :: Config -> IO Verilog2005
data NumberProbability
data CategoricalProbability
data Verilog2005 = Verilog2005 {
- _vModule :: ![ModuleBlock]
- _vPrimitive :: ![PrimitiveBlock]
- _vConfig :: ![ConfigBlock]
}
data PrintingOpts = PrintingOpts {
- _poEscapedSpace :: !Bool
- _poTableSpace :: !Bool
- _poEdgeControlZ_X :: !Bool
}

Documentation

parseVerilog2005 :: FilePath -> IO (Verilog2005, [String]) Source #

Parse a file containing Verilog 2005 code, also return non Verilog2005 conformity warnings The lists in the Verilog2005 structure are in reverse order from source

genSource :: Maybe Word -> PrintingOpts -> Verilog2005 -> ByteString Source #

Generates a string from a line length limit and a Verilog AST

runGarbageGeneration :: Config -> IO Verilog2005 Source #

data NumberProbability Source #

Instances

Instances details

Show NumberProbability Source #
Instance details Defined in Verismith.Config Methods showsPrec :: Int -> NumberProbability -> ShowS # show :: NumberProbability -> String # showList :: [NumberProbability] -> ShowS #
Eq NumberProbability Source #
Instance details Defined in Verismith.Config Methods (==) :: NumberProbability -> NumberProbability -> Bool # (/=) :: NumberProbability -> NumberProbability -> Bool #

data CategoricalProbability Source #

Instances

Instances details

Show CategoricalProbability Source #
Instance details Defined in Verismith.Config Methods showsPrec :: Int -> CategoricalProbability -> ShowS # show :: CategoricalProbability -> String # showList :: [CategoricalProbability] -> ShowS #
Eq CategoricalProbability Source #
Instance details Defined in Verismith.Config Methods (==) :: CategoricalProbability -> CategoricalProbability -> Bool # (/=) :: CategoricalProbability -> CategoricalProbability -> Bool #

data Verilog2005 Source #

Internal representation of Verilog2005 AST

Constructors

Verilog2005
Fields _vModule :: ![ModuleBlock] _vPrimitive :: ![PrimitiveBlock] _vConfig :: ![ConfigBlock]

Instances

Instances details

Data Verilog2005 Source #

Instance details

Defined in Verismith.Verilog2005.AST

Methods

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

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

toConstr :: Verilog2005 -> Constr #

dataTypeOf :: Verilog2005 -> DataType #

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

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

gmapT :: (forall b. Data b => b -> b) -> Verilog2005 -> Verilog2005 #

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

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

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

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

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

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

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

Monoid Verilog2005 Source #

Instance details

Defined in Verismith.Verilog2005.AST

Methods

mempty :: Verilog2005 #

mappend :: Verilog2005 -> Verilog2005 -> Verilog2005 #

mconcat :: [Verilog2005] -> Verilog2005 #

Semigroup Verilog2005 Source #

Instance details

Defined in Verismith.Verilog2005.AST

Methods

(<>) :: Verilog2005 -> Verilog2005 -> Verilog2005 #

sconcat :: NonEmpty Verilog2005 -> Verilog2005 #

stimes :: Integral b => b -> Verilog2005 -> Verilog2005 #

Generic Verilog2005 Source #

Instance details

Defined in Verismith.Verilog2005.AST

Associated Types

type Rep Verilog2005

Instance details

Defined in Verismith.Verilog2005.AST

type Rep Verilog2005 = D1 ('MetaData "Verilog2005" "Verismith.Verilog2005.AST" "verismith-1.1.0-FUTsgQc3KWmLTdTSx0Se1T" 'False) (C1 ('MetaCons "Verilog2005" 'PrefixI 'True) (S1 ('MetaSel ('Just "_vModule") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [ModuleBlock]) :*: (S1 ('MetaSel ('Just "_vPrimitive") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [PrimitiveBlock]) :*: S1 ('MetaSel ('Just "_vConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [ConfigBlock]))))

Methods

from :: Verilog2005 -> Rep Verilog2005 x #

to :: Rep Verilog2005 x -> Verilog2005 #

Show Verilog2005 Source #

Instance details

Defined in Verismith.Verilog2005.AST

Methods

showsPrec :: Int -> Verilog2005 -> ShowS #

show :: Verilog2005 -> String #

showList :: [Verilog2005] -> ShowS #

Eq Verilog2005 Source #

Instance details

Defined in Verismith.Verilog2005.AST

Methods

(==) :: Verilog2005 -> Verilog2005 -> Bool #

(/=) :: Verilog2005 -> Verilog2005 -> Bool #

type Rep Verilog2005 Source #

Instance details

Defined in Verismith.Verilog2005.AST

type Rep Verilog2005 = D1 ('MetaData "Verilog2005" "Verismith.Verilog2005.AST" "verismith-1.1.0-FUTsgQc3KWmLTdTSx0Se1T" 'False) (C1 ('MetaCons "Verilog2005" 'PrefixI 'True) (S1 ('MetaSel ('Just "_vModule") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [ModuleBlock]) :*: (S1 ('MetaSel ('Just "_vPrimitive") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [PrimitiveBlock]) :*: S1 ('MetaSel ('Just "_vConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [ConfigBlock]))))

data PrintingOpts Source #

Pretty-printer options

Constructors

PrintingOpts
Fields _poEscapedSpace :: !Bool _poTableSpace :: !Bool _poEdgeControlZ_X :: !Bool