| fcompose | Test.StateMachine.Z |
| FieldName | Test.StateMachine.TreeDiff.Expr, Test.StateMachine.TreeDiff |
| Fig | Test.StateMachine.DotDrawing |
| filePath | Test.StateMachine.DotDrawing |
| FlipRef | |
| 1 (Type/Class) | Test.StateMachine.Lockstep.NAry |
| 2 (Data Constructor) | Test.StateMachine.Lockstep.NAry |
| fmap | Test.StateMachine.Types.Rank2 |
| Foldable | Test.StateMachine.Types.Rank2 |
| foldMap | Test.StateMachine.Types.Rank2 |
| Forall | Test.StateMachine, Test.StateMachine.Logic |
| forAll | Test.StateMachine, Test.StateMachine.Logic |
| ForallC | Test.StateMachine, Test.StateMachine.Logic |
| forAllCommands | Test.StateMachine, Test.StateMachine.Sequential |
| forAllNParallelCommands | Test.StateMachine, Test.StateMachine.Parallel |
| forAllNParallelCommandsNTimes | Test.StateMachine, Test.StateMachine.Parallel |
| forAllParallelCommands | Test.StateMachine, Test.StateMachine.Parallel |
| forAllParallelCommandsNTimes | Test.StateMachine, Test.StateMachine.Parallel |
| Fork | |
| 1 (Type/Class) | Test.StateMachine.BoxDrawer |
| 2 (Data Constructor) | Test.StateMachine.BoxDrawer |
| fromPair | Test.StateMachine.Types |
| fromPair' | Test.StateMachine.Types |
| fromSimple | Test.StateMachine.Lockstep.Simple |
| Fst | Test.StateMachine, Test.StateMachine.Logic |
| Fun | Test.StateMachine.Z |
| Functor | Test.StateMachine.Types.Rank2 |