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

Verismith.Verilog2005.Token

Documentation

data PosToken Source #

Constructors

PosToken 

Fields

Instances

Instances details
Show PosToken Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

showsPrec :: Int -> PosToken -> ShowS #

show :: PosToken -> String #

showList :: [PosToken] -> ShowS #

Eq PosToken Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

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

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

data Position Source #

Constructors

Position 

Fields

Instances

Instances details
Show Position Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

showsPrec :: Int -> Position -> ShowS #

show :: Position -> String #

showList :: [Position] -> ShowS #

Eq Position Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

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

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

data PSource Source #

Constructors

PSFile !String 
PSDefine !ByteString 
PSLine 

Fields

Instances

Instances details
Show PSource Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

showsPrec :: Int -> PSource -> ShowS #

show :: PSource -> String #

showList :: [PSource] -> ShowS #

Eq PSource Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

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

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

helperShowPositions :: NonEmpty Position -> String Source #

showWithPosition :: PosToken -> String Source #

data Token Source #

Constructors

IdSimple !ByteString 
IdEscaped !ByteString 
IdSystem !ByteString 
LitReal !ByteString 
LitString !ByteString 
NumberBase !Bool !Base 
LitXZ !Bool 
LitBinary ![BXZ] 
LitDecimal !Natural 
LitOctal ![OXZ] 
LitHex ![HXZ] 
TableOut !ZOX 
TableIn !Bool 
TableEdge !AFRNP 
EdgeEdge !BXZ !BXZ 
TknPP !ByteString 
AmBar 
AmHat 
AmAmp 
AmTildeHat 
UnTilde 
UnBang 
UnTildeAmp 
UnTildeBar 
BinSlash 
BinPercent 
BinLt 
BinGt 
BinEqEq 
BinBangEq 
BinEqEqEq 
BinBangEqEq 
BinAmpAmp 
BinBarBar 
BinAsterAster 
BinGtEq 
BinLtLt 
BinGtGt 
BinLtLtLt 
BinGtGtGt 
SymParenL 
SymParenR 
SymBrackL 
SymBrackR 
SymBraceL 
SymBraceR 
SymAt 
SymPound 
SymDollar 
SymAster 
SymDot 
SymComma 
SymColon 
SymSemi 
SymEq 
SymDash 
SymPlus 
SymParenAster 
SymAsterParen 
SymQuestion 
SymLtEq 
SymPlusColon 
SymDashColon 
SymDashGt 
SymEqGt 
SymAsterGt 
SymAmpAmpAmp 
CDCelldefine 
CDDefaultnettype 
CDEndcelldefine 
CDInclude 
CDNounconnecteddrive 
CDResetall 
CDTimescale 
CDTSInt !Int 
CDTSUnit !Int 
CDUnconnecteddrive 
CDBeginKeywords 
CDEndKeywords 
KWAlways 
KWAnd 
KWAssign 
KWAutomatic 
KWBegin 
KWBuf 
KWBufif0 
KWBufif1 
KWCase 
KWCasex 
KWCasez 
KWCell 
KWCmos 
KWConfig 
KWDeassign 
KWDefault 
KWDefparam 
KWDesign 
KWDisable 
KWEdge 
KWElse 
KWEnd 
KWEndcase 
KWEndconfig 
KWEndfunction 
KWEndgenerate 
KWEndmodule 
KWEndprimitive 
KWEndspecify 
KWEndtable 
KWEndtask 
KWEvent 
KWFor 
KWForce 
KWForever 
KWFork 
KWFunction 
KWGenerate 
KWGenvar 
KWHighz0 
KWHighz1 
KWIf 
KWIfnone 
KWIncdir 
KWInclude 
KWInitial 
KWInout 
KWInput 
KWInstance 
KWInteger 
KWJoin 
KWLarge 
KWLiblist 
KWLibrary 
KWLocalparam 
KWMacromodule 
KWMedium 
KWModule 
KWNand 
KWNegedge 
KWNmos 
KWNor 
KWNoshowcancelled 
KWNot 
KWNotif0 
KWNotif1 
KWOr 
KWOutput 
KWParameter 
KWPmos 
KWPosedge 
KWPrimitive 
KWPull0 
KWPull1 
KWPulldown 
KWPullup 
KWPulsestyleonevent 
KWPulsestyleondetect 
KWRcmos 
KWReal 
KWRealtime 
KWReg 
KWRelease 
KWRepeat 
KWRnmos 
KWRpmos 
KWRtran 
KWRtranif0 
KWRtranif1 
KWScalared 
KWShowcancelled 
KWSigned 
KWSmall 
KWSpecify 
KWSpecparam 
KWStrong0 
KWStrong1 
KWSupply0 
KWSupply1 
KWTable 
KWTask 
KWTime 
KWTran 
KWTranif0 
KWTranif1 
KWTri 
KWTri0 
KWTri1 
KWTriand 
KWTrior 
KWTrireg 
KWUnsigned 
KWUse 
KWUwire 
KWVectored 
KWWait 
KWWand 
KWWeak0 
KWWeak1 
KWWhile 
KWWire 
KWWor 
KWXnor 
KWXor 
TokSVKeyword !ByteString 

Instances

Instances details
Data Token Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

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

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

toConstr :: Token -> Constr #

dataTypeOf :: Token -> DataType #

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

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

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

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

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

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

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

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

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

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

Show Token Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

showsPrec :: Int -> Token -> ShowS #

show :: Token -> String #

showList :: [Token] -> ShowS #

Eq Token Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

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

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

data AFRNP Source #

Constructors

AFRNPA 
AFRNPF 
AFRNPR 
AFRNPN 
AFRNPP 

Instances

Instances details
Data AFRNP Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

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

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

toConstr :: AFRNP -> Constr #

dataTypeOf :: AFRNP -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic AFRNP Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Associated Types

type Rep AFRNP 
Instance details

Defined in Verismith.Verilog2005.Token

type Rep AFRNP = D1 ('MetaData "AFRNP" "Verismith.Verilog2005.Token" "verismith-1.1.0-FUTsgQc3KWmLTdTSx0Se1T" 'False) ((C1 ('MetaCons "AFRNPA" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AFRNPF" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "AFRNPR" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AFRNPN" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AFRNPP" 'PrefixI 'False) (U1 :: Type -> Type))))

Methods

from :: AFRNP -> Rep AFRNP x #

to :: Rep AFRNP x -> AFRNP #

Show AFRNP Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

showsPrec :: Int -> AFRNP -> ShowS #

show :: AFRNP -> String #

showList :: [AFRNP] -> ShowS #

NFData AFRNP Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

rnf :: AFRNP -> () #

Eq AFRNP Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

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

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

Ord AFRNP Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

compare :: AFRNP -> AFRNP -> Ordering #

(<) :: AFRNP -> AFRNP -> Bool #

(<=) :: AFRNP -> AFRNP -> Bool #

(>) :: AFRNP -> AFRNP -> Bool #

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

max :: AFRNP -> AFRNP -> AFRNP #

min :: AFRNP -> AFRNP -> AFRNP #

type Rep AFRNP Source # 
Instance details

Defined in Verismith.Verilog2005.Token

type Rep AFRNP = D1 ('MetaData "AFRNP" "Verismith.Verilog2005.Token" "verismith-1.1.0-FUTsgQc3KWmLTdTSx0Se1T" 'False) ((C1 ('MetaCons "AFRNPA" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AFRNPF" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "AFRNPR" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AFRNPN" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AFRNPP" 'PrefixI 'False) (U1 :: Type -> Type))))

data BXZ Source #

Constructors

BXZ0 
BXZ1 
BXZX 
BXZZ 

Instances

Instances details
Data BXZ Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

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

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

toConstr :: BXZ -> Constr #

dataTypeOf :: BXZ -> DataType #

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

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

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

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

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

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

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

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

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

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

Bounded BXZ Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

minBound :: BXZ #

maxBound :: BXZ #

Enum BXZ Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

succ :: BXZ -> BXZ #

pred :: BXZ -> BXZ #

toEnum :: Int -> BXZ #

fromEnum :: BXZ -> Int #

enumFrom :: BXZ -> [BXZ] #

enumFromThen :: BXZ -> BXZ -> [BXZ] #

enumFromTo :: BXZ -> BXZ -> [BXZ] #

enumFromThenTo :: BXZ -> BXZ -> BXZ -> [BXZ] #

Generic BXZ Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Associated Types

type Rep BXZ 
Instance details

Defined in Verismith.Verilog2005.Token

type Rep BXZ = D1 ('MetaData "BXZ" "Verismith.Verilog2005.Token" "verismith-1.1.0-FUTsgQc3KWmLTdTSx0Se1T" 'False) ((C1 ('MetaCons "BXZ0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BXZ1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BXZX" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BXZZ" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: BXZ -> Rep BXZ x #

to :: Rep BXZ x -> BXZ #

Show BXZ Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

showsPrec :: Int -> BXZ -> ShowS #

show :: BXZ -> String #

showList :: [BXZ] -> ShowS #

NFData BXZ Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

rnf :: BXZ -> () #

Eq BXZ Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

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

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

Ord BXZ Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

compare :: BXZ -> BXZ -> Ordering #

(<) :: BXZ -> BXZ -> Bool #

(<=) :: BXZ -> BXZ -> Bool #

(>) :: BXZ -> BXZ -> Bool #

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

max :: BXZ -> BXZ -> BXZ #

min :: BXZ -> BXZ -> BXZ #

type Rep BXZ Source # 
Instance details

Defined in Verismith.Verilog2005.Token

type Rep BXZ = D1 ('MetaData "BXZ" "Verismith.Verilog2005.Token" "verismith-1.1.0-FUTsgQc3KWmLTdTSx0Se1T" 'False) ((C1 ('MetaCons "BXZ0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BXZ1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BXZX" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BXZZ" 'PrefixI 'False) (U1 :: Type -> Type)))

data OXZ Source #

Constructors

OXZ0 
OXZ1 
OXZ2 
OXZ3 
OXZ4 
OXZ5 
OXZ6 
OXZ7 
OXZX 
OXZZ 

Instances

Instances details
Data OXZ Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

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

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

toConstr :: OXZ -> Constr #

dataTypeOf :: OXZ -> DataType #

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

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

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

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

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

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

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

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

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

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

Bounded OXZ Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

minBound :: OXZ #

maxBound :: OXZ #

Enum OXZ Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

succ :: OXZ -> OXZ #

pred :: OXZ -> OXZ #

toEnum :: Int -> OXZ #

fromEnum :: OXZ -> Int #

enumFrom :: OXZ -> [OXZ] #

enumFromThen :: OXZ -> OXZ -> [OXZ] #

enumFromTo :: OXZ -> OXZ -> [OXZ] #

enumFromThenTo :: OXZ -> OXZ -> OXZ -> [OXZ] #

Generic OXZ Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Associated Types

type Rep OXZ 
Instance details

Defined in Verismith.Verilog2005.Token

type Rep OXZ = D1 ('MetaData "OXZ" "Verismith.Verilog2005.Token" "verismith-1.1.0-FUTsgQc3KWmLTdTSx0Se1T" 'False) (((C1 ('MetaCons "OXZ0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OXZ1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OXZ2" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OXZ3" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OXZ4" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "OXZ5" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OXZ6" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OXZ7" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OXZX" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OXZZ" 'PrefixI 'False) (U1 :: Type -> Type)))))

Methods

from :: OXZ -> Rep OXZ x #

to :: Rep OXZ x -> OXZ #

Show OXZ Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

showsPrec :: Int -> OXZ -> ShowS #

show :: OXZ -> String #

showList :: [OXZ] -> ShowS #

NFData OXZ Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

rnf :: OXZ -> () #

Eq OXZ Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

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

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

Ord OXZ Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

compare :: OXZ -> OXZ -> Ordering #

(<) :: OXZ -> OXZ -> Bool #

(<=) :: OXZ -> OXZ -> Bool #

(>) :: OXZ -> OXZ -> Bool #

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

max :: OXZ -> OXZ -> OXZ #

min :: OXZ -> OXZ -> OXZ #

type Rep OXZ Source # 
Instance details

Defined in Verismith.Verilog2005.Token

type Rep OXZ = D1 ('MetaData "OXZ" "Verismith.Verilog2005.Token" "verismith-1.1.0-FUTsgQc3KWmLTdTSx0Se1T" 'False) (((C1 ('MetaCons "OXZ0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OXZ1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OXZ2" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OXZ3" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OXZ4" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "OXZ5" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OXZ6" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OXZ7" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OXZX" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OXZZ" 'PrefixI 'False) (U1 :: Type -> Type)))))

data HXZ Source #

Constructors

HXZ0 
HXZ1 
HXZ2 
HXZ3 
HXZ4 
HXZ5 
HXZ6 
HXZ7 
HXZ8 
HXZ9 
HXZA 
HXZB 
HXZC 
HXZD 
HXZE 
HXZF 
HXZX 
HXZZ 

Instances

Instances details
Data HXZ Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

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

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

toConstr :: HXZ -> Constr #

dataTypeOf :: HXZ -> DataType #

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

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

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

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

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

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

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

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

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

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

Bounded HXZ Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

minBound :: HXZ #

maxBound :: HXZ #

Enum HXZ Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

succ :: HXZ -> HXZ #

pred :: HXZ -> HXZ #

toEnum :: Int -> HXZ #

fromEnum :: HXZ -> Int #

enumFrom :: HXZ -> [HXZ] #

enumFromThen :: HXZ -> HXZ -> [HXZ] #

enumFromTo :: HXZ -> HXZ -> [HXZ] #

enumFromThenTo :: HXZ -> HXZ -> HXZ -> [HXZ] #

Generic HXZ Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Associated Types

type Rep HXZ 
Instance details

Defined in Verismith.Verilog2005.Token

type Rep HXZ = D1 ('MetaData "HXZ" "Verismith.Verilog2005.Token" "verismith-1.1.0-FUTsgQc3KWmLTdTSx0Se1T" 'False) ((((C1 ('MetaCons "HXZ0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HXZ1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "HXZ2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HXZ3" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "HXZ4" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HXZ5" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "HXZ6" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "HXZ7" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HXZ8" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "HXZ9" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HXZA" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "HXZB" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HXZC" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "HXZD" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HXZE" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "HXZF" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "HXZX" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HXZZ" 'PrefixI 'False) (U1 :: Type -> Type))))))

Methods

from :: HXZ -> Rep HXZ x #

to :: Rep HXZ x -> HXZ #

Show HXZ Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

showsPrec :: Int -> HXZ -> ShowS #

show :: HXZ -> String #

showList :: [HXZ] -> ShowS #

NFData HXZ Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

rnf :: HXZ -> () #

Eq HXZ Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

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

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

Ord HXZ Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

compare :: HXZ -> HXZ -> Ordering #

(<) :: HXZ -> HXZ -> Bool #

(<=) :: HXZ -> HXZ -> Bool #

(>) :: HXZ -> HXZ -> Bool #

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

max :: HXZ -> HXZ -> HXZ #

min :: HXZ -> HXZ -> HXZ #

type Rep HXZ Source # 
Instance details

Defined in Verismith.Verilog2005.Token

type Rep HXZ = D1 ('MetaData "HXZ" "Verismith.Verilog2005.Token" "verismith-1.1.0-FUTsgQc3KWmLTdTSx0Se1T" 'False) ((((C1 ('MetaCons "HXZ0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HXZ1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "HXZ2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HXZ3" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "HXZ4" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HXZ5" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "HXZ6" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "HXZ7" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HXZ8" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "HXZ9" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HXZA" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "HXZB" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HXZC" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "HXZD" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HXZE" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "HXZF" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "HXZX" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HXZZ" 'PrefixI 'False) (U1 :: Type -> Type))))))

data ZOX Source #

Constructors

ZOXZ 
ZOXO 
ZOXX 

Instances

Instances details
Data ZOX Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

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

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

toConstr :: ZOX -> Constr #

dataTypeOf :: ZOX -> DataType #

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

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

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

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

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

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

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

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

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

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

Bounded ZOX Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

minBound :: ZOX #

maxBound :: ZOX #

Enum ZOX Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

succ :: ZOX -> ZOX #

pred :: ZOX -> ZOX #

toEnum :: Int -> ZOX #

fromEnum :: ZOX -> Int #

enumFrom :: ZOX -> [ZOX] #

enumFromThen :: ZOX -> ZOX -> [ZOX] #

enumFromTo :: ZOX -> ZOX -> [ZOX] #

enumFromThenTo :: ZOX -> ZOX -> ZOX -> [ZOX] #

Generic ZOX Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Associated Types

type Rep ZOX 
Instance details

Defined in Verismith.Verilog2005.Token

type Rep ZOX = D1 ('MetaData "ZOX" "Verismith.Verilog2005.Token" "verismith-1.1.0-FUTsgQc3KWmLTdTSx0Se1T" 'False) (C1 ('MetaCons "ZOXZ" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ZOXO" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ZOXX" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: ZOX -> Rep ZOX x #

to :: Rep ZOX x -> ZOX #

Show ZOX Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

showsPrec :: Int -> ZOX -> ShowS #

show :: ZOX -> String #

showList :: [ZOX] -> ShowS #

NFData ZOX Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

rnf :: ZOX -> () #

Eq ZOX Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

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

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

Ord ZOX Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

compare :: ZOX -> ZOX -> Ordering #

(<) :: ZOX -> ZOX -> Bool #

(<=) :: ZOX -> ZOX -> Bool #

(>) :: ZOX -> ZOX -> Bool #

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

max :: ZOX -> ZOX -> ZOX #

min :: ZOX -> ZOX -> ZOX #

type Rep ZOX Source # 
Instance details

Defined in Verismith.Verilog2005.Token

type Rep ZOX = D1 ('MetaData "ZOX" "Verismith.Verilog2005.Token" "verismith-1.1.0-FUTsgQc3KWmLTdTSx0Se1T" 'False) (C1 ('MetaCons "ZOXZ" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ZOXO" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ZOXX" 'PrefixI 'False) (U1 :: Type -> Type)))

data Base Source #

Constructors

BBin 
BOct 
BDec 
BHex 

Instances

Instances details
Data Base Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

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

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

toConstr :: Base -> Constr #

dataTypeOf :: Base -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic Base Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Associated Types

type Rep Base 
Instance details

Defined in Verismith.Verilog2005.Token

type Rep Base = D1 ('MetaData "Base" "Verismith.Verilog2005.Token" "verismith-1.1.0-FUTsgQc3KWmLTdTSx0Se1T" 'False) ((C1 ('MetaCons "BBin" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BOct" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BDec" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BHex" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: Base -> Rep Base x #

to :: Rep Base x -> Base #

Show Base Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

showsPrec :: Int -> Base -> ShowS #

show :: Base -> String #

showList :: [Base] -> ShowS #

NFData Base Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

rnf :: Base -> () #

Eq Base Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

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

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

Ord Base Source # 
Instance details

Defined in Verismith.Verilog2005.Token

Methods

compare :: Base -> Base -> Ordering #

(<) :: Base -> Base -> Bool #

(<=) :: Base -> Base -> Bool #

(>) :: Base -> Base -> Bool #

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

max :: Base -> Base -> Base #

min :: Base -> Base -> Base #

type Rep Base Source # 
Instance details

Defined in Verismith.Verilog2005.Token

type Rep Base = D1 ('MetaData "Base" "Verismith.Verilog2005.Token" "verismith-1.1.0-FUTsgQc3KWmLTdTSx0Se1T" 'False) ((C1 ('MetaCons "BBin" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BOct" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BDec" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BHex" 'PrefixI 'False) (U1 :: Type -> Type)))