funcons-tools-0.2.0.1: A modular interpreter for executing funcons
Funcons.ValueOperations
execRewrites :: Rewrite a -> Either IE a Source #
evalOperation :: Funcons -> Either IE [Values] Source #
type IException = (Funcons, Funcons, IE) Source #
data IE Source #
Constructors
Instances
Methods
showsPrec :: Int -> IE -> ShowS #
show :: IE -> String #
showList :: [IE] -> ShowS #
isIn :: Values -> Values -> Rewrite Bool Source #