Index - F
| Field | Data.Semifield |
| FieldLaw | Data.Semifield |
| fillE1 | Data.Semimodule.Basis |
| fillE2 | Data.Semimodule.Basis |
| fillE3 | Data.Semimodule.Basis |
| fillE4 | Data.Semimodule.Basis |
| first | Data.Semimodule.Transform |
| Free | Data.Semimodule, Data.Semimodule.Free |
| FreeModule | Data.Semimodule |
| FreeSemimodule | Data.Semimodule |