| Factorial | PlutusCore.Examples.Builtins |
| FailingPlus | PlutusCore.Examples.Builtins |
| FailingSucc | PlutusCore.Examples.Builtins |
| FakeNamedDeBruijn | |
| 1 (Type/Class) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.DeBruijn.Internal |
| fakeNameDeBruijn | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| fakeTyNameDeBruijn | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn |
| false | PlutusCore.StdLib.Data.Bool |
| finalVerify | PlutusCore.Crypto.BLS12_381.Pairing |
| FindFirstSetBit | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| findFirstSetBit | PlutusCore.Bitwise |
| Finish | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| first | PlutusPrelude |
| firstVersion | PlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug |
| fix | PlutusCore.StdLib.Data.Function |
| fixAndType | PlutusCore.StdLib.Data.Function |
| fixBy | PlutusCore.StdLib.Data.Function |
| fixByAndType | PlutusCore.StdLib.Data.Function |
| Fixity | |
| 1 (Data Constructor) | PlutusCore.Pretty |
| 2 (Type/Class) | PlutusCore.Pretty |
| FixityOver | PlutusCore.Pretty |
| fixN | PlutusCore.StdLib.Data.Function |
| fixNAndType | PlutusCore.StdLib.Data.Function |
| flattenCostRose | PlutusCore.Evaluation.Machine.ExMemoryUsage |
| FlatViaSerialise | |
| 1 (Type/Class) | Codec.Extras.FlatViaSerialise |
| 2 (Data Constructor) | Codec.Extras.FlatViaSerialise |
| fold | PlutusPrelude |
| FoldArgs | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| FolderContents | |
| 1 (Type/Class) | PlutusCore.FsTree |
| 2 (Data Constructor) | PlutusCore.FsTree |
| foldFsTree | PlutusCore.FsTree |
| foldl' | PlutusPrelude |
| foldList | |
| 1 (Function) | PlutusCore.StdLib.Data.ScottList |
| 2 (Function) | PlutusCore.StdLib.Data.List |
| foldMapM | PlutusPrelude |
| foldNat | PlutusCore.StdLib.Data.Nat |
| foldPlcFolderContents | PlutusCore.FsTree |
| foldPlcFsTree | PlutusCore.FsTree |
| foldrInterList | PlutusCore.Examples.Data.InterList |
| foldrList | |
| 1 (Function) | PlutusCore.StdLib.Data.ScottList |
| 2 (Function) | PlutusCore.StdLib.Data.List |
| foldrNat | PlutusCore.StdLib.Data.Nat |
| for | PlutusPrelude |
| ForallFortyTwo | PlutusCore.Examples.Builtins |
| Force | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| forestCons | PlutusCore.Examples.Data.TreeForest |
| forestData | PlutusCore.Examples.Data.TreeForest |
| forestNil | PlutusCore.Examples.Data.TreeForest |
| for_ | PlutusPrelude |
| FrameAwaitArg | |
| 1 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| FrameAwaitFunTerm | |
| 1 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| FrameAwaitFunValue | |
| 1 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| FrameCases | |
| 1 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| FrameConstr | |
| 1 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| FrameForce | |
| 1 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| FreeIndex | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore.Error, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| freeIndexAsConsistentLevel | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| freeIndexThrow | PlutusCore.DeBruijn.Internal |
| FreeT | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| FreeTypeVariableE | PlutusCore.Error |
| FreeUnique | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore.Error, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| freeUniqueThrow | PlutusCore.DeBruijn.Internal |
| FreeVariable | PlutusCore.Error, PlutusCore.Check.Uniques, PlutusCore, UntypedPlutusCore.Check.Uniques |
| FreeVariableE | PlutusCore.Error |
| FreeVariableError | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore.Error, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| FreeVariableErrorE | PlutusCore.Error, PlutusCore |
| freshenName | PlutusCore.Quote |
| freshenTyName | PlutusCore.Quote |
| freshName | PlutusCore.Quote, PlutusCore |
| FreshState | PlutusCore.Quote |
| freshTyName | PlutusCore.Quote, PlutusCore |
| freshUnique | PlutusCore.Quote, PlutusCore |
| fromConstant | PlutusCore.Builtin |
| fromFake | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn |
| fromFoldable | |
| 1 (Function) | PlutusCore.Name.UniqueSet |
| 2 (Function) | PlutusCore.Name.UniqueMap |
| fromMaybe | PlutusPrelude |
| fromNames | |
| 1 (Function) | PlutusCore.Name.UniqueSet |
| 2 (Function) | PlutusCore.Name.UniqueMap |
| fromPatFuncKind | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| fromRight | PlutusPrelude |
| fromRightM | Data.Either.Extras |
| fromSatInt | Data.SatInt |
| fromUniques | |
| 1 (Function) | PlutusCore.Name.UniqueSet |
| 2 (Function) | PlutusCore.Name.UniqueMap |
| fromValue | PlutusCore.Builtin |
| fromValueOf | PlutusCore.Builtin |
| FsFile | PlutusCore.FsTree |
| FsFolder | PlutusCore.FsTree |
| FstPair | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| fstPair | PlutusCore.StdLib.Data.Pair |
| FsTree | PlutusCore.FsTree |
| ftvTerm | PlutusCore.Subst |
| ftvTy | PlutusCore.Subst |
| ftvTyCtx | PlutusCore.Subst |
| FunctionDef | |
| 1 (Type/Class) | PlutusCore.MkPlc, PlutusCore.StdLib.Data.Function |
| 2 (Data Constructor) | PlutusCore.MkPlc, PlutusCore.StdLib.Data.Function |
| functionDefToType | PlutusCore.MkPlc |
| functionDefVarDecl | PlutusCore.MkPlc |
| FunctionType | |
| 1 (Type/Class) | PlutusCore.MkPlc |
| 2 (Data Constructor) | PlutusCore.MkPlc |
| functionTypeToType | PlutusCore.MkPlc |
| funTyArgs | PlutusCore.Core, PlutusCore.Builtin.Debug |
| funType | PlutusCore.Parser |
| funTyResultType | PlutusCore.Core, PlutusCore.Builtin.Debug |
| fvTerm | PlutusCore.Subst |