Combined Plutus 1.39.0.0 Documentation

Index - F

FPlutusCore.Generators.NEAT.Spec
FaceValue 
1 (Type/Class)PlutusLedgerApi.Test.V1.Data.Value
2 (Data Constructor)PlutusLedgerApi.Test.V1.Data.Value
3 (Type/Class)PlutusLedgerApi.Test.V1.Value
4 (Data Constructor)PlutusLedgerApi.Test.V1.Value
FactorialPlutusCore.Examples.Builtins
factorialPlutusCore.Generators.Hedgehog.Interesting
FailingPlusPlutusCore.Examples.Builtins
FailingSuccPlutusCore.Examples.Builtins
failWithMessagePlutusCore.Crypto.Utils
FakeNamedDeBruijn 
1 (Type/Class)PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore
2 (Data Constructor)PlutusCore.DeBruijn.Internal
fakeNameDeBruijnPlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore
fakeTyNameDeBruijnPlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn
FalsePlutusTx.Bool, PlutusTx.Prelude
false 
1 (Function)PlutusCore.StdLib.Data.Bool
2 (Function)PlutusTx.Builtins.Internal
FileInputPlutusCore.Executable.Types, PlutusCore.Executable.Common
fileInputPlutusCore.Executable.Parsers
FileOutputPlutusCore.Executable.Types, PlutusCore.Executable.Common
fileOutputPlutusCore.Executable.Parsers
FilesPlutusCore.Executable.Types, PlutusCore.Executable.Common
filesPlutusCore.Executable.Parsers
fillAppContextPlutusIR.Contexts
filter 
1 (Function)PlutusTx.List, PlutusTx.Prelude
2 (Function)PlutusTx.Data.List
3 (Function)PlutusTx.AssocMap
finalVerifyPlutusCore.Crypto.BLS12_381.Pairing
find 
1 (Function)PlutusTx.List, PlutusTx.Prelude
2 (Function)PlutusTx.Data.List
findContinuingOutputs 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts
3 (Function)PlutusLedgerApi.V3.Contexts
4 (Function)PlutusLedgerApi.V1.Data.Contexts
5 (Function)PlutusLedgerApi.V2.Data.Contexts
6 (Function)PlutusLedgerApi.V3.Data.Contexts
findDatum 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts
3 (Function)PlutusLedgerApi.V3.Contexts
4 (Function)PlutusLedgerApi.V1.Data.Contexts
5 (Function)PlutusLedgerApi.V2.Data.Contexts
6 (Function)PlutusLedgerApi.V3.Data.Contexts
findDatumHash 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts
3 (Function)PlutusLedgerApi.V3.Contexts
4 (Function)PlutusLedgerApi.V1.Data.Contexts
5 (Function)PlutusLedgerApi.V2.Data.Contexts
6 (Function)PlutusLedgerApi.V3.Data.Contexts
FindFirstSetBitPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
findFirstSetBit 
1 (Function)PlutusCore.Bitwise
2 (Function)PlutusTx.Builtins.Internal
3 (Function)PlutusTx.Builtins, PlutusTx.Prelude
FindFirstSetBit'cpu'arguments'interceptPlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
FindFirstSetBit'cpu'arguments'slopePlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
FindFirstSetBit'memory'argumentsPlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
findHelpPlutusIR.Generators.QuickCheck.ShrinkTerms, PlutusIR.Generators.QuickCheck
findIndexPlutusTx.List, PlutusTx.Prelude
findIndices 
1 (Function)PlutusTx.List, PlutusTx.Prelude
2 (Function)PlutusTx.Data.List
findInstantiationPlutusIR.Generators.QuickCheck.GenerateTerms, PlutusIR.Generators.QuickCheck
findOwnInput 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts
3 (Function)PlutusLedgerApi.V3.Contexts
4 (Function)PlutusLedgerApi.V1.Data.Contexts
5 (Function)PlutusLedgerApi.V2.Data.Contexts
6 (Function)PlutusLedgerApi.V3.Data.Contexts
findTxInByTxOutRef 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts
3 (Function)PlutusLedgerApi.V3.Contexts
4 (Function)PlutusLedgerApi.V1.Data.Contexts
5 (Function)PlutusLedgerApi.V2.Data.Contexts
6 (Function)PlutusLedgerApi.V3.Data.Contexts
FinishUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
Finite 
1 (Data Constructor)PlutusLedgerApi.V1.Data.Interval, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
2 (Data Constructor)PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
firstPlutusPrelude
firstVersionPlutusCore.Version, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug
fitsUnderPlutusTx.Test
fixPlutusCore.StdLib.Data.Function
fixAndTypePlutusCore.StdLib.Data.Function
FixByPlutusIR.Compiler.Types
fixByPlutusCore.StdLib.Data.Function
fixByAndTypePlutusCore.StdLib.Data.Function
Fixity 
1 (Data Constructor)PlutusCore.Pretty.Readable, PlutusCore.Pretty
2 (Type/Class)PlutusCore.Pretty.Readable, PlutusCore.Pretty
3 (Type/Class)MAlonzo.RTE
4 (Data Constructor)MAlonzo.RTE
FixityOverPlutusCore.Pretty.Readable, PlutusCore.Pretty
fixKindPlutusCore.Generators.QuickCheck.ShrinkTypes, PlutusCore.Generators.QuickCheck
fixNPlutusCore.StdLib.Data.Function
fixNAndTypePlutusCore.StdLib.Data.Function
FixpointCombinatorPlutusIR.Compiler.Types
fixupTermPlutusIR.Generators.QuickCheck.ShrinkTerms, PlutusIR.Generators.QuickCheck
fixupTerm_PlutusIR.Generators.QuickCheck.ShrinkTerms, PlutusIR.Generators.QuickCheck
flagPlutusTx.Options
FlatPlutusCore.Executable.Types, PlutusCore.Executable.Common
flatMAlonzo.RTE
FlatNamedPlutusCore.Executable.Types, PlutusCore.Executable.Common
flattenCostRosePlutusCore.Evaluation.Machine.ExMemoryUsage
flattenObjectData.Aeson.Flatten
flattenValue 
1 (Function)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V1.Data.Value
FlatViaSerialise 
1 (Type/Class)Codec.Extras.FlatViaSerialise
2 (Data Constructor)Codec.Extras.FlatViaSerialise
flipPlutusTx.Base, PlutusTx.Prelude
FloatDelayUntypedPlutusCore.Transform.Simplifier
floatDelayUntypedPlutusCore.Transform.FloatDelay
floatTerm 
1 (Function)PlutusIR.Transform.LetFloatOut
2 (Function)PlutusIR.Transform.LetFloatIn
floatTermPass 
1 (Function)PlutusIR.Transform.LetFloatOut
2 (Function)PlutusIR.Transform.LetFloatIn
floatTermPassSC 
1 (Function)PlutusIR.Transform.LetFloatOut
2 (Function)PlutusIR.Transform.LetFloatIn
fmapPlutusTx.Functor, PlutusTx.Prelude
fmapDefaultPlutusTx.Traversable, PlutusTx.Prelude
fold 
1 (Function)PlutusPrelude
2 (Function)PlutusTx.Foldable, PlutusTx.Prelude
FoldablePlutusTx.Foldable, PlutusTx.Prelude
FoldArgsPlutusCore.Builtin.Meaning, PlutusCore.Builtin, PlutusCore.Builtin.Debug
FolderContents 
1 (Type/Class)PlutusCore.FsTree
2 (Data Constructor)PlutusCore.FsTree
foldFsTreePlutusCore.FsTree
foldl 
1 (Function)PlutusTx.List
2 (Function)PlutusTx.Foldable, PlutusTx.Prelude
foldl'PlutusPrelude
foldList 
1 (Function)PlutusCore.StdLib.Data.ScottList
2 (Function)PlutusCore.StdLib.Data.List
foldMap 
1 (Function)PlutusTx.Foldable, PlutusTx.Prelude
2 (Function)PlutusTx.Data.List
foldMapDefaultPlutusTx.Traversable, PlutusTx.Prelude
foldMapMPlutusPrelude
foldNatPlutusCore.StdLib.Data.Nat
foldPlcFolderContentsPlutusCore.FsTree
foldPlcFsTreePlutusCore.FsTree
foldr 
1 (Function)PlutusTx.List
2 (Function)PlutusTx.Foldable, PlutusTx.Prelude
3 (Function)PlutusTx.Data.AssocMap
foldrInterListPlutusCore.Examples.Data.InterList
foldrList 
1 (Function)PlutusCore.StdLib.Data.ScottList
2 (Function)PlutusCore.StdLib.Data.List
foldrNatPlutusCore.StdLib.Data.Nat
for 
1 (Function)PlutusPrelude
2 (Function)PlutusTx.Traversable, PlutusTx.Prelude
forAllDocPlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck
ForallFortyTwoPlutusCore.Examples.Builtins
forAllNoShowPlutusCore.Generators.Hedgehog.Utils, PlutusCore.Generators.Hedgehog
forAllNoShowTPlutusCore.Generators.Hedgehog.Utils, PlutusCore.Generators.Hedgehog
forAllPrettyPlutusCore.Generators.Hedgehog.Utils, PlutusCore.Generators.Hedgehog
forAllPrettyPlcPlutusCore.Generators.Hedgehog.Utils, PlutusCore.Generators.Hedgehog
forAllPrettyPlcTPlutusCore.Generators.Hedgehog.Utils, PlutusCore.Generators.Hedgehog
forAllPrettyTPlutusCore.Generators.Hedgehog.Utils, PlutusCore.Generators.Hedgehog
ForceUntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
forcePlutusTx.Compiler.Laziness
ForceDelayUntypedPlutusCore.Transform.Simplifier
forceDelayUntypedPlutusCore.Transform.ForceDelay
forestConsPlutusCore.Examples.Data.TreeForest
forestDataPlutusCore.Examples.Data.TreeForest
forestNilPlutusCore.Examples.Data.TreeForest
FormatPlutusCore.Executable.Types, PlutusCore.Executable.Common
formatHelpPlutusCore.Executable.Parsers
formatReaderPlutusCore.Executable.Parsers
for_ 
1 (Function)PlutusPrelude
2 (Function)PlutusTx.Foldable, PlutusTx.Prelude
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
FreeIndexPlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore.Error, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore
freeIndexAsConsistentLevelPlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore
freeIndexThrowPlutusCore.DeBruijn.Internal
FreeTUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
FreeTypeVariableEPlutusCore.Error
FreeUniquePlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore.Error, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore
freeUniqueThrowPlutusCore.DeBruijn.Internal
FreeVariablePlutusCore.Error, PlutusCore.Check.Uniques, PlutusCore, UntypedPlutusCore.Check.Uniques, PlutusIR.Check.Uniques
FreeVariableEPlutusCore.Error
FreeVariableError 
1 (Type/Class)PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore.Error, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore
2 (Data Constructor)Raw
3 (Data Constructor)PlutusTx.Compiler.Error
FreeVariableErrorEPlutusCore.Error, PlutusCore
frequencyPlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck
freshenNamePlutusCore.Quote
freshenTyNamePlutusCore.Quote
freshenTyNameWithPlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck
freshNamePlutusCore.Quote, PlutusCore
freshNameStringsPlutusCore.Generators.NEAT.Common
FreshStatePlutusCore.Quote
freshTyNamePlutusCore.Quote, PlutusCore
freshUniquePlutusCore.Quote, PlutusCore
from 
1 (Function)PlutusLedgerApi.V1.Data.Interval, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
2 (Function)PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
FromBuiltinPlutusTx.Builtins.HasBuiltin
fromBuiltinPlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusTx.Builtins.HasBuiltin, PlutusTx.Builtins, PlutusTx.Prelude
fromBuiltinDataPlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusTx.IsData.Class, PlutusTx.IsData, PlutusTx
fromBytesPlutusLedgerApi.V1.Bytes, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
fromConstantPlutusCore.Builtin.HasConstant, PlutusCore.Builtin
FromDataPlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusTx.IsData.Class, PlutusTx.IsData, PlutusTx
fromDataPlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusTx.IsData.Class, PlutusTx.IsData, PlutusTx
fromEnumPlutusTx.Enum, PlutusTx.Prelude
fromFakePlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn
fromFoldable 
1 (Function)PlutusCore.Name.UniqueSet
2 (Function)PlutusCore.Name.UniqueMap
fromGHCPlutusLedgerApi.V3, PlutusLedgerApi.Data.V3, PlutusTx.Ratio
fromHexPlutusLedgerApi.V1.Bytes, PlutusLedgerApi.V1
fromIntegerPlutusTx.Ratio, PlutusTx.Prelude
fromInterestingTermGensPlutusCore.Generators.Hedgehog.Interesting
fromMaybe 
1 (Function)PlutusPrelude
2 (Function)PlutusTx.Maybe, PlutusTx.Prelude
fromMilliSeconds 
1 (Function)PlutusLedgerApi.V1.Data.Time
2 (Function)PlutusLedgerApi.V1.Time, PlutusLedgerApi.V1
fromNamedDeBruijnUPLCPlutusCore.Executable.AstIO
fromNames 
1 (Function)PlutusCore.Name.UniqueSet
2 (Function)PlutusCore.Name.UniqueMap
fromOpaquePlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusTx.Builtins.HasOpaque, PlutusTx.Builtins, PlutusTx.Prelude
fromPatFuncKindPlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
fromReadOptionPlutusTx.Options
fromRightPlutusPrelude
fromRightMData.Either.Extras
fromSatIntData.SatInt, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
fromSOPPlutusTx.Data.List
fromUniques 
1 (Function)PlutusCore.Name.UniqueSet
2 (Function)PlutusCore.Name.UniqueMap
fromValuePlutusCore.Builtin.HasConstant, PlutusCore.Builtin
fromValueOfPlutusCore.Builtin.HasConstant, PlutusCore.Builtin
fromZPlutusCore.Generators.NEAT.Common
FSPlutusCore.Generators.NEAT.Common
FsFilePlutusCore.FsTree
FsFolderPlutusCore.FsTree
fst 
1 (Function)PlutusTx.Base, PlutusTx.Prelude
2 (Function)PlutusTx.Builtins.Internal
FstPairPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
fstPairPlutusCore.StdLib.Data.Pair
FstPair'cpu'arguments 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
FstPair'memory'arguments 
1 (Data Constructor)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
FsTreePlutusCore.FsTree
ftvBindingPlutusIR.Subst
ftvTerm 
1 (Function)PlutusCore.Subst
2 (Function)PlutusIR.Subst
ftvTyPlutusCore.Subst, PlutusIR.Subst
ftvTyCtxPlutusCore.Subst
fun0var0UntypedPlutusCore.Test.DeBruijn.Bad
fun1var0UntypedPlutusCore.Test.DeBruijn.Bad
fun1var1UntypedPlutusCore.Test.DeBruijn.Bad
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
FunctorPlutusTx.Functor, PlutusTx.Prelude
funTyArgsPlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug
funTypePlutusCore.Parser.Type, PlutusCore.Parser
funTyResultTypePlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug
futurePVPlutusLedgerApi.Common.ProtocolVersions, PlutusLedgerApi.Common.Versions
fvBindingPlutusIR.Subst
FVErrorPPlutusCore.Generators.NEAT.Spec
fvTerm 
1 (Function)PlutusCore.Subst
2 (Function)PlutusIR.Subst
fvTypeBagPlutusCore.Generators.QuickCheck.Substitutions, PlutusCore.Generators.QuickCheck
fvTypeRPlutusCore.Generators.QuickCheck.Substitutions, PlutusCore.Generators.QuickCheck
FZPlutusCore.Generators.NEAT.Common