{-# LANGUAGE OverloadedStrings #-} module Funcons.Core.Values.Primitive.StringsBuiltin where import Funcons.EDSL 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_ forall t. HasValues t => [OpExpr t] -> OpExpr t VAL.to_string_) ] to_string_ :: [Funcons] -> Funcons to_string_ = Name -> [Funcons] -> Funcons applyFuncon Name "to-string"