{-# LANGUAGE OverloadedStrings #-}

module Funcons.Core.Values.Primitive.StringsBuiltin where

import Funcons.EDSL
import Funcons.Types hiding (stepTo_String, to_string_)
import qualified Funcons.Operations as VAL

library :: FunconLibrary
library = [(Name, EvalFunction)] -> FunconLibrary
libFromList [
        (Name
"to-string", ([Funcons] -> Funcons)
-> ([OpExpr Funcons] -> OpExpr Funcons) -> EvalFunction
fromValOp [Funcons] -> Funcons
to_string_ [OpExpr Funcons] -> OpExpr Funcons
forall t. HasValues t => [OpExpr t] -> OpExpr t
VAL.to_string_)
    ]

to_string_ :: [Funcons] -> Funcons
to_string_ = Name -> [Funcons] -> Funcons
applyFuncon Name
"to-string"