-- GeNeRaTeD fOr: ../../CBS/Funcons/Computations/Data flow/Interacting/print-list.aterm
{-# LANGUAGE OverloadedStrings #-}

module Funcons.Core.Computations.DataFlow.Interacting.PrintList where

import Funcons.EDSL

entities = []

types = typeEnvFromList
    []

funcons = libFromList
    [("print-list",StrictFuncon stepPrint_list)]

-- |
-- /print-list(L)/ emits the values contained in the list /L/ on the /standard-out/ .
print_list_ fargs = FApp "print-list" (FTuple fargs)
stepPrint_list fargs =
    evalRules [] [step1]
    where step1 = do
            let env = emptyEnv
            env <- lifted_vsMatch fargs [VPAnnotated (VPMetaVar "L") (TApp "lists" (TTuple [TName "values"]))] env
            writeOutTerm "standard-out" (TTuple [TVar "L"]) env
            stepTo (FTuple [])