liqwid-plutarch-extra-3.21.1: A collection of Plutarch extras from Liqwid Labs

Index

##Plutarch.Extra.Precompile
###Plutarch.Extra.Precompile
###~Plutarch.Extra.Precompile
##~Plutarch.Extra.Precompile
#$>Plutarch.Extra.Functor
#%Plutarch.Extra.Rational
#*>Plutarch.Extra.Applicative
#.*Plutarch.Extra.Function
#.**Plutarch.Extra.Function
#.***Plutarch.Extra.Function
#<!>Plutarch.Extra.Applicative
#<$Plutarch.Extra.Functor
#<$>Plutarch.Extra.Functor
#<&>Plutarch.Extra.Functor
#<*Plutarch.Extra.Applicative
#<*>Plutarch.Extra.Applicative
#<<<Plutarch.Extra.Category
#>>=Plutarch.Extra.Bind
#>>>Plutarch.Extra.Category
#^Plutarch.Extra.Numeric
$sel:getMultiSig:PMultiSigPlutarch.Extra.MultiSig
$sel:name:AssetClassPlutarch.Extra.AssetClass
$sel:numerator:FixedDecimalPlutarch.Extra.FixedDecimal
$sel:pname:PAssetClassPlutarch.Extra.AssetClass
$sel:psymbol:PAssetClassPlutarch.Extra.AssetClass
$sel:symbol:AssetClassPlutarch.Extra.AssetClass
+Plutarch.Numeric.Additive
.&Plutarch.Extra.Record
.=Plutarch.Extra.Record
:>Plutarch.Extra.ExchangeRate
adaClassPlutarch.Extra.AssetClass
AdaClassPresencePlutarch.Extra.AssetClass
adaSymbolDataPlutarch.Extra.AssetClass
AddGuaranteesPlutarch.Extra.Value
AdditiveMonoidPlutarch.Numeric.Additive
AdditiveSemigroupPlutarch.Numeric.Additive
AnyTokenPlutarch.Extra.ExtendedAssetClass
applyArgumentsPlutarch.Extra.Script
applyCompiledTermPlutarch.Extra.Precompile
applyCompiledTerm'Plutarch.Extra.Precompile
applyCompiledTerm2Plutarch.Extra.Precompile
applyCompiledTerm2'Plutarch.Extra.Precompile
applyDebuggableArgPlutarch.Extra.DebuggableScript
applyDebuggableScriptPlutarch.Extra.DebuggableScript
applyScriptPlutarch.Extra.DebuggableScript
AssetClass 
1 (Type/Class)Plutarch.Extra.AssetClass
2 (Data Constructor)Plutarch.Extra.AssetClass
assetClassValuePlutarch.Extra.AssetClass
checkedCompileDPlutarch.Extra.DebuggableScript
compile'Plutarch.Extra.Precompile
CompiledTerm 
1 (Type/Class)Plutarch.Extra.Precompile
2 (Data Constructor)Plutarch.Extra.Precompile
convertExpPlutarch.Extra.FixedDecimal
DebuggableScriptPlutarch.Extra.DebuggableScript
debuggableScriptPlutarch.Extra.Precompile
DerivePConstantEnumPlutarch.Extra.IsData
DerivePConstantViaDataList 
1 (Type/Class)Plutarch.Extra.IsData
2 (Data Constructor)Plutarch.Extra.IsData
DerivePConstantViaEnumPlutarch.Extra.IsData
dividePlutarch.Extra.Fixed
DivideMonoidPlutarch.Extra.Fixed
DivideSemigroupPlutarch.Extra.Fixed
divRationalPlutarch.Extra.Rational
divTruncatePlutarch.Extra.Rational
edivPlutarch.Extra.FixedDecimal
emptyTokenNameDataPlutarch.Extra.AssetClass
emulPlutarch.Extra.FixedDecimal
EnumIsData 
1 (Type/Class)Plutarch.Extra.IsData
2 (Data Constructor)Plutarch.Extra.IsData
eqClassesPlutarch.Extra.ExtendedAssetClass
exchangeFromPlutarch.Extra.ExchangeRate
exchangeFromTruncatePlutarch.Extra.ExchangeRate
exchangeToPlutarch.Extra.ExchangeRate
exchangeToTruncatePlutarch.Extra.ExchangeRate
extendedAdaClassPlutarch.Extra.ExtendedAssetClass
ExtendedAssetClassPlutarch.Extra.ExtendedAssetClass
FieldNamePlutarch.Extra.Record
finalEvalDebuggableScriptPlutarch.Extra.DebuggableScript
FixedDecimal 
1 (Type/Class)Plutarch.Extra.FixedDecimal
2 (Data Constructor)Plutarch.Extra.FixedDecimal
fixedDenominatorPlutarch.Extra.FixedDecimal
fixedNumeratorPlutarch.Extra.FixedDecimal
fixedToAdaValuePlutarch.Extra.Fixed
FixedTokenPlutarch.Extra.ExtendedAssetClass
fromFixedZeroPlutarch.Extra.FixedDecimal
fromPDThesePlutarch.Extra.These
FromPInner 
1 (Type/Class)Plutarch.Extra.Deriving
2 (Data Constructor)Plutarch.Extra.Deriving
fromPIntegerPlutarch.Extra.Fixed
fullyBoundedTimeRangeFromValidRangePlutarch.Extra.Time
GenAssetClass 
1 (Type/Class)Plutarch.Extra.AssetClass
2 (Data Constructor)Plutarch.Extra.AssetClass
guaranteePlutarch.Extra.Optics
guaranteesPlutarch.Extra.Optics
HasLabelledPlutarch.Extra.Optics
HasLabelledGettersPlutarch.Extra.Optics
inspectPlutarch.Extra.Optics
inspectsPlutarch.Extra.Optics
isAdaClassPlutarch.Extra.AssetClass
isExtendedAdaClassPlutarch.Extra.ExtendedAssetClass
mapBoringPlutarch.Extra.Boring
mkMultiSigPlutarch.Extra.MultiSig
mkRecordPlutarch.Extra.Record
mkRecordConstrPlutarch.Extra.Record
mulDivTruncatePlutarch.Extra.Rational
mulRationalPlutarch.Extra.Rational
MultiSigPlutarch.Extra.MultiSig
mulTruncatePlutarch.Extra.Rational
mustCompilePlutarch.Extra.Compile
mustCompileDPlutarch.Extra.DebuggableScript
mustCompileTracingPlutarch.Extra.Compile
mustEvalDPlutarch.Extra.DebuggableScript
mustEvalScriptPlutarch.Extra.DebuggableScript
mustFinalEvalDebuggableScriptPlutarch.Extra.DebuggableScript
onePlutarch.Extra.Fixed
padaClassPlutarch.Extra.AssetClass
padaOfPlutarch.Extra.Value
paddressFromPubKeyHashPlutarch.Extra.ScriptContext
paddressFromScriptHashPlutarch.Extra.ScriptContext
padjustPlutarch.Extra.Map
PAll 
1 (Type/Class)Plutarch.Extra.Monoid
2 (Data Constructor)Plutarch.Extra.Monoid
pallPlutarch.Extra.Traversable
pallUniquePlutarch.Extra.Ord
pallUniqueByPlutarch.Extra.Ord
PAltPlutarch.Extra.Applicative
paltPlutarch.Extra.Applicative
PAlternativePlutarch.Extra.Applicative
PAny 
1 (Type/Class)Plutarch.Extra.Monoid
2 (Data Constructor)Plutarch.Extra.Monoid
panyPlutarch.Extra.Traversable
PAnyTokenPlutarch.Extra.ExtendedAssetClass
PApplicativePlutarch.Extra.Applicative
PApplyPlutarch.Extra.Applicative
papplyPlutarch.Extra.Function
papplyStarPlutarch.Extra.Star
passertPlutarch.Extra.Bool
passertFullyBoundedTimeRangePlutarch.Extra.Time
PAssetClass 
1 (Type/Class)Plutarch.Extra.AssetClass
2 (Data Constructor)Plutarch.Extra.AssetClass
passetClassPlutarch.Extra.AssetClass
PAssetClassData 
1 (Type/Class)Plutarch.Extra.AssetClass
2 (Data Constructor)Plutarch.Extra.AssetClass
passetClassDataPlutarch.Extra.AssetClass
passetClassDataTPlutarch.Extra.AssetClass
passetClassDataValuePlutarch.Extra.Value
passetClassDataValueOfPlutarch.Extra.Value
passetClassDataValueOfTPlutarch.Extra.Value
passetClassDataValueTPlutarch.Extra.Value
passetClassTPlutarch.Extra.AssetClass
passetClassValueOfPlutarch.Extra.Value
passetClassValueOf'Plutarch.Extra.Value
passetClassValueOfTPlutarch.Extra.Value
passetClassValueOfT'Plutarch.Extra.Value
PBifunctorPlutarch.Extra.Functor
pbimapPlutarch.Extra.Functor
PBindPlutarch.Extra.Bind
PBoringPlutarch.Extra.Boring
pboringPlutarch.Extra.Boring
pbuiltinUncurryPlutarch.Extra.Function
pbyClassComparatorPlutarch.Extra.Value
pbyClassComparator'Plutarch.Extra.Value
pbySymbolComparatorPlutarch.Extra.Value
PCategoryPlutarch.Extra.Category
PComonadPlutarch.Extra.Comonad
PComparatorPlutarch.Extra.Ord
pcomparePlutarch.Extra.Bool
pcompareByPlutarch.Extra.Ord
pcondPlutarch.Extra.Bool
PConst 
1 (Type/Class)Plutarch.Extra.Const
2 (Data Constructor)Plutarch.Extra.Const
pconst 
1 (Function)Plutarch.Extra.Function
2 (Function)Plutarch.Extra.Category
pconstantClassPlutarch.Extra.AssetClass
pconstantClassTPlutarch.Extra.AssetClass
PContraSubcategoryPlutarch.Extra.Profunctor
pconvertExpPlutarch.Extra.FixedDecimal
PCoSubcategoryPlutarch.Extra.Profunctor
pcountNonZeroesPlutarch.Extra.Value
pdeleteFirstPlutarch.Extra.List
pdeleteFirstByPlutarch.Extra.List
pdimapPlutarch.Extra.Profunctor
PDThatPlutarch.Extra.These
PDThese 
1 (Type/Class)Plutarch.Extra.These
2 (Data Constructor)Plutarch.Extra.These
pdthesePlutarch.Extra.These
PDThisPlutarch.Extra.These
pedivPlutarch.Extra.FixedDecimal
pelimValuePlutarch.Extra.Value
pemptyPlutarch.Extra.Applicative
pemulPlutarch.Extra.FixedDecimal
PEQPlutarch.Extra.Ord
peqClassesPlutarch.Extra.ExtendedAssetClass
pequateByPlutarch.Extra.Ord
pevalStatePlutarch.Extra.State
pevenPlutarch.Extra.Numeric
pexecStatePlutarch.Extra.State
PExtendPlutarch.Extra.Comonad
pextendPlutarch.Extra.Comonad
pextendedAdaClassPlutarch.Extra.ExtendedAssetClass
PExtendedAssetClassPlutarch.Extra.ExtendedAssetClass
pextendedAssetClassValueOfPlutarch.Extra.ExtendedAssetClass
pextendedAssetClassValueOf'Plutarch.Extra.ExtendedAssetClass
pextractPlutarch.Extra.Comonad
pfconstPlutarch.Extra.Functor
pfindJustPlutarch.Extra.List
pfindOutputsToAddressPlutarch.Extra.ScriptContext
pfindOwnInputPlutarch.Extra.ScriptContext
pfindTxInByTxOutRefPlutarch.Extra.ScriptContext
pfirstPlutarch.Extra.Functor
PFixed 
1 (Type/Class)Plutarch.Extra.Fixed
2 (Data Constructor)Plutarch.Extra.Fixed
PFixedDecimal 
1 (Type/Class)Plutarch.Extra.FixedDecimal
2 (Data Constructor)Plutarch.Extra.FixedDecimal
pfixedDenominatorPlutarch.Extra.FixedDecimal
pfixedNumeratorPlutarch.Extra.FixedDecimal
PFixedTokenPlutarch.Extra.ExtendedAssetClass
pflipPlutarch.Extra.Function
pfmapPlutarch.Extra.Functor
pfoldPlutarch.Extra.Traversable
pfoldComonadPlutarch.Extra.Traversable
pfoldlWithKeyPlutarch.Extra.Map
pfoldMapPlutarch.Extra.Traversable
pfoldMapWithKeyPlutarch.Extra.Map
pfromFixedDecimalPlutarch.Extra.FixedDecimal
pfromFixedZeroPlutarch.Extra.FixedDecimal
pfromListPlutarch.Extra.List
pfromOrdPlutarch.Extra.Ord
pfromOrdByPlutarch.Extra.Ord
pfromOutputDatumPlutarch.Extra.ScriptContext
pfromPDatumPlutarch.Extra.ScriptContext
pfromScottEncodingPlutarch.Extra.AssetClass
pfromSingletonPlutarch.Extra.List
pfstTuplePlutarch.Extra.Tuple
PFullyBoundedTimeRange 
1 (Type/Class)Plutarch.Extra.Time
2 (Data Constructor)Plutarch.Extra.Time
PFunctorPlutarch.Extra.Functor
pgeqByPlutarch.Extra.Ord
pgeqMapByPlutarch.Extra.Ord
pgeqValueByPlutarch.Extra.Ord
pgetPlutarch.Extra.State
pgetAllPlutarch.Extra.Monoid
pgetAnyPlutarch.Extra.Monoid
pgetFullyBoundedTimeRangePlutarch.Extra.Time
pgreaterThanByPlutarch.Extra.Ord
pgreaterThanMapByPlutarch.Extra.Ord
pgreaterThanValueByPlutarch.Extra.Ord
PGTPlutarch.Extra.Ord
pguardCPlutarch.Extra.TermCont
pguardC'Plutarch.Extra.TermCont
pguardShowCPlutarch.Extra.TermCont
pguardWithCPlutarch.Extra.TermCont
phandleListPlutarch.Extra.List
phandleMinPlutarch.Extra.Map
phasOneTokenOfAssetClassPlutarch.Extra.Value
phasOneTokenOfAssetClassDataPlutarch.Extra.Value
phasOneTokenOfCurrencySymbolPlutarch.Extra.Value
phasOnlyOneTokenOfCurrencySymbolPlutarch.Extra.Value
PIdentity 
1 (Type/Class)Plutarch.Extra.Identity
2 (Data Constructor)Plutarch.Extra.Identity
pidentity 
1 (Function)Plutarch.Extra.Function
2 (Function)Plutarch.Extra.Category
pinsertUniqueByPlutarch.Extra.Ord
pisExtendedAdaClassPlutarch.Extra.ExtendedAssetClass
pisPubKeyPlutarch.Extra.ScriptContext
pisScriptAddressPlutarch.Extra.ScriptContext
pisSingletonPlutarch.Extra.List
pisSortedByPlutarch.Extra.Ord
pisTimeRangeWithinPlutarch.Extra.Time
pisTokenSpentPlutarch.Extra.ScriptContext
pisUTXOSpentPlutarch.Extra.ScriptContext
pisWithinTimeRangePlutarch.Extra.Time
pjoinPlutarch.Extra.Bind
pkeysPlutarch.Extra.Map
pkeysEqualPlutarch.Extra.Map
pkeysEqualUnsortedPlutarch.Extra.Map
pkvPairKeyPlutarch.Extra.Map
pkvPairLtPlutarch.Extra.Map
pkvPairValuePlutarch.Extra.Map
plengthPlutarch.Extra.Traversable
pleqByPlutarch.Extra.Ord
pleqMapByPlutarch.Extra.Ord
pleqValueByPlutarch.Extra.Ord
plessThanByPlutarch.Extra.Ord
plessThanMapByPlutarch.Extra.Ord
plessThanValueByPlutarch.Extra.Ord
pletAllPlutarch.Extra.Field
pletAllCPlutarch.Extra.Field
pletCPlutarch.Extra.TermCont
pletFieldsCPlutarch.Extra.TermCont
pliftA2Plutarch.Extra.Applicative
pliftCompiledPlutarch.Extra.Precompile
pliftCompiled'Plutarch.Extra.Precompile
pliftTaggedRationalPlutarch.Extra.Rational
plistEqualsByPlutarch.Extra.List
plmapPlutarch.Extra.Profunctor
plookupAssocPlutarch.Extra.List
plookupGePlutarch.Extra.Map
PLTPlutarch.Extra.Ord
PlutPlutarch.Extra.Functor
PlutusTypeDataListPlutarch.Extra.IsData
PlutusTypeEnumDataPlutarch.Extra.IsData
pmapComparatorPlutarch.Extra.Ord
pmapMaybePlutarch.Extra.List
pmatchCPlutarch.Extra.TermCont
pmatchEnumPlutarch.Extra.IsData
pmatchEnumFromDataPlutarch.Extra.IsData
pmatchValueAssetsPlutarch.Extra.Value
pmaxPlutarch.Extra.Ord
pmaxByPlutarch.Extra.Ord
pminPlutarch.Extra.Ord
pminByPlutarch.Extra.Ord
pmodifyPlutarch.Extra.State
PMultiSig 
1 (Type/Class)Plutarch.Extra.MultiSig
2 (Data Constructor)Plutarch.Extra.MultiSig
PMultiSigContextPlutarch.Extra.MultiSig
pmultiSigContextPlutarch.Extra.MultiSig
pnoReducePlutarch.Extra.Rational
pnubSortPlutarch.Extra.Ord
pnubSortByPlutarch.Extra.Ord
ponPlutarch.Extra.Function
POrderingPlutarch.Extra.Ord
pownMintValuePlutarch.Extra.ScriptContext
pownTxInfoPlutarch.Extra.ScriptContext
pownTxOutRefPlutarch.Extra.ScriptContext
PProfunctorPlutarch.Extra.Profunctor
ppurePlutarch.Extra.Applicative
ppureIfPlutarch.Extra.Applicative
pputPlutarch.Extra.State
PRationalNoReduce 
1 (Type/Class)Plutarch.Extra.Rational
2 (Data Constructor)Plutarch.Extra.Rational
precListLookaheadPlutarch.Extra.List
preconstPlutarch.Extra.Const
precValuePlutarch.Extra.Value
preduce'Plutarch.Extra.Rational
preplicatePlutarch.Extra.List
preplicateAPlutarch.Extra.Applicative
preplicateA_Plutarch.Extra.Applicative
presolveOutputDatumPlutarch.Extra.ScriptContext
pretagPlutarch.Extra.Tagged
preverseComparatorPlutarch.Extra.Ord
prmapPlutarch.Extra.Profunctor
ProductIsData 
1 (Type/Class)Plutarch.Extra.IsData
2 (Data Constructor)Plutarch.Extra.IsData
prunStatePlutarch.Extra.State
pscriptHashFromAddressPlutarch.Extra.ScriptContext
pscriptHashToTokenNamePlutarch.Extra.ScriptContext
psecondPlutarch.Extra.Functor
psemifoldPlutarch.Extra.Traversable
psemifoldComonadPlutarch.Extra.Traversable
psemifoldMapPlutarch.Extra.Traversable
PSemigroupoidPlutarch.Extra.Category
PSemiTraversablePlutarch.Extra.Traversable
psemitraversePlutarch.Extra.Traversable
psemitraverse_Plutarch.Extra.Traversable
psingleValuePlutarch.Extra.Value
psingleValue'Plutarch.Extra.Value
psingleValueT'Plutarch.Extra.Value
psndTuplePlutarch.Extra.Tuple
psortPlutarch.Extra.Ord
psortByPlutarch.Extra.Ord
psortedMapFromFoldablePlutarch.Extra.Map
psplitValuePlutarch.Extra.Value
PStar 
1 (Type/Class)Plutarch.Extra.Star
2 (Data Constructor)Plutarch.Extra.Star
PStatePlutarch.Extra.State
pstatePlutarch.Extra.State
PSubcategoryPlutarch.Extra.Functor
PSubcategoryLeftPlutarch.Extra.Functor
PSubcategoryRightPlutarch.Extra.Functor
PSum 
1 (Type/Class)Plutarch.Extra.Sum
2 (Data Constructor)Plutarch.Extra.Sum
psumPlutarch.Extra.Traversable
psymbolAssetClassPlutarch.Extra.AssetClass
psymbolAssetClassTPlutarch.Extra.AssetClass
psymbolValueOfPlutarch.Extra.Value
psymbolValueOf'Plutarch.Extra.Value
PTagged 
1 (Type/Class)Plutarch.Extra.Tagged
2 (Data Constructor)Plutarch.Extra.Tagged
PThatPlutarch.Extra.These
PThese 
1 (Type/Class)Plutarch.Extra.These
2 (Data Constructor)Plutarch.Extra.These
pthesePlutarch.Extra.These
PThisPlutarch.Extra.These
ptimeRangeDurationPlutarch.Extra.Time
ptoFixedDecimalPlutarch.Extra.FixedDecimal
ptoFixedZeroPlutarch.Extra.FixedDecimal
ptoRationalPlutarch.Extra.FixedDecimal
ptoScottEncodingPlutarch.Extra.AssetClass
ptraceCPlutarch.Extra.TermCont
PTraversablePlutarch.Extra.Traversable
ptraversePlutarch.Extra.Traversable
ptraverse_Plutarch.Extra.Traversable
ptryAllUniquePlutarch.Extra.Ord
ptryAllUniqueByPlutarch.Extra.Ord
ptryDeleteFirstByPlutarch.Extra.List
ptryElimSinglePlutarch.Extra.List
ptryFromCPlutarch.Extra.TermCont
ptryFromDatumHashPlutarch.Extra.ScriptContext
ptryFromInlineDatumPlutarch.Extra.ScriptContext
ptryFromOutputDatumPlutarch.Extra.ScriptContext
ptryFromRedeemerPlutarch.Extra.ScriptContext
ptryFromSingletonPlutarch.Extra.List
ptryLookupPlutarch.Extra.Map
ptryMergePlutarch.Extra.Ord
ptryMergeByPlutarch.Extra.Ord
ptryOwnInputPlutarch.Extra.ScriptContext
ptryOwnValuePlutarch.Extra.ScriptContext
ptryResolveOutputDatumPlutarch.Extra.ScriptContext
ptxSignedByPlutarch.Extra.ScriptContext
punlessPlutarch.Extra.Applicative
punsafeMkFixedDecimalPlutarch.Extra.FixedDecimal
punsafeToAssetClassPlutarch.Extra.ExtendedAssetClass
punsafeToAssetClassDataPlutarch.Extra.ExtendedAssetClass
punsortedMapFromFoldablePlutarch.Extra.Map
pupdatePlutarch.Extra.Map
pvalidatedByMultisigPlutarch.Extra.MultiSig
pvaluePlutarch.Extra.Value
pvaluePositivePlutarch.Extra.Value
pvalueSpentPlutarch.Extra.ScriptContext
pviaScottEncodingPlutarch.Extra.AssetClass
pvoidPlutarch.Extra.Functor
pwhenPlutarch.Extra.Applicative
pwithStateThreadPlutarch.Extra.StateThread
pwithStateThreadMultiPlutarch.Extra.StateThread
RecordMorphismPlutarch.Extra.Record
scriptHashToTokenNamePlutarch.Extra.ScriptContext
toDebuggableScriptPlutarch.Extra.Precompile
toFixedZeroPlutarch.Extra.FixedDecimal
toPDThesePlutarch.Extra.These
toPIntegerPlutarch.Extra.Fixed
unProductIsDataPlutarch.Extra.IsData
unsafeToAssetClassPlutarch.Extra.ExtendedAssetClass
validatedByMultisigPlutarch.Extra.MultiSig
WithAdaClassPlutarch.Extra.AssetClass
WithoutAdaClassPlutarch.Extra.AssetClass
withStateThreadPlutarch.Extra.StateThread
withStateThreadMultiPlutarch.Extra.StateThread
zeroPlutarch.Numeric.Additive