Moduleplutus-core-1.70.0.0

PlutusCore.StdLib.Data.ScottList

12 values

Packageplutus-core-1.70.0.0
Exports12
LicenceApache-2.0

valuecons :: TermLike term TyName Name uni fun => term ()

value

enumFromTo :: (TermLike term TyName Name uni DefaultFun, HasTypeAndTermLevel uni Integer, HasTypeAndTermLevel uni (), HasTypeAndTermLevel uni Bool) => term ()

valuefoldList :: TermLike term TyName Name uni fun => term ()

valuefoldrList :: TermLike term TyName Name uni fun => term ()

valuelistData :: RecursiveType uni fun ()

valuelistTy :: Type TyName uni ()

valuemap :: TermLike term TyName Name uni fun => term ()

valuenil :: TermLike term TyName Name uni fun => term ()

valueproduct :: (TermLike term TyName Name uni DefaultFun, HasTypeAndTermLevel uni Integer) => term ()

valuereverse :: TermLike term TyName Name uni fun => term ()

valuesum :: (TermLike term TyName Name uni DefaultFun, HasTypeAndTermLevel uni Integer) => term ()

valuesumr :: (TermLike term TyName Name uni DefaultFun, HasTypeAndTermLevel uni Integer) => term ()