| Fact | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| FactBase | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| fact_bot | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| fact_join | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| fact_name | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| firstNode | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| firstXfer | Compiler.Hoopl | 
| foldBlockNodesB | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| foldBlockNodesB3 | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| foldBlockNodesF | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| foldBlockNodesF3 | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| foldGraphNodes | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| fp_lattice | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| fp_rewrite | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| fp_transfer | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| freshLabel | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| freshUnique | Compiler.Hoopl | 
| frontBiasBlock | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| Fuel | Compiler.Hoopl | 
| FuelMonad | Compiler.Hoopl | 
| FuelMonadT | Compiler.Hoopl | 
| fuelRemaining | Compiler.Hoopl | 
| FwdPass |  | 
| 1 (Type/Class) | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| 2 (Data Constructor) | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| FwdRewrite | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| FwdRewrite3 | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| FwdTransfer | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| FwdTransfer3 | Compiler.Hoopl.Internals, Compiler.Hoopl |