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

{-# LANGUAGE OverloadedStrings #-}

module Funcons.Core.Values.Primitive.Atoms where

import Funcons.EDSL hiding (atom_)
import qualified Funcons.Operations as VAL

library = libFromList [
        ("atom", fromValOp atom_ VAL.atom_)
    ,   ("atoms", fromValOp atoms_ VAL.atoms_) 
    ]

atoms_ = applyFuncon "atoms"
atom_ = applyFuncon "atom"