FSharpx.Extras


Iteratee

Namespace: FSharpx.Functional

Nested types and modules

TypeDescription
IterateeBuilder
ModuleDescription
Binary
List

Functions and values

Function or valueDescription
( *> ) x y
Signature: x:Iteratee<'?11768,'?11769> -> y:Iteratee<'?11768,'?11770> -> Iteratee<'?11768,'?11770>
Type parameters: '?11768, '?11769, '?11770

Sequence actions, discarding the value of the first argument.

CompiledName: op_MultiplyGreater

( <!> ) f m
Signature: f:('?11759 -> '?11760) -> m:Iteratee<'?11761,'?11759> -> Iteratee<'?11761,'?11760>
Type parameters: '?11759, '?11760, '?11761

CompiledName: op_LessBangGreater

( <* ) x y
Signature: x:Iteratee<'?11772,'?11773> -> y:Iteratee<'?11772,'?11774> -> Iteratee<'?11772,'?11773>
Type parameters: '?11772, '?11773, '?11774

Sequence actions, discarding the value of the second argument.

CompiledName: op_LessMultiply

( <*> ) f m
Signature: f:Iteratee<'?11747,('?11748 -> '?11749)> -> m:Iteratee<'?11747,'?11748> -> Iteratee<'?11747,'?11749>
Type parameters: '?11747, '?11748, '?11749

Sequential application

CompiledName: op_LessMultiplyGreater

( <=< ) x
Signature: x:('?11785 -> Iteratee<'?11786,'?11787>) -> ('?11788 -> Iteratee<'?11786,'?11785>) -> '?11788 -> Iteratee<'?11786,'?11787>
Type parameters: '?11785, '?11786, '?11787, '?11788

Right-to-left Kleisli composition

CompiledName: op_LessEqualsLess

( =<< ) f m
Signature: f:('?11743 -> Iteratee<'?11744,'?11745>) -> m:Iteratee<'?11744,'?11743> -> Iteratee<'?11744,'?11745>
Type parameters: '?11743, '?11744, '?11745

CompiledName: op_EqualsLessLess

( >=> ) f g x
Signature: f:('?11780 -> Iteratee<'?11781,'?11782>) -> g:('?11782 -> Iteratee<'?11781,'?11783>) -> x:'?11780 -> Iteratee<'?11781,'?11783>
Type parameters: '?11780, '?11781, '?11782, '?11783

Left-to-right Kleisli composition

CompiledName: op_GreaterEqualsGreater

( >>. ) m f
Signature: m:Iteratee<'?11776,'?11777> -> f:Iteratee<'?11776,'?11778> -> Iteratee<'?11776,'?11778>
Type parameters: '?11776, '?11777, '?11778

Sequentially compose two iteratee actions, discarding any value produced by the first

CompiledName: op_GreaterGreaterDot

( >>= ) m f
Signature: m:Iteratee<'?11739,'?11740> -> f:('?11740 -> Iteratee<'?11739,'?11741>) -> Iteratee<'?11739,'?11741>
Type parameters: '?11739, '?11740, '?11741

CompiledName: op_GreaterGreaterEquals

ap m f
Signature: m:Iteratee<'?11751,'?11752> -> f:Iteratee<'?11751,('?11752 -> '?11753)> -> Iteratee<'?11751,'?11753>
Type parameters: '?11751, '?11752, '?11753

Sequential application

bind f i
Signature: f:('?11673 -> Iteratee<'?11674,'?11675>) -> i:Iteratee<'?11674,'?11673> -> Iteratee<'?11674,'?11675>
Type parameters: '?11673, '?11674, '?11675
catchError h i
Signature: h:(exn -> Iteratee<'?11680,'?11681>) -> i:Iteratee<'?11680,'?11681> -> Iteratee<'?11680,'?11681>
Type parameters: '?11680, '?11681
checkContinue0 inner
Signature: inner:((Iteratee<'?11805,'?11806> -> Iteratee<'?11805,'?11806>) -> (Stream<'?11805> -> Iteratee<'?11805,'?11806>) -> Iteratee<'?11805,'?11806>) -> Iteratee<'?11805,'?11806> -> Iteratee<'?11805,'?11806>
Type parameters: '?11805, '?11806
checkDone f
Signature: f:((Stream<'?11801> -> Iteratee<'?11801,'?11802>) -> Iteratee<'?11803,Iteratee<'?11801,'?11802>>) -> Iteratee<'?11801,'?11802> -> Iteratee<'?11803,Iteratee<'?11801,'?11802>>
Type parameters: '?11801, '?11802, '?11803
checkDoneEx extra f _arg1
Signature: extra:Stream<'?11797> -> f:((Stream<'?11798> -> Iteratee<'?11798,'?11799>) -> Iteratee<'?11797,Iteratee<'?11798,'?11799>>) -> _arg1:Iteratee<'?11798,'?11799> -> Iteratee<'?11797,Iteratee<'?11798,'?11799>>
Type parameters: '?11797, '?11798, '?11799
continueI k
Signature: k:(Stream<'?11667> -> Iteratee<'?11667,'?11668>) -> Iteratee<'?11667,'?11668>
Type parameters: '?11667, '?11668
doneI x s
Signature: x:'?11664 -> s:Stream<'?11665> -> Iteratee<'?11665,'?11664>
Type parameters: '?11664, '?11665
empty
Signature: Iteratee<'T,unit>
Type parameters: 'T
enumEOF _arg1
Signature: _arg1:Iteratee<'?11686,'?11687> -> Iteratee<'?11688,'?11687>
Type parameters: '?11686, '?11687, '?11688
enumErr e _arg1
Signature: e:exn -> _arg1:'?11690 -> Iteratee<'?11691,'?11692>
Type parameters: '?11690, '?11691, '?11692
enumList xs
Signature: xs:'?11794 list -> Iteratee<'?11794,'?11795> -> Iteratee<'?11794,'?11795>
Type parameters: '?11794, '?11795
iteratee
Signature: IterateeBuilder
joinI outher
Signature: outher:Iteratee<'?11790,Iteratee<'?11791,'?11792>> -> Iteratee<'?11790,'?11792>
Type parameters: '?11790, '?11791, '?11792
lift2 f a b
Signature: f:('?11763 -> '?11764 -> '?11765) -> a:Iteratee<'?11766,'?11763> -> b:Iteratee<'?11766,'?11764> -> Iteratee<'?11766,'?11765>
Type parameters: '?11763, '?11764, '?11765, '?11766
map f m
Signature: f:('?11755 -> '?11756) -> m:Iteratee<'?11757,'?11755> -> Iteratee<'?11757,'?11756>
Type parameters: '?11755, '?11756, '?11757
opt i
Signature: i:Iteratee<'?11677,'?11678> -> Iteratee<'?11677,'?11678 option>
Type parameters: '?11677, '?11678
returnI x
Signature: x:'?11659 -> Iteratee<'?11660,'?11659>
Type parameters: '?11659, '?11660
returnM x
Signature: x:'?11736 -> Iteratee<'?11737,'?11736>
Type parameters: '?11736, '?11737
run i
Signature: i:Iteratee<'?11697,'?11698> -> '?11698
Type parameters: '?11697, '?11698
run_ i
Signature: i:Iteratee<'?11694,'?11695> -> Choice<'?11695,exn>
Type parameters: '?11694, '?11695
throw e
Signature: e:exn -> Iteratee<'?11670,'?11671>
Type parameters: '?11670, '?11671
tryFinally compensation i
Signature: compensation:(unit -> unit) -> i:Iteratee<'?11683,'?11684> -> Iteratee<'?11683,'?11684>
Type parameters: '?11683, '?11684
Fork me on GitHub