-- GeNeRaTeD fOr: ../../CBS-beta/Funcons-beta/Values/Composite/Maps/Maps.cbs
{-# LANGUAGE OverloadedStrings #-}

module Funcons.Core.Values.Composite.Maps.Maps where

import Funcons.EDSL

import Funcons.Operations hiding (Values,libFromList)
entities = []

types = typeEnvFromList
    [("no-values",DataTypeMemberss "no-values" [] [DataTypeMemberConstructor "no-value" [] (Just [])])]

funcons = libFromList
    [("no-value",NullaryFuncon stepNo_value),("no-values",NullaryFuncon stepNo_values)]

no_value_ = FName "no-value"
stepNo_value = evalRules [rewrite1] []
    where rewrite1 = do
            let env = emptyEnv
            rewriteTermTo (TApp "datatype-value" [TFuncon (FValue (ADTVal "list" [FValue (Ascii 'n'),FValue (Ascii 'o'),FValue (Ascii '-'),FValue (Ascii 'v'),FValue (Ascii 'a'),FValue (Ascii 'l'),FValue (Ascii 'u'),FValue (Ascii 'e')]))]) env

no_values_ = FName "no-values"
stepNo_values = rewriteType "no-values" []