Funcons.ValueOperations

Documentation

execRewrites :: Rewrite a -> Either IE a

evalOperation :: Funcons -> Either IE [Values]

type IException = (Funcons, Funcons, IE)

data IE

Constructors

SortErr String

Err String

PartialOp String

Internal String

NoRule

NoMoreBranches

SideCondFail String

InsufficientInput Name

InsufficientInputConsumed Name

PatternMismatch String

StepOnValue [Values]

Instances

Show IE

Methods

showsPrec :: Int -> IE -> ShowS

show :: IE -> String

showList :: [IE] -> ShowS

isIn :: Values -> Values -> Rewrite Bool