egison-4.1.3: Programming language with non-linear pattern-matching against non-free data
LicenseMIT
Safe HaskellNone
LanguageHaskell2010

Language.Egison.Data.Utils

Description

This module provides some helper functions for handling Egison data.

Documentation

evalRef :: ObjectRef -> EvalM WHNFData Source #

evalObj :: Object -> EvalM WHNFData Source #

writeObjectRef :: ObjectRef -> WHNFData -> EvalM () Source #

newEvaluatedObjectRef :: WHNFData -> EvalM ObjectRef Source #

tupleToRefs :: WHNFData -> EvalM [ObjectRef] Source #

tupleToListWHNF :: WHNFData -> EvalM [WHNFData] Source #

tupleToList :: EgisonValue -> [EgisonValue] Source #

makeTuple :: [EgisonValue] -> EgisonValue Source #

makeITuple :: [WHNFData] -> EvalM WHNFData Source #

pmIndices :: [Index (Maybe Var)] -> [Index EgisonValue] -> EvalM [Binding] Source #

updateHash :: [Integer] -> WHNFData -> WHNFData -> EvalM WHNFData Source #