Documentation

assocArithOper :: AssocArithOper -> AssocArithOper Source #

assocBoolOper :: AssocBoolOper -> AssocBoolOper Source #

uFunc :: UFunc -> UFunc Source #

uFuncB :: UFuncB -> UFuncB Source #

uFuncVV :: UFuncVV -> UFuncVV Source #

uFuncVN :: UFuncVN -> UFuncVN Source #

arithBinOp :: ArithBinOp -> ArithBinOp Source #

boolBinOp :: BoolBinOp -> BoolBinOp Source #

eqBinOp :: EqBinOp -> EqBinOp Source #

laBinOp :: LABinOp -> LABinOp Source #

ordBinOp :: OrdBinOp -> OrdBinOp Source #

vvvBinOp :: VVVBinOp -> VVVBinOp Source #

vvnBinOp :: VVNBinOp -> VVNBinOp Source #

nvvBinOp :: NVVBinOp -> NVVBinOp Source #

expr :: Expr -> ModelExpr Source #

realInterval :: RealInterval Expr Expr -> RealInterval ModelExpr ModelExpr Source #

domainDesc :: DiscreteDomainDesc Expr Expr -> DiscreteDomainDesc ModelExpr ModelExpr Source #