Effect.hs

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

module Funcons.Core.Computations.DataFlow.Effect where

import Funcons.EDSL

entities = []

types = typeEnvFromList
    []

funcons = libFromList
    [("effect",StrictFuncon stepEffect)]

-- |
-- /effect(E)/ evaluates /E/ , then discards the computed value.
effect_ fargs = FApp "effect" (FTuple fargs)
stepEffect fargs =
    evalRules [rewrite1] []
    where rewrite1 = do
            let env = emptyEnv
            env <- vsMatch fargs [VPAnnotated (VPWildCard) (TName "values")] env
            rewriteTo (FTuple [])