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

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

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

import Funcons.EDSL

entities = []

types = typeEnvFromList
    []

funcons = libFromList
    [("directed-graphs",StrictFuncon stepDirected_graphs)]

directed_graphs_ fargs = FApp "directed-graphs" (FTuple fargs)
stepDirected_graphs fargs =
    evalRules [rewrite1] []
    where rewrite1 = do
            let env = emptyEnv
            env <- vsMatch fargs [VPAnnotated (VPMetaVar "T") (TName "values")] env
            rewriteTermTo (TApp "maps" (TTuple [TVar "T",TApp "sets" (TTuple [TVar "T"])])) env