verismith-1.1.0: Random verilog generation and simulator testing.
Safe HaskellNone
LanguageHaskell2010

Verismith.Verilog2005.LibPretty

Documentation

type Doc = Doc' () Source #

nullDoc :: Doc' w -> Bool Source #

raw :: ByteString -> Doc' w Source #

alt :: ByteString -> Doc' w -> Doc' w Source #

viaShow :: Show a => a -> Doc' w Source #

lparen :: Doc' w Source #

rparen :: Doc' w Source #

lbrace :: Doc' w Source #

rbrace :: Doc' w Source #

lbracket :: Doc' w Source #

rbracket :: Doc' w Source #

langle :: Doc' w Source #

rangle :: Doc' w Source #

comma :: Doc' w Source #

colon :: Doc' w Source #

dot :: Doc' w Source #

equals :: Doc' w Source #

semi :: Doc' w Source #

squote :: Doc' w Source #

space :: Doc' w Source #

indent :: DocLength w => Word -> Doc' w -> Doc' w Source #

hardline :: Enum w => Doc' w Source #

newline :: Enum w => Doc' w Source #

softline :: Enum w => Doc' w Source #

softspace :: Doc' w Source #

encl :: DocLength w => Doc' w -> Doc' w -> Doc' w -> Doc' w Source #

(<+>) :: DocLength w => Doc' w -> Doc' w -> Doc' w infixr 6 Source #

(<#>) :: DocLength w => Doc' w -> Doc' w -> Doc' w infixr 6 Source #

(<->) :: DocLength w => Doc' w -> Doc' w -> Doc' w infixr 6 Source #

(<=>) :: DocLength w => Doc' w -> Doc' w -> Doc' w infixr 6 Source #

(</>) :: DocLength w => Doc' w -> Doc' w -> Doc' w infixr 6 Source #

mkopt :: (Doc' w -> Doc' w -> Doc' w) -> Doc' w -> Doc' w -> Doc' w Source #

(<?+>) :: DocLength w => Doc' w -> Doc' w -> Doc' w infixr 6 Source #

(<?#>) :: DocLength w => Doc' w -> Doc' w -> Doc' w infixr 6 Source #

(<?=>) :: DocLength w => Doc' w -> Doc' w -> Doc' w infixr 6 Source #

(<?/>) :: DocLength w => Doc' w -> Doc' w -> Doc' w infixr 6 Source #

trailoptcat :: Foldable f => (Doc' w -> Doc' w -> Doc' w) -> f (Doc' w) -> Doc' w Source #

nest :: DocLength w => Doc' w -> Doc' w Source #

group :: DocLength w => Doc' w -> Doc' w Source #

ng :: DocLength w => Doc' w -> Doc' w Source #

block :: DocLength w => Doc' w -> Doc' w -> Doc' w -> Doc' w Source #

Orphan instances

Enum w => Enum (Sum w) Source # 
Instance details

Methods

succ :: Sum w -> Sum w #

pred :: Sum w -> Sum w #

toEnum :: Int -> Sum w #

fromEnum :: Sum w -> Int #

enumFrom :: Sum w -> [Sum w] #

enumFromThen :: Sum w -> Sum w -> [Sum w] #

enumFromTo :: Sum w -> Sum w -> [Sum w] #

enumFromThenTo :: Sum w -> Sum w -> Sum w -> [Sum w] #