-- GeNeRaTeD fOr: ../../CBS/Funcons/Values/Primitive values/strings.aterm
{-# LANGUAGE OverloadedStrings #-}

module Funcons.Core.Values.PrimitiveValues.Strings where

import Funcons.EDSL

entities = []

types = typeEnvFromList
    []

funcons = libFromList
    [("ids",NullaryFuncon stepIds),("newline",NullaryFuncon stepNewline)]

ids_ = FName "ids"
stepIds = evalRules [rewrite1] []
    where rewrite1 = do
            let env = emptyEnv
            rewriteTo (FName "strings")

-- |
-- /newline/ is the string containing only a line feed character ("LF" or "\n"). 
newline_ = FName "newline"
stepNewline = evalRules [rewrite1] []
    where rewrite1 = do
            let env = emptyEnv
            rewriteTo (FApp "to-string" (FTuple [FApp "ascii-character" (FTuple [FValue (String "\n")])]))