rewire-base-2.8: A Haskell-to-Verilog/VHDL compiler, shared base utilities

Safe Haskell	Safe
Language	Haskell2010

ReWire.Flags

Documentation

data Flag Source #

Instances

Instances details

Generic Flag Source #

Instance details

Defined in ReWire.Flags

Associated Types

type Rep Flag

Instance details

Defined in ReWire.Flags

type Rep Flag = D1 ('MetaData "Flag" "ReWire.Flags" "rewire-base-2.8-FlLB0CaWUZ0C08bXxr65qo" 'False) (((((C1 ('MetaCons "FlagO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "FlagVerbose" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FlagHelp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FlagNoWarn" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FlagW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String))))) :+: ((C1 ('MetaCons "FlagVerilog" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FlagVhdl" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FlagCryptol" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FlagCore" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FlagFromCore" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "FlagDump" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "FlagDumpAll" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FlagFlatten" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FlagInvertReset" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FlagNoReset" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "FlagNoClock" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FlagSyncReset" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FlagVhdlPkgs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: (C1 ('MetaCons "FlagClockName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "FlagResetName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String))))))) :+: ((((C1 ('MetaCons "FlagInputNames" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "FlagOutputNames" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String))) :+: (C1 ('MetaCons "FlagStateNames" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: (C1 ('MetaCons "FlagLoadPath" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "FlagStart" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String))))) :+: ((C1 ('MetaCons "FlagTop" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "FlagInterpret" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe String)))) :+: (C1 ('MetaCons "FlagCycles" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: (C1 ('MetaCons "FlagTestbench" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe String))) :+: C1 ('MetaCons "FlagEvalDepth" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)))))) :+: (((C1 ('MetaCons "FlagPretty" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FlagDebugLint" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FlagEidos" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FlagSynolon" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FlagCertify" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe String)))))) :+: ((C1 ('MetaCons "FlagNoHalt" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FlagRtlOpt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String))) :+: (C1 ('MetaCons "FlagStableNames" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FlagLocators" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FlagNoLocators" 'PrefixI 'False) (U1 :: Type -> Type)))))))

Methods

from :: Flag -> Rep Flag x #

to :: Rep Flag x -> Flag #

Show Flag Source #

Instance details

Defined in ReWire.Flags

Methods

showsPrec :: Int -> Flag -> ShowS #

show :: Flag -> String #

showList :: [Flag] -> ShowS #

Eq Flag Source #

Instance details

Defined in ReWire.Flags

Methods

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

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

Hashable Flag Source #

Instance details

Defined in ReWire.Flags

Methods

hashWithSalt :: Int -> Flag -> Int

hash :: Flag -> Int

type Rep Flag Source #

Instance details

Defined in ReWire.Flags

type Rep Flag = D1 ('MetaData "Flag" "ReWire.Flags" "rewire-base-2.8-FlLB0CaWUZ0C08bXxr65qo" 'False) (((((C1 ('MetaCons "FlagO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "FlagVerbose" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FlagHelp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FlagNoWarn" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FlagW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String))))) :+: ((C1 ('MetaCons "FlagVerilog" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FlagVhdl" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FlagCryptol" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FlagCore" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FlagFromCore" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "FlagDump" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "FlagDumpAll" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FlagFlatten" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FlagInvertReset" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FlagNoReset" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "FlagNoClock" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FlagSyncReset" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FlagVhdlPkgs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: (C1 ('MetaCons "FlagClockName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "FlagResetName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String))))))) :+: ((((C1 ('MetaCons "FlagInputNames" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "FlagOutputNames" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String))) :+: (C1 ('MetaCons "FlagStateNames" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: (C1 ('MetaCons "FlagLoadPath" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "FlagStart" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String))))) :+: ((C1 ('MetaCons "FlagTop" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "FlagInterpret" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe String)))) :+: (C1 ('MetaCons "FlagCycles" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: (C1 ('MetaCons "FlagTestbench" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe String))) :+: C1 ('MetaCons "FlagEvalDepth" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)))))) :+: (((C1 ('MetaCons "FlagPretty" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FlagDebugLint" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FlagEidos" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FlagSynolon" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FlagCertify" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe String)))))) :+: ((C1 ('MetaCons "FlagNoHalt" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FlagRtlOpt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String))) :+: (C1 ('MetaCons "FlagStableNames" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FlagLocators" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FlagNoLocators" 'PrefixI 'False) (U1 :: Type -> Type)))))))