ReWire

Index - P

packhiReWire.Vectors
packloReWire.Vectors
pad'ReWire.BitWord
padMax'ReWire.BitWord
padTrunc'ReWire.BitWord
pairTyEmbedder.Atmo.Types
Param 
1 (Type/Class)ReWire.Cryptol.Syntax
2 (Data Constructor)ReWire.Cryptol.Syntax
paramReWire.Eidos.Parse
paramTysEmbedder.Atmo.Types, Embedder.Atmo.Util
ParAssignReWire.Verilog.Syntax
Parenless 
1 (Type/Class)ReWire.Cryptol.Syntax
2 (Type/Class)ReWire.Verilog.Syntax
parenless 
1 (Function)ReWire.Cryptol.Syntax
2 (Function)ReWire.Verilog.Syntax
parens 
1 (Function)ReWire.Pretty
2 (Function)ReWire.Eidos.Lexer
pArgEmbedder.Isabelle.Syntax
parseEirReWire.Eidos.Parse
parseEirTextReWire.Eidos.Parse
parseHyleReWire.Hyle.Parse
parseHyleDefnsReWire.Hyle.Parse
parseHyleTextReWire.Hyle.Parse
ParserReWire.Eidos.Lexer
parseSynReWire.Synolon.Parse
parseSynTextReWire.Synolon.Parse
partialEvalReWire.Hyle.Transform
pass 
1 (Function)ReWire.HSE.Desugar
2 (Function)ReWire.Pass
PatEmbedder.Atmo.Syntax
PatAsEmbedder.Atmo.Syntax
PatBind 
1 (Type/Class)Embedder.Atmo.Syntax
2 (Data Constructor)Embedder.Atmo.Syntax
PatConEmbedder.Atmo.Syntax
PatRecEmbedder.Atmo.Syntax
PatTupleEmbedder.Atmo.Syntax
PatVarEmbedder.Atmo.Syntax
PatWildCardEmbedder.Atmo.Syntax
PauseReWire.Synolon.Syntax
pauseTargetsReWire.Synolon.Syntax
pbTyconsEmbedder.Atmo.DependencyGraph
pDebugReWire.Config, Embedder.Config
pendingSigReWire.Eidos.Parse
pgmModulesReWire.Verilog.Syntax
pickFreshReWire.Hyle.Mangle
pickVarEmbedder.Atmo.Types
plus'ReWire.BitWord
plusTyEmbedder.Atmo.Types
Poly 
1 (Type/Class)Embedder.Atmo.Syntax
2 (Data Constructor)Embedder.Atmo.Syntax
polyEmbedder.Atmo.Types
poly'Embedder.Atmo.Types
Poly1Embedder.Atmo.Types
poly1TyEmbedder.Atmo.Types
pOpEmbedder.Isabelle.Syntax
Port 
1 (Type/Class)ReWire.Verilog.Syntax
2 (Type/Class)ReWire.VHDL.Syntax
3 (Data Constructor)ReWire.VHDL.Syntax
PosReWire.Verilog.Syntax
Pow 
1 (Data Constructor)ReWire.Verilog.Syntax
2 (Data Constructor)ReWire.Hyle.Syntax
3 (Data Constructor)Embedder.Builtins, ReWire.Builtins
power'ReWire.BitWord
ppReWire.Interactive
ppAltReWire.Eidos.Pretty
ppArmReWire.VHDL.Syntax
ppAtomReWire.Eidos.Pretty
ppAtomEReWire.Synolon.Pretty
ppBindReWire.Eidos.Pretty
ppBinderReWire.Eidos.Pretty
ppBinOpReWire.Verilog.Syntax
ppBitsReWire.VHDL.Syntax
ppBlockReWire.Synolon.Pretty
ppCellReWire.Synolon.Pretty
ppCmdReWire.Synolon.Pretty
ppCommaListReWire.Verilog.Syntax
ppComment 
1 (Function)ReWire.Verilog.Syntax
2 (Function)ReWire.VHDL.Syntax
ppContextReWire.VHDL.Syntax
ppDataDefnReWire.Eidos.Pretty
ppDefnReWire.Eidos.Pretty
ppDimsReWire.Verilog.Syntax
ppExpReWire.Eidos.Pretty
ppFunReWire.Cryptol.Syntax
ppHexReWire.VHDL.Syntax
ppIdReWire.Eidos.Pretty
ppInitReWire.VHDL.Syntax
ppItemReWire.Verilog.Syntax
ppKindReWire.Eidos.Pretty
ppLit 
1 (Function)ReWire.Cryptol.Syntax
2 (Function)ReWire.VHDL.Syntax
ppName 
1 (Function)ReWire.VHDL.Syntax
2 (Function)ReWire.Eidos.Pretty
ppOccReWire.Eidos.Pretty
ppOcc'ReWire.Eidos.Pretty
ppParamsReWire.Cryptol.Syntax
ppProcReWire.Synolon.Pretty
ppProgram 
1 (Function)ReWire.Eidos.Pretty
2 (Function)ReWire.Synolon.Pretty
ppSigReWire.Eidos.Pretty
ppStrLitReWire.Eidos.Pretty
ppTAltReWire.Synolon.Pretty
ppTermReWire.Synolon.Pretty
ppTyReWire.Eidos.Pretty
ppTyVarReWire.Eidos.Pretty
ppUnitReWire.VHDL.Syntax
ppUnOpReWire.Verilog.Syntax
ppVecTyReWire.VHDL.Syntax
prefixBuiltinListEmbedder.Isabelle.Syntax
prefixRWUserOpListEmbedder.Isabelle.Syntax
Pretty 
1 (Type/Class)ReWire.Pretty
2 (Data Constructor)ReWire.Config, Embedder.Config
3 (Type/Class)ReWire.Interactive
pretty 
1 (Function)ReWire.Pretty
2 (Function)ReWire.Config, Embedder.Config
3 (Function)ReWire.Interactive
prettyFPEmbedder.Atmo.Syntax
prettyPrintReWire.Pretty
prettyPrint'ReWire.Pretty
prettyProgram 
1 (Function)ReWire.Eidos.Pretty
2 (Function)ReWire.Synolon.Pretty
prettyTermEmbedder.Isabelle.Syntax
Prim 
1 (Data Constructor)ReWire.Hyle.Syntax
2 (Data Constructor)Embedder.Isabelle.Syntax
3 (Data Constructor)ReWire.Eidos.Syntax, ReWire.Synolon.Syntax
primDatasReWire.Eidos.PrimBasis
primIdEmbedder.Isabelle.Syntax
primSpanReWire.Annotation
printAppEmbedder.Isabelle.Syntax
printApp'Embedder.Isabelle.Syntax
printConEmbedder.Isabelle.Syntax
printDatatypeConstructorEmbedder.Isabelle.Syntax
printDeclsEmbedder.Isabelle.Syntax
printErrorReWire.Error
printHeaderReWire.Pass
printInfoHSEReWire.HSE.PassInfo
printInfoTopReWire.HSE.PassInfo
printTBuiltinEmbedder.Isabelle.Syntax
printTupleEmbedder.Isabelle.Syntax
printTypeEmbedder.Isabelle.Syntax
printType'Embedder.Isabelle.Syntax
printTypSigEmbedder.Isabelle.Syntax
printTyTupleEmbedder.Isabelle.Syntax
Proc 
1 (Type/Class)ReWire.Synolon.Syntax
2 (Data Constructor)ReWire.Synolon.Syntax
procAnnoteReWire.Synolon.Syntax
procBlocksReWire.Synolon.Syntax
procCellsReWire.Synolon.Syntax
procClockReWire.Synolon.Syntax
procEntryReWire.Synolon.Syntax
ProcessReWire.VHDL.Syntax
procInTyReWire.Synolon.Syntax
procNameReWire.Synolon.Syntax
procOutTyReWire.Synolon.Syntax
ProcVarReWire.VHDL.Syntax
progDatas 
1 (Function)ReWire.Eidos.Syntax
2 (Function)ReWire.Synolon.Syntax
progDefns 
1 (Function)ReWire.Hyle.Syntax
2 (Function)ReWire.Eidos.Syntax
3 (Function)ReWire.Synolon.Syntax
progDeviceReWire.Hyle.Syntax
progExternsReWire.Hyle.Syntax
progProcsReWire.Synolon.Syntax
Program 
1 (Type/Class)ReWire.Hyle.Syntax
2 (Data Constructor)ReWire.Hyle.Syntax
3 (Type/Class)Embedder.Atmo.Syntax
4 (Data Constructor)Embedder.Atmo.Syntax
5 (Type/Class)ReWire.Eidos.Syntax
6 (Data Constructor)ReWire.Eidos.Syntax
7 (Type/Class)ReWire.Synolon.Syntax
8 (Data Constructor)ReWire.Synolon.Syntax
progTopReWire.Eidos.Syntax
ProvenanceReWire.Annotation
Proxy 
1 (Type/Class)RWC.Primitives, ReWire
2 (Data Constructor)RWC.Primitives, ReWire
proxyEmbedder.Atmo.Util
proxyNatEmbedder.Atmo.Types
proxyTyEmbedder.Atmo.Types
PttrnEmbedder.Isabelle.Syntax
PttrnAsEmbedder.Isabelle.Syntax
PttrnConEmbedder.Isabelle.Syntax
PttrnRecordEmbedder.Isabelle.Syntax
PttrnTupleEmbedder.Isabelle.Syntax
PttrnVarEmbedder.Isabelle.Syntax
PttrnWildCardEmbedder.Isabelle.Syntax
pTyArgEmbedder.Isabelle.Syntax
punctuateReWire.Pretty
pureReWire.Prelude
purgeReWire.Eidos.Simplify
purgeDevLetsReWire.Hyle.Transform
purgeUnusedReWire.Hyle.Transform
purgeZeroWidthReWire.Hyle.Transform
purifyReWire.Eidos.ToSynolon
PutEmbedder.Builtins, ReWire.Builtins
putReWire
PutMsgReWire.Error
putMsgReWire.Error