Safe Haskell | None |
---|
Documentation
label :: String -> (Value -> Value) -> (Value -> Value -> Value, Value) -> (Value -> Value) -> (Value -> Value -> Constraint) -> SearchSource
int_assign :: String -> VarSel -> (Value -> Value) -> (Value -> Value -> Constraint) -> SearchSource
ilabel :: String -> (Value -> Value) -> (Value -> Value -> Value, Value) -> (Value -> Value) -> (Value -> Value -> Constraint) -> SearchSource
domSizeDegreeV :: Value -> ValueSource
domSizeWDegreeV :: Value -> ValueSource
foldVarSel :: (Value -> Value) -> (Value -> Value -> Value, Value) -> Info -> String -> Statement -> Statement -> StatementSource
ifoldVarSel :: (Value -> Value) -> (Value -> Value -> Value, Value) -> Info -> String -> Statement -> Statement -> StatementSource