Overboard


Validation Module

Functions and values

Function or value Description

getMethodInfo e

Full Usage: getMethodInfo e

Parameters:
Returns: MethodInfo
e : Expr<'T>
Returns: MethodInfo

notEmpty lense msg toTest

Full Usage: notEmpty lense msg toTest

Parameters:
    lense : 'a -> 'b
    msg : string
    toTest : 'a

Returns: ValidationProblem list
lense : 'a -> 'b
msg : string
toTest : 'a
Returns: ValidationProblem list

required lense msg toTest

Full Usage: required lense msg toTest

Parameters:
    lense : 'a -> 'b
    msg : string
    toTest : 'a

Returns: ValidationProblem list
lense : 'a -> 'b
msg : string
toTest : 'a
Returns: ValidationProblem list

requiredIfEmpty requiredProp possibleEmpty msg toTest

Full Usage: requiredIfEmpty requiredProp possibleEmpty msg toTest

Parameters:
    requiredProp : 'a -> 'b option
    possibleEmpty : 'a -> 'c list
    msg : string
    toTest : 'a

Returns: ValidationProblem list
requiredProp : 'a -> 'b option
possibleEmpty : 'a -> 'c list
msg : string
toTest : 'a
Returns: ValidationProblem list

requiredIfNone requiredProp possibleNone msg toTest

Full Usage: requiredIfNone requiredProp possibleNone msg toTest

Parameters:
    requiredProp : 'a -> 'b option
    possibleNone : 'a -> 'c option
    msg : string
    toTest : 'a

Returns: ValidationProblem list
requiredProp : 'a -> 'b option
possibleNone : 'a -> 'c option
msg : string
toTest : 'a
Returns: ValidationProblem list

requiredIfNotNone optF lense msg toTest

Full Usage: requiredIfNotNone optF lense msg toTest

Parameters:
    optF : 'a -> 'b option
    lense : 'b -> 'c
    msg : string
    toTest : 'a

Returns: ValidationProblem list
optF : 'a -> 'b option
lense : 'b -> 'c
msg : string
toTest : 'a
Returns: ValidationProblem list

requiredOneOfTwoLists requiredProp possibleEmpty msg toTest

Full Usage: requiredOneOfTwoLists requiredProp possibleEmpty msg toTest

Parameters:
    requiredProp : 'a -> 'b list
    possibleEmpty : 'a -> 'c list
    msg : string
    toTest : 'a

Returns: ValidationProblem list
requiredProp : 'a -> 'b list
possibleEmpty : 'a -> 'c list
msg : string
toTest : 'a
Returns: ValidationProblem list

startsWith start lense msg toTest

Full Usage: startsWith start lense msg toTest

Parameters:
    start : string
    lense : 'a -> 'b
    msg : string
    toTest : 'a

Returns: ValidationProblem list
start : string
lense : 'a -> 'b
msg : string
toTest : 'a
Returns: ValidationProblem list

Active patterns

Active pattern Description

(|IsEnumerable|_|) o

Full Usage: (|IsEnumerable|_|) o

Parameters:
    o : obj

Returns: bool option
o : obj
Returns: bool option

(|IsList|_|) o

Full Usage: (|IsList|_|) o

Parameters:
    o : obj

Returns: bool option
o : obj
Returns: bool option

(|IsSeq|_|) o

Full Usage: (|IsSeq|_|) o

Parameters:
    o : obj

Returns: int option
o : obj
Returns: int option