plutus-core-1.0.0.1: Language library for Plutus Core

Index - F

Factorial PlutusCore.Examples.Builtins
FailingPlus PlutusCore.Examples.Builtins
FailingSucc PlutusCore.Examples.Builtins
FakeNamedDeBruijn
1 (Type/Class) PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , UntypedPlutusCore
2 (Data Constructor) PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , UntypedPlutusCore
fakeNameDeBruijn PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , UntypedPlutusCore
false PlutusCore.StdLib.Data.Bool
first PlutusPrelude
fix PlutusCore.StdLib.Data.Function
fixAndType PlutusCore.StdLib.Data.Function
fixBy PlutusCore.StdLib.Data.Function
fixByAndType PlutusCore.StdLib.Data.Function
fixN PlutusCore.StdLib.Data.Function
fixNAndType PlutusCore.StdLib.Data.Function
floatTerm PlutusIR.Transform.LetFloat
fold PlutusPrelude
FoldArgs PlutusCore.Builtin
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
Force UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
ForceF UntypedPlutusCore.Core , UntypedPlutusCore
forestCons PlutusCore.Examples.Data.TreeForest
forestData PlutusCore.Examples.Data.TreeForest
forestNil PlutusCore.Examples.Data.TreeForest
format PlutusCore
FreeIndex PlutusCore.DeBruijn , PlutusCore.Error , UntypedPlutusCore.DeBruijn , PlutusCore , UntypedPlutusCore
freeIndexAsConsistentLevel PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , UntypedPlutusCore
FreeTypeVariableE PlutusCore.Error
FreeUnique PlutusCore.DeBruijn , PlutusCore.Error , UntypedPlutusCore.DeBruijn , PlutusCore , UntypedPlutusCore
FreeVariable PlutusCore.Error , PlutusCore.Check.Uniques , UntypedPlutusCore.Check.Uniques , PlutusCore
FreeVariableE PlutusCore.Error
FreeVariableError PlutusCore.DeBruijn , PlutusCore.Error , UntypedPlutusCore.DeBruijn , PlutusCore , 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
fromBuiltinRuntimeOptions PlutusCore.Builtin
fromConstant PlutusCore.Builtin
fromFake PlutusCore.DeBruijn
fromFoldable PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
fromMaybe PlutusPrelude
fromNames PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
fromRight PlutusPrelude
fromUniques PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
FsFile PlutusCore.FsTree
FsFolder PlutusCore.FsTree
FstPair PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
fstPair PlutusCore.StdLib.Data.Pair
FsTree PlutusCore.FsTree
ftvBinding PlutusIR.Subst
ftvTerm
1 (Function) PlutusCore.Subst
2 (Function) PlutusIR.Subst
ftvTy PlutusCore.Subst , PlutusIR.Subst
FunctionDef
1 (Type/Class) PlutusCore.MkPlc , PlutusCore.StdLib.Data.Function , PlutusIR.MkPir
2 (Data Constructor) PlutusCore.MkPlc , PlutusCore.StdLib.Data.Function , PlutusIR.MkPir
functionDefToType PlutusCore.MkPlc , PlutusIR.MkPir
functionDefVarDecl PlutusCore.MkPlc , PlutusIR.MkPir
FunctionType
1 (Type/Class) PlutusCore.MkPlc , PlutusIR.MkPir
2 (Data Constructor) PlutusCore.MkPlc , PlutusIR.MkPir
functionTypeToType PlutusCore.MkPlc , PlutusIR.MkPir
fvBinding PlutusIR.Subst
fvTerm
1 (Function) PlutusCore.Subst
2 (Function) PlutusIR.Subst