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
Defined in Funcons.Exceptions
Methods
showsPrec :: Int -> IE -> ShowS #
show :: IE -> String #
showList :: [IE] -> ShowS #
isIn :: Values -> Values -> Rewrite Bool Source #