funcons-tools-0.1.0.0: cbs/Funcons/Core/Values/CompositeValues/Collections/Tuples.hs

-- GeNeRaTeD fOr: ../../CBS/Funcons/Values/Composite values/Collections/tuples.aterm
{-# LANGUAGE OverloadedStrings #-}

module Funcons.Core.Values.CompositeValues.Collections.Tuples where

import Funcons.EDSL

entities = []

types = typeEnvFromList
    []

funcons = libFromList
    [("tuples",StrictFuncon stepTuples)]

tuples_ fargs = FApp "tuples" (FTuple fargs)
stepTuples fargs =
    evalRules [rewrite1] []
    where rewrite1 = do
            let env = emptyEnv
            env <- vsMatch fargs [VPAnnotated (VPSeqVar "T*" StarOp) (TName "values")] env
            rewriteTermTo (TTuple [TVar "T*"]) env