{-# 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"