plutus-core-1.0.0.1: Language library for Plutus Core

Index - F

FactorialPlutusCore.Examples.Builtins
FailingPlusPlutusCore.Examples.Builtins
FailingSuccPlutusCore.Examples.Builtins
FakeNamedDeBruijn 
1 (Type/Class)PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore
2 (Data Constructor)PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore
fakeNameDeBruijnPlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore
falsePlutusCore.StdLib.Data.Bool
firstPlutusPrelude
fixPlutusCore.StdLib.Data.Function
fixAndTypePlutusCore.StdLib.Data.Function
fixByPlutusCore.StdLib.Data.Function
fixByAndTypePlutusCore.StdLib.Data.Function
fixNPlutusCore.StdLib.Data.Function
fixNAndTypePlutusCore.StdLib.Data.Function
floatTermPlutusIR.Transform.LetFloat
foldPlutusPrelude
FoldArgsPlutusCore.Builtin
FolderContents 
1 (Type/Class)PlutusCore.FsTree
2 (Data Constructor)PlutusCore.FsTree
foldFsTreePlutusCore.FsTree
foldl'PlutusPrelude
foldList 
1 (Function)PlutusCore.StdLib.Data.ScottList
2 (Function)PlutusCore.StdLib.Data.List
foldMapMPlutusPrelude
foldNatPlutusCore.StdLib.Data.Nat
foldPlcFolderContentsPlutusCore.FsTree
foldPlcFsTreePlutusCore.FsTree
foldrInterListPlutusCore.Examples.Data.InterList
foldrList 
1 (Function)PlutusCore.StdLib.Data.ScottList
2 (Function)PlutusCore.StdLib.Data.List
foldrNatPlutusCore.StdLib.Data.Nat
forPlutusPrelude
ForceUntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
ForceFUntypedPlutusCore.Core, UntypedPlutusCore
forestConsPlutusCore.Examples.Data.TreeForest
forestDataPlutusCore.Examples.Data.TreeForest
forestNilPlutusCore.Examples.Data.TreeForest
formatPlutusCore
FreeIndexPlutusCore.DeBruijn, PlutusCore.Error, UntypedPlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore
freeIndexAsConsistentLevelPlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore
FreeTypeVariableEPlutusCore.Error
FreeUniquePlutusCore.DeBruijn, PlutusCore.Error, UntypedPlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore
FreeVariablePlutusCore.Error, PlutusCore.Check.Uniques, UntypedPlutusCore.Check.Uniques, PlutusCore
FreeVariableEPlutusCore.Error
FreeVariableErrorPlutusCore.DeBruijn, PlutusCore.Error, UntypedPlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore
FreeVariableErrorEPlutusCore.Error, PlutusCore
freshenNamePlutusCore.Quote
freshenTyNamePlutusCore.Quote
freshNamePlutusCore.Quote, PlutusCore
FreshStatePlutusCore.Quote
freshTyNamePlutusCore.Quote, PlutusCore
freshUniquePlutusCore.Quote, PlutusCore
fromBuiltinRuntimeOptionsPlutusCore.Builtin
fromConstantPlutusCore.Builtin
fromFakePlutusCore.DeBruijn
fromFoldablePlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore
fromMaybePlutusPrelude
fromNamesPlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore
fromRightPlutusPrelude
fromUniquesPlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore
FsFilePlutusCore.FsTree
FsFolderPlutusCore.FsTree
FstPairPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
fstPairPlutusCore.StdLib.Data.Pair
FsTreePlutusCore.FsTree
ftvBindingPlutusIR.Subst
ftvTerm 
1 (Function)PlutusCore.Subst
2 (Function)PlutusIR.Subst
ftvTyPlutusCore.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
functionDefToTypePlutusCore.MkPlc, PlutusIR.MkPir
functionDefVarDeclPlutusCore.MkPlc, PlutusIR.MkPir
FunctionType 
1 (Type/Class)PlutusCore.MkPlc, PlutusIR.MkPir
2 (Data Constructor)PlutusCore.MkPlc, PlutusIR.MkPir
functionTypeToTypePlutusCore.MkPlc, PlutusIR.MkPir
fvBindingPlutusIR.Subst
fvTerm 
1 (Function)PlutusCore.Subst
2 (Function)PlutusIR.Subst