| F | Michelson.Macro |
| FAIL | Michelson.Macro |
| FailOnBigMapFound | Michelson.Typed.Scope, Michelson.Typed |
| FailOnNestedBigMapsFound | Michelson.Typed.Scope, Michelson.Typed |
| FailOnOperationFound | Michelson.Typed.Scope, Michelson.Typed |
| FailUnless | Util.Type |
| failUnlessEvi | Util.Type |
| FailWhen | Util.Type |
| failWhenEvi | Util.Type |
| FAILWITH | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| farFuture | Tezos.Core |
| farPast | Tezos.Core |
| field | Michelson.Parser.Type |
| 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 |
| FieldDescriptions | Michelson.Typed.Haskell.ValidateDescription, Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
| FieldDescriptionsV | Michelson.Typed.Haskell.ValidateDescription |
| FieldDescriptionsValid | Michelson.Typed.Haskell.ValidateDescription |
| FieldRep | |
| 1 (Type/Class) | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
| FieldTag | Michelson.Untyped.Annotation, Michelson.Untyped |
| fieldType | Michelson.Parser.Annotations |
| finalizedAsIs | Michelson.Doc |
| firstRight | Tezos.Crypto.Util |
| flattenEntrypoints | Michelson.Typed.Convert, Michelson.Typed |
| flattenExpandedOp | Michelson.Untyped.Instr, Michelson.Untyped |
| fld | Util.CustomGeneric |
| 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 |
| ForbidOr | Michelson.Typed.Entrypoints, Michelson.Typed |
| forbidUnnamedFields | Util.CustomGeneric |
| 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 | |
| 1 (Function) | Tezos.Crypto.Secp256k1 |
| 2 (Function) | Tezos.Crypto.P256 |
| 3 (Function) | Tezos.Crypto.Ed25519 |
| 4 (Function) | Tezos.Crypto |
| formatSignature | |
| 1 (Function) | Tezos.Crypto.Secp256k1 |
| 2 (Function) | Tezos.Crypto.P256 |
| 3 (Function) | Tezos.Crypto.Ed25519 |
| 4 (Function) | Tezos.Crypto |
| formatTimestamp | Tezos.Core |
| FrameInstr | Michelson.Typed.Instr, Michelson.Typed |
| frDescription | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
| frDescriptionL | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
| frName | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
| frNameL | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
| fromDepthsStrategy | Util.CustomGeneric |
| FromExpression | Morley.Micheline.Class, Morley.Micheline |
| fromExpression | Morley.Micheline.Class, Morley.Micheline |
| FromExpressionError | |
| 1 (Type/Class) | Morley.Micheline.Class, Morley.Micheline |
| 2 (Data Constructor) | Morley.Micheline.Class, Morley.Micheline |
| fromFinalStack | Michelson.Interpret |
| fromIntegralChecked | Util.Num |
| fromLabel | Util.Label |
| FromPeano | Util.Peano |
| fromSingT | Michelson.Typed.Sing, Michelson.Typed |
| fromTaggedVal | Michelson.Typed.Haskell.LooseSum, Michelson.Typed.Haskell, Michelson.Typed |
| fromUType | Michelson.Typed.Extract, Michelson.Typed |
| fromVal | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed |
| fromValStack | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed |
| frTypeRep | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
| frTypeRepL | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
| fullAnnSet | Michelson.Untyped.Annotation, Michelson.Untyped |
| FunctionEnds | Michelson.Typed.Instr, Michelson.Typed |
| FunctionStarts | Michelson.Typed.Instr, Michelson.Typed |