| F | Michelson.Macro |
| FAIL | Michelson.Macro |
| failCustom | Lorentz.Errors, Lorentz |
| failCustom_ | Lorentz.Errors, Lorentz |
| failedProp | Michelson.Test.Util, Michelson.Test, Lorentz.Test |
| failingWhenPresent | Lorentz.Instr, Lorentz |
| FailOnBigMapFound | Michelson.Typed.Scope, Michelson.Typed |
| FailOnNestedBigMapsFound | Michelson.Typed.Scope, Michelson.Typed |
| FailOnOperationFound | Michelson.Typed.Scope, Michelson.Typed |
| failUnexpected | Lorentz.Errors, Lorentz |
| failUsing | Lorentz.Errors, Lorentz |
| FailUsingArg | Lorentz.Errors, Lorentz |
| failUsingArg | Lorentz.Errors, Lorentz |
| FAILWITH | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| failWith | Lorentz.Instr, Lorentz |
| fail_ | Lorentz.Macro, Lorentz |
| fakeCoerce | Lorentz.Coercions, Lorentz |
| False | Lorentz.Value, Lorentz |
| farFuture | Tezos.Core |
| farPast | Tezos.Core |
| fcCode | Michelson.Typed.Instr, Michelson.Typed |
| fcParamNotes | Michelson.Typed.Instr, Michelson.Typed |
| fcParamNotesSafe | Michelson.Typed.Instr, Michelson.Typed |
| fcStoreNotes | Michelson.Typed.Instr, Michelson.Typed |
| FI | Lorentz.Base, Lorentz |
| FieldAnn | Michelson.Untyped.Annotation, Michelson.Untyped |
| FieldConstructor | |
| 1 (Type/Class) | Michelson.Typed.Haskell.Instr.Product, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Haskell.Instr.Product, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| fieldCtor | Lorentz.ADT, Lorentz |
| FieldInfo | Lorentz.UStore.Migration.Diff |
| fieldNameToMText | Lorentz.UStore.Common |
| FieldSignature | Lorentz.UStore.Types |
| fieldType | Michelson.Parser.Annotations |
| fillUStore | Lorentz.UStore.Haskell, Lorentz.UStore, Lorentz |
| fillUStoreMigrationBlock | Lorentz.UStore.Haskell |
| firstRight | Tezos.Crypto.Util |
| flattenExpandedOp | Michelson.Untyped.Instr, Michelson.Untyped |
| FN | Michelson.Untyped.Ext, Michelson.Untyped |
| ForbidBigMap | Michelson.Typed.Scope, Michelson.Typed |
| ForbidContract | Michelson.Typed.Scope, Michelson.Typed |
| forbiddenBigMap | Michelson.Typed.Scope, Michelson.Typed |
| forbiddenContractType | Michelson.Typed.Scope, Michelson.Typed |
| forbiddenNestedBigMaps | Michelson.Typed.Scope, Michelson.Typed |
| forbiddenOp | Michelson.Typed.Scope, Michelson.Typed |
| ForbidNestedBigMaps | Michelson.Typed.Scope, Michelson.Typed |
| ForbidOp | Michelson.Typed.Scope, Michelson.Typed |
| formatAddress | Tezos.Address |
| formatChainId | Tezos.Core |
| formatEpAddress | Michelson.Typed.EntryPoints, Michelson.Typed |
| formatImpl | Tezos.Crypto.Util |
| formatKeyHash | Tezos.Crypto |
| formatPublicKey | |
| 1 (Function) | Tezos.Crypto.Secp256k1 |
| 2 (Function) | Tezos.Crypto.P256 |
| 3 (Function) | Tezos.Crypto.Ed25519 |
| 4 (Function) | Tezos.Crypto |
| formatSecretKey | Tezos.Crypto.Ed25519 |
| formatSignature | |
| 1 (Function) | Tezos.Crypto.Secp256k1 |
| 2 (Function) | Tezos.Crypto.P256 |
| 3 (Function) | Tezos.Crypto.Ed25519 |
| 4 (Function) | Tezos.Crypto |
| formatTimestamp | Tezos.Core |
| formMigrationAtom | Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration |
| framed | Lorentz.Instr, Lorentz |
| framedN | Lorentz.Macro, Lorentz |
| FrameInstr | Michelson.Typed.Instr, Michelson.Typed |
| fromContractAddr | Lorentz.Value, Lorentz |
| FromContractRef | Lorentz.Value, Lorentz |
| fromCVal | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz |
| fromExtVal | Lorentz.Extensible |
| fromInteger | Lorentz.Rebinded, Lorentz |
| fromLabel | Lorentz.Rebinded, Lorentz |
| fromNamed | Lorentz.Coercions, Lorentz |
| FromPeano | Util.Peano |
| fromSingCT | Michelson.Typed.Sing, Michelson.Typed |
| fromSingT | Michelson.Typed.Sing, Michelson.Typed |
| fromString | Lorentz.Prelude, Lorentz.Rebinded, Lorentz |
| fromTaggedVal | Michelson.Typed.Haskell.LooseSum, Michelson.Typed.Haskell, Michelson.Typed |
| fromUStore_ | Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration |
| fromUType | Michelson.Typed.Extract, Michelson.Typed |
| fromVal | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz |
| fromValStack | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed |
| FSMarker | Lorentz.UStore.Types |
| FSValue | Lorentz.UStore.Types |
| FullContract | |
| 1 (Type/Class) | Michelson.Typed.Instr, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| FutureContract | |
| 1 (Type/Class) | Lorentz.Value, Lorentz |
| 2 (Data Constructor) | Lorentz.Value, Lorentz |
| futureContract | Lorentz.Coercions, Lorentz |
| futureContractAddress | Lorentz.Value, Lorentz |