Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x99ffbb82026-10-19Search packagesCtrl K

Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 99ffbb8 · 2026-10-19

Moduleplutus-core-1.70.0.0

PlutusCore.StdLib.Meta.Data.Tuple

Synopsis

value bindTuple
value getSpineToTuple
value getTupleType
value prodN
value prodNAccessor
value prodNConstructor
value tupleDefAt
value tupleTermAt
value tupleTypeTermAt
data Tuple

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