funcons-tools-0.1.0.0: manual/Funcons/Core/Values/Primitive/Atoms.hs

{-# LANGUAGE OverloadedStrings #-}

module Funcons.Core.Values.Primitive.Atoms where

import Funcons.EDSL
import Funcons.Types

library = libFromList [
        ("atom", ValueOp stepAtom)
    ]

stepAtom [String s] = rewriteTo $ FValue $ Atom s
stepAtom vs          = sortErr (applyFuncon "atom" (fvalues vs)) "atom not applied to a string"