Logo fantomas

List Module

Functions and values

Function or value Description

allEqual xs

Full Usage: allEqual xs

Parameters:
    xs : 'T list

Returns: bool
Type parameters: 'T (requires equality)
xs : 'T list
Returns: bool

assoc x l

Full Usage: assoc x l

Parameters:
    x : 'a
    l : ('a * 'b) list

Returns: 'b
Type parameters: 'a, 'b (requires equality)
x : 'a
l : ('a * 'b) list
Returns: 'b

checkq l1 l2

Full Usage: checkq l1 l2

Parameters:
    l1 : 'a list
    l2 : 'a list

Returns: bool
Type parameters: 'a (requires not struct)
l1 : 'a list
l2 : 'a list
Returns: bool

collect2 f xs ys

Full Usage: collect2 f xs ys

Parameters:
    f : 'a -> 'b -> 'c list
    xs : 'a list
    ys : 'b list

Returns: 'c list
Type parameters: 'a, 'b, 'c
f : 'a -> 'b -> 'c list
xs : 'a list
ys : 'b list
Returns: 'c list

collectFold f s l

Full Usage: collectFold f s l

Parameters:
    f : 'a -> 'b -> 'c list * 'a
    s : 'a
    l : 'b list

Returns: 'c list * 'a
Type parameters: 'a, 'b, 'c
f : 'a -> 'b -> 'c list * 'a
s : 'a
l : 'b list
Returns: 'c list * 'a

collectSquared f xss

Full Usage: collectSquared f xss

Parameters:
    f : 'a -> 'b list
    xss : 'a list list

Returns: 'b list
Type parameters: 'a, 'b
f : 'a -> 'b list
xss : 'a list list
Returns: 'b list

count pred xs

Full Usage: count pred xs

Parameters:
    pred : 'a -> bool
    xs : 'a list

Returns: int
Type parameters: 'a
pred : 'a -> bool
xs : 'a list
Returns: int

duplicates xs

Full Usage: duplicates xs

Parameters:
    xs : 'T list

Returns: 'T list
Type parameters: 'T (requires equality)
xs : 'T list
Returns: 'T list

existsSquared f xss

Full Usage: existsSquared f xss

Parameters:
    f : 'a -> bool
    xss : 'a list list

Returns: bool
Type parameters: 'a
f : 'a -> bool
xss : 'a list list
Returns: bool

existsi f xs

Full Usage: existsi f xs

Parameters:
    f : int -> 'a -> bool
    xs : 'a list

Returns: bool
Type parameters: 'a
f : int -> 'a -> bool
xs : 'a list
Returns: bool

findi n f l

Full Usage: findi n f l

Parameters:
    n : int
    f : 'a -> bool
    l : 'a list

Returns: ('a * int) option
Type parameters: 'a
n : int
f : 'a -> bool
l : 'a list
Returns: ('a * int) option

forallSquared f xss

Full Usage: forallSquared f xss

Parameters:
    f : 'a -> bool
    xss : 'a list list

Returns: bool
Type parameters: 'a
f : 'a -> bool
xss : 'a list list
Returns: bool

frontAndBack l

Full Usage: frontAndBack l

Parameters:
    l : 'a list

Returns: 'a list * 'a
Type parameters: 'a
l : 'a list
Returns: 'a list * 'a

headAndTail l

Full Usage: headAndTail l

Parameters:
    l : 'a list

Returns: 'a * 'a list
Type parameters: 'a
l : 'a list
Returns: 'a * 'a list

indexNotFound ()

Full Usage: indexNotFound ()

Parameters:
    () : unit

Returns: 'a
Type parameters: 'a
() : unit
Returns: 'a

isSingleton xs

Full Usage: isSingleton xs

Parameters:
    xs : 'T list

Returns: bool
Type parameters: 'T
xs : 'T list
Returns: bool

iter3 f l1 l2 l3

Full Usage: iter3 f l1 l2 l3

Parameters:
    f : 'a -> 'b -> 'c -> unit
    l1 : 'a list
    l2 : 'b list
    l3 : 'c list

Type parameters: 'a, 'b, 'c
f : 'a -> 'b -> 'c -> unit
l1 : 'a list
l2 : 'b list
l3 : 'c list

iterSquared f xss

Full Usage: iterSquared f xss

Parameters:
    f : 'a -> unit
    xss : 'a list list

Type parameters: 'a
f : 'a -> unit
xss : 'a list list

lengthsEqAndForall2 p l1 l2

Full Usage: lengthsEqAndForall2 p l1 l2

Parameters:
    p : 'a -> 'b -> bool
    l1 : 'a list
    l2 : 'b list

Returns: bool
Type parameters: 'a, 'b
p : 'a -> 'b -> bool
l1 : 'a list
l2 : 'b list
Returns: bool

mapFoldSquared f z xss

Full Usage: mapFoldSquared f z xss

Parameters:
    f : 'a -> 'b -> 'c * 'a
    z : 'a
    xss : 'b list list

Returns: 'c list list * 'a
Type parameters: 'a, 'b, 'c
f : 'a -> 'b -> 'c * 'a
z : 'a
xss : 'b list list
Returns: 'c list list * 'a

mapHeadTail fhead ftail _arg1

Full Usage: mapHeadTail fhead ftail _arg1

Parameters:
    fhead : 'a -> 'b
    ftail : 'a -> 'b
    _arg1 : 'a list

Returns: 'b list
Type parameters: 'a, 'b
fhead : 'a -> 'b
ftail : 'a -> 'b
_arg1 : 'a list
Returns: 'b list

mapNth n f xs

Full Usage: mapNth n f xs

Parameters:
    n : int
    f : 'a -> 'a
    xs : 'a list

Returns: 'a list
Type parameters: 'a
n : int
f : 'a -> 'a
xs : 'a list
Returns: 'a list

mapSquared f xss

Full Usage: mapSquared f xss

Parameters:
    f : 'a -> 'b
    xss : 'a list list

Returns: 'b list list
Type parameters: 'a, 'b
f : 'a -> 'b
xss : 'a list list
Returns: 'b list list

mapiFoldSquared f z xss

Full Usage: mapiFoldSquared f z xss

Parameters:
    f : 'a -> int * int * 'b -> 'c * 'a
    z : 'a
    xss : 'b list list

Returns: 'c list list * 'a
Type parameters: 'a, 'b, 'c
f : 'a -> int * int * 'b -> 'c * 'a
z : 'a
xss : 'b list list
Returns: 'c list list * 'a

mapiSquared f xss

Full Usage: mapiSquared f xss

Parameters:
    f : int -> int -> 'a -> 'b
    xss : 'a list list

Returns: 'b list list
Type parameters: 'a, 'b
f : int -> int -> 'a -> 'b
xss : 'a list list
Returns: 'b list list

mapq f inp

Full Usage: mapq f inp

Parameters:
    f : 'T -> 'T
    inp : 'T list

Returns: 'T list
Type parameters: 'T (requires not struct)
f : 'T -> 'T
inp : 'T list
Returns: 'T list

memAssoc x l

Full Usage: memAssoc x l

Parameters:
    x : 'a
    l : ('a * 'b) list

Returns: bool
Type parameters: 'a, 'b (requires equality)
x : 'a
l : ('a * 'b) list
Returns: bool

memq x l

Full Usage: memq x l

Parameters:
    x : 'a
    l : 'a list

Returns: bool
Type parameters: 'a (requires not struct)
x : 'a
l : 'a list
Returns: bool

order eltOrder

Full Usage: order eltOrder

Parameters:
Returns: IComparer<'T list>
Type parameters: 'T
eltOrder : IComparer<'T>
Returns: IComparer<'T list>

prependIfSome x l

Full Usage: prependIfSome x l

Parameters:
    x : 'a option
    l : 'a list

Returns: 'a list
Type parameters: 'a
x : 'a option
l : 'a list
Returns: 'a list

sortWithOrder c elements

Full Usage: sortWithOrder c elements

Parameters:
Returns: 'T list
Type parameters: 'T
c : IComparer<'T>
elements : 'T list
Returns: 'T list

splitAfter n l

Full Usage: splitAfter n l

Parameters:
    n : int
    l : 'a list

Returns: 'a list * 'a list
Type parameters: 'a
n : int
l : 'a list
Returns: 'a list * 'a list

splitChoose select l

Full Usage: splitChoose select l

Parameters:
    select : 'a -> Choice<'b, 'c>
    l : 'a list

Returns: 'b list * 'c list
Type parameters: 'a, 'b, 'c
select : 'a -> Choice<'b, 'c>
l : 'a list
Returns: 'b list * 'c list

takeUntil p l

Full Usage: takeUntil p l

Parameters:
    p : 'a -> bool
    l : 'a list

Returns: 'a list * 'a list
Type parameters: 'a
p : 'a -> bool
l : 'a list
Returns: 'a list * 'a list

toArraySquared xss

Full Usage: toArraySquared xss

Parameters:
    xss : 'a list list

Returns: 'a[][]
Type parameters: 'a
xss : 'a list list
Returns: 'a[][]

tryFrontAndBack l

Full Usage: tryFrontAndBack l

Parameters:
    l : 'a list

Returns: ('a list * 'a) option
Type parameters: 'a
l : 'a list
Returns: ('a list * 'a) option

tryRemove f inp

Full Usage: tryRemove f inp

Parameters:
    f : 'a -> bool
    inp : 'a list

Returns: ('a * 'a list) option
Type parameters: 'a
f : 'a -> bool
inp : 'a list
Returns: ('a * 'a list) option

unzip4 l

Full Usage: unzip4 l

Parameters:
    l : ('a * 'b * 'c * 'd) list

Returns: 'a list * 'b list * 'c list * 'd list
Type parameters: 'a, 'b, 'c, 'd
l : ('a * 'b * 'c * 'd) list
Returns: 'a list * 'b list * 'c list * 'd list

vMapFold mapping state list

Full Usage: vMapFold mapping state list

Parameters:
    mapping : 'State -> 'T -> 'Result * 'State
    state : 'State
    list : 'T list

Returns: 'Result list * 'State
Type parameters: 'T, 'State, 'Result
mapping : 'State -> 'T -> 'Result * 'State
state : 'State
list : 'T list
Returns: 'Result list * 'State

zip4 l1 l2 l3 l4

Full Usage: zip4 l1 l2 l3 l4

Parameters:
    l1 : 'a list
    l2 : 'b list
    l3 : 'c list
    l4 : 'd list

Returns: ('a * 'b * 'c * 'd) list
Type parameters: 'a, 'b, 'c, 'd
l1 : 'a list
l2 : 'b list
l3 : 'c list
l4 : 'd list
Returns: ('a * 'b * 'c * 'd) list

Type something to start searching.