CurryInfo: cdbi-3.2.0 / Database.CDBI.Criteria.isIn

definition: Info
 
isIn :: Value a -> [Value a] -> Constraint
isIn v1 xs = IsIn (toCValue v1) (map toCValue xs)
demand: Info
 no demanded arguments
deterministic: Info
 deterministic operation
documentation: Info
 
IsIn construnctor
@param v1 - First Value
@param xs - List of Values
failfree: Info
 (_, _)
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_,_) |-> {IsIn}}
name: Info
 isIn
precedence: Info
 no precedence defined
result-values: Info
 {IsIn}
signature: Info
 Value a -> [Value a] -> Constraint
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 yes
totally-defined: Info
 reducible on all ground data terms