Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Moduleplutus-core-1.70.0.0

PlutusCore.StdLib.Meta.Data.Tuple

1 type
9 values

Packageplutus-core-1.70.0.0
Exports10
LicenceApache-2.0

valuebindTuple

:: (TermLike term TyName Name uni fun, MonadQuote m)
=> ann
-> [Name]
-> Tuple term uni ann
-> term ann
-> m (term ann)

valuegetSpineToTuple

:: (TermLike term TyName Name uni fun, MonadQuote m)
=> ann
-> [(Type TyName uni ann, term ann)]
-> m (Tuple term uni ann)

valuegetTupleType

:: MonadQuote m
=> ann
-> Tuple term uni ann
-> m (Type TyName uni ann)

valueprodN :: Int -> Type TyName uni ()

valueprodNAccessor :: TermLike term TyName Name uni fun => Int -> Int -> term ()

valueprodNConstructor :: TermLike term TyName Name uni fun => Int -> term ()

valuetupleDefAt

:: (TermLike term TyName Name uni fun, MonadQuote m)
=> ann
-> Int
-> Name
-> Tuple term uni ann
-> m (TermDef term TyName Name uni ann)

valuetupleTermAt

:: (TermLike term TyName Name uni fun, MonadQuote m)
=> ann
-> Int
-> Tuple term uni ann
-> m (term ann)

valuetupleTypeTermAt

:: (TermLike term TyName Name uni fun, MonadQuote m)
=> ann
-> Int
-> Tuple term uni ann
-> m (Type TyName uni ann, term ann)

datadata Tuple (term :: Type -> Type) (uni :: Type -> Type) ann

Constructors

Tuple
- _tupleElementTypes :: [Type TyName uni ann]
- _tupleTerm :: term ann