Uses of Interface
fj.data.IO
Packages that use IO
Package
Description
Types that set the premise for the existence of Functional Java.
Common algebraic data types.
Optic data types adapted from the Scala Monocle library
and inspired by the
Haskell Lens library.
-
Uses of IO in fj
Modifier and TypeMethodDescriptionstatic <A> IO
<A> Try.io
(Try0<A, ? extends IOException> t) P2.traverseIO
(F<B, IO<C>> f) Modifier and TypeMethodDescriptionA monoid for IO values.Semigroup.ioSemigroup
(Semigroup<A> sa) A semigroup for IO values. -
Uses of IO in fj.data
Modifier and TypeMethodDescriptiondefault <B> IO
<B> static <A,
B> IO <B> static <A,
B> IO <B> static <A,
B> IO <B> default <B> IO
<B> static <A,
B> IO <B> static <A,
B, C> IO <C> static IO
<BufferedReader> IOFunctions.bufferedReader
(File f, Option<Charset> encoding) IOFunctions.closeReader
(Reader r) static <A> IO
<Iteratee.IterV<char[], A>> IOFunctions.enumFileCharChunks
(File f, Option<Charset> encoding, Iteratee.IterV<char[], A> i) An IO monad that reads char chunks from the given file and passes them to the given iteratee.static <A> IO
<Iteratee.IterV<Character, A>> IOFunctions.enumFileChars
(File f, Option<Charset> encoding, Iteratee.IterV<Character, A> i) An IO monad that reads char chunks from the given file and passes single chars to the given iteratee.static <A> IO
<Iteratee.IterV<String, A>> IOFunctions.enumFileLines
(File f, Option<Charset> encoding, Iteratee.IterV<String, A> i) An IO monad that reads lines from the given file (using aBufferedReader
) and passes lines to the provided iteratee.IO
<Iteratee.IterV<char[], A>> IOFunctions.CharChunkReader.f
(Iteratee.IterV<char[], A> it) IOFunctions.CharChunkReader2.f
(Iteratee.IterV<Character, A> it) IOFunctions.LineReader.f
(Iteratee.IterV<String, A> it) IOFunctions.fileReader
(File f, Option<Charset> encoding) static <A,
B> IO <B> static <A> IO
<A> static <A> IO
<A> IOFunctions.fromTry
(Try0<A, ? extends IOException> t) static IO
<LazyString> IO.getContents()
static IO
<LazyString> IOFunctions.getContents()
IO.interact
(F<LazyString, LazyString> f) IOFunctions.interact
(F<LazyString, LazyString> f) Read lines from stdin until condition is not met, transforming each line and printing the result to stdout.static <A> IO
<A> static <A> IO
<A> static <A> IO
<A> static <A,
B> IO <A> static <A,
B, C> IO <C> default <B> IO
<B> static <A,
B> IO <B> static <A> IO
<State<BufferedReader, Validation<IOException, String>>> IOFunctions.readerState()
IOFunctions.replicateM
(IO<A> ioa, int n) Evaluate each action in the sequence from left to right, and collect the results.List.sequenceIO
(List<IO<B>> list) Sequence the given list and collect the output as an IO.Option.sequenceIO
(Option<IO<B>> option) Sequence the given option and collect the output as an IO.Seq.sequenceIO
(Seq<IO<B>> seq) Sequence the given seq and collect the output as an IO.Stream.sequenceIO
(Stream<IO<B>> stream) Sequence the given stream and collect the output as an IO.static final <E,
C> IO <Validation<E, C>> Validation.sequenceIO
(Validation<E, IO<C>> validation) Sequence the given validation and collect the output as an IO.IOFunctions.sequenceWhile
(Stream<IO<A>> stream, F<A, Boolean> f) IOFunctions.sequenceWhileEager
(Stream<IO<A>> stream, F<A, Boolean> f) IOFunctions.stdinReadLine()
IOFunctions.stdoutPrint
(String s) IOFunctions.stdoutPrintln
(String s) Either.LeftProjection.traverseIO
(F<A, IO<C>> f) Anonymous bind through this projection.Either.RightProjection.traverseIO
(F<B, IO<C>> f) Traverse with a function that has IO effectEither3.LeftProjection.traverseIO
(F<A, IO<X>> f) Either3.MiddleProjection.traverseIO
(F<B, IO<X>> f) Either3.RightProjection.traverseIO
(F<C, IO<X>> f) List.traverseIO
(F<A, IO<B>> f) Traverse this list with the given function and collect the output as an IO.Option.traverseIO
(F<A, IO<B>> f) Traverse this option with the given function and collect the output as an IO.Seq.traverseIO
(F<A, IO<B>> f) Traverse this seq with the given function and collect the output as an IO.Stream.traverseIO
(F<A, IO<B>> f) Traverse this stream with the given function and collect the output as an IO.final <C> IO
<Validation<E, C>> Validation.traverseIO
(F<T, IO<C>> f) Traverse this validation with the given function and collect the output as an IO.Either.traverseIOLeft
(F<A, IO<C>> f) Traversable instance of LeftProjection of Either for IO.Either.traverseIORight
(F<B, IO<C>> f) Traversable instance of RightProjection of Either for IO.static <A,
B, Z extends IOException>
IO<A> static <A> IO
<A> IOFunctions.unit
(A a) Modifier and TypeMethodDescriptionstatic <A> F
<Reader, F<Iteratee.IterV<char[], A>, IO<Iteratee.IterV<char[], A>>>> IOFunctions.charChunkReader()
A function that feeds an iteratee with character chunks read from aReader
(char[] of sizeIOFunctions.DEFAULT_BUFFER_SIZE
).static <A> F
<Reader, F<Iteratee.IterV<Character, A>, IO<Iteratee.IterV<Character, A>>>> IOFunctions.charChunkReader2()
A function that feeds an iteratee with characters read from aReader
(chars are read in chunks of sizeIOFunctions.DEFAULT_BUFFER_SIZE
).Conversions.Effect_IO()
static <A> F
<BufferedReader, F<Iteratee.IterV<String, A>, IO<Iteratee.IterV<String, A>>>> IOFunctions.lineReader()
A function that feeds an iteratee with lines read from aBufferedReader
.Sequence through the Stream monad.static <A,
B, Z extends IOException>
F<Try0<A, Z>, IO<A>> Conversions.Try_IO()
Modifier and TypeMethodDescriptiondefault <B> IO
<B> static <A,
B> IO <B> static <A,
B> IO <B> static <A,
B> IO <B> static <A,
B> IO <B> static <A,
B, C> IO <C> static <A,
B> IO <B> static <A> IO
<A> static <A,
B> IO <A> static <A,
B, C> IO <C> static <A,
B> IO <B> static <A> P1
<Validation<IOException, A>> IOFunctions.replicateM
(IO<A> ioa, int n) static <A> A
Run io, rethrowing any IOException wrapped in a RuntimeExceptionSequence through the Stream monad.static <A> SafeIO
<A> Convert io to a SafeIO, throwing any IOException wrapped inside a RuntimeExceptionstatic <A> SafeIO
<Validation<IOException, A>> IOFunctions.toSafeValidation
(IO<A> io) static <A> Try0
<A, IOException> Modifier and TypeMethodDescriptiondefault <B> IO
<B> static <A,
B> IO <B> static <A,
B, C> IO <C> static <A,
B> IO <B> static <A> IO
<A> Evaluate each action in the sequence from left to right, and collect the results.List.sequenceIO
(List<IO<B>> list) Sequence the given list and collect the output as an IO.Option.sequenceIO
(Option<IO<B>> option) Sequence the given option and collect the output as an IO.Seq.sequenceIO
(Seq<IO<B>> seq) Sequence the given seq and collect the output as an IO.Stream.sequenceIO
(Stream<IO<B>> stream) Sequence the given stream and collect the output as an IO.static final <E,
C> IO <Validation<E, C>> Validation.sequenceIO
(Validation<E, IO<C>> validation) Sequence the given validation and collect the output as an IO.IOFunctions.sequenceWhile
(Stream<IO<A>> stream, F<A, Boolean> f) IOFunctions.sequenceWhileEager
(Stream<IO<A>> stream, F<A, Boolean> f) Either.LeftProjection.traverseIO
(F<A, IO<C>> f) Anonymous bind through this projection.Either.RightProjection.traverseIO
(F<B, IO<C>> f) Traverse with a function that has IO effectEither3.LeftProjection.traverseIO
(F<A, IO<X>> f) Either3.MiddleProjection.traverseIO
(F<B, IO<X>> f) Either3.RightProjection.traverseIO
(F<C, IO<X>> f) List.traverseIO
(F<A, IO<B>> f) Traverse this list with the given function and collect the output as an IO.Option.traverseIO
(F<A, IO<B>> f) Traverse this option with the given function and collect the output as an IO.Seq.traverseIO
(F<A, IO<B>> f) Traverse this seq with the given function and collect the output as an IO.Stream.traverseIO
(F<A, IO<B>> f) Traverse this stream with the given function and collect the output as an IO.final <C> IO
<Validation<E, C>> Validation.traverseIO
(F<T, IO<C>> f) Traverse this validation with the given function and collect the output as an IO.Either.traverseIOLeft
(F<A, IO<C>> f) Traversable instance of LeftProjection of Either for IO.Either.traverseIORight
(F<B, IO<C>> f) Traversable instance of RightProjection of Either for IO. -
Uses of IO in fj.data.optic
Methods in fj.data.optic that return types with arguments of type IOModifier and TypeMethodDescriptionmodify polymorphically the target of aPIso
with an Applicative functionmodify polymorphically the target of aPLens
with an Applicative functionmodify polymorphically the target of aPOptional
with an Applicative functionmodify polymorphically the target of aPPrism
with an Applicative functionmodify polymorphically the target of aPTraversal
with an Applicative functionMethod parameters in fj.data.optic with type arguments of type IOModifier and TypeMethodDescriptionmodify polymorphically the target of aPIso
with an Applicative functionmodify polymorphically the target of aPLens
with an Applicative functionmodify polymorphically the target of aPOptional
with an Applicative functionmodify polymorphically the target of aPPrism
with an Applicative functionmodify polymorphically the target of aPTraversal
with an Applicative function