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

module Funcons.Core.Computations.DataFlow.Binding.Environments where

import Funcons.EDSL

entities = []

types = typeEnvFromList
    [("binders",DataTypeMembers [] [DataTypeInclusion (TName "ids"),DataTypeConstructor "id-in-namespace" (TTuple [TName "ids",TName "namespace-names"])])]

funcons = libFromList
    [("environments",NullaryFuncon stepEnvironments),("namespace-names",NullaryFuncon stepNamespace_names),("binders",NullaryFuncon stepBinders),("id-in-namespace",StrictFuncon stepId_in_namespace)]

environments_ = FName "environments"
stepEnvironments = evalRules [rewrite1] []
    where rewrite1 = do
            let env = emptyEnv
            rewriteTo (FApp "maps" (FTuple [FName "binders",FName "values"]))

namespace_names_ = FName "namespace-names"
stepNamespace_names = evalRules [rewrite1] []
    where rewrite1 = do
            let env = emptyEnv
            rewriteTo (FName "values")


stepId_in_namespace vs = rewritten (ADTVal "id-in-namespace" vs)

stepBinders = rewriteType "binders" []