Read.hs

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

module Funcons.Core.Computations.DataFlow.Interacting.Read where

import Funcons.EDSL

entities = []

types = typeEnvFromList
    []

funcons = libFromList
    [("read",NullaryFuncon stepRead)]

-- |
-- /read/ consumes a single value from the /standard-in/ , and returns it.
read_ = FName "read"
stepRead = evalRules [] [step1]
    where step1 = do
            let env = emptyEnv
            env <- assignInput "standard-in" "V" env
            stepTermTo (TVar "V") env