Uses of Class
fj.data.LazyString
Packages that use LazyString
Package
Description
Types that set the premise for the existence of Functional Java.
Common algebraic data types.
-
Uses of LazyString in fj
Fields in fj with type parameters of type LazyStringModifier and TypeFieldDescriptionstatic final Equal
<LazyString> Equal.eq
An equal instance for lazy strings.static final Show
<LazyString> Show.lazyStringShow
A show instance for lazy strings. -
Uses of LazyString in fj.data
Fields in fj.data declared as LazyStringFields in fj.data with type parameters of type LazyStringModifier and TypeFieldDescriptionstatic final F
<Stream<Character>, LazyString> LazyString.fromStream
First-class conversion from character streams to lazy strings.static final F
<LazyString, Stream<Character>> LazyString.toStream
First-class conversion from lazy strings to streams.static final F
<LazyString, String> LazyString.toString
First-class conversion from lazy strings to String.Methods in fj.data that return LazyStringModifier and TypeMethodDescriptionLazyString.append
(LazyString cs) Appends the given lazy string to the end of this lazy string.Appends the given String to the end of this lazy string.LazyString.bind
(F<Character, LazyString> f) static LazyString
LazyString.fromStream
(Stream<Character> s) Constructs a lazy string from a stream of characters.LazyString.reverse()
Returns the reverse of this string.static LazyString
Constructs a lazy string from a String.LazyString.tail()
Returns all but the first character of this string.static LazyString
LazyString.unlines
(Stream<LazyString> str) Joins the given stream of lazy strings into one, separated by newlines.static LazyString
LazyString.unwords
(Stream<LazyString> str) Joins the given stream of lazy strings into one, separated by spaces.Methods in fj.data that return types with arguments of type LazyStringModifier and TypeMethodDescriptionstatic IO
<LazyString> IO.getContents()
static IO
<LazyString> IOFunctions.getContents()
LazyString.lines()
Splits this lazy string into lines.static F
<LazyString, Stream<LazyString>> LazyString.lines_()
static F
<LazyString, Stream<LazyString>> LazyString.lines_()
LazyString.split
(char c) Splits this lazy string by the given delimiter character.Splits this lazy string by characters matching the given predicate.static F
<LazyString, F<LazyString, Boolean>> LazyString.startsWith()
First-class prefix check.static F
<LazyString, F<LazyString, Boolean>> LazyString.startsWith()
First-class prefix check.static F
<Stream<LazyString>, LazyString> LazyString.unlines_()
static F
<Stream<LazyString>, LazyString> LazyString.unlines_()
LazyString.words()
Splits this lazy string into words by spaces.Methods in fj.data with parameters of type LazyStringModifier and TypeMethodDescriptionLazyString.append
(LazyString cs) Appends the given lazy string to the end of this lazy string.boolean
LazyString.contains
(LazyString cs) Returns true if the given lazy string is a substring of this lazy string.boolean
LazyString.endsWith
(LazyString cs) Returns true if the given lazy string is a suffix of this lazy string.LazyString.indexOf
(LazyString cs) Returns the first index of the given substring in this lazy string, if present.boolean
LazyString.startsWith
(LazyString cs) Returns true if the given lazy string is a prefix of this lazy string.Method parameters in fj.data with type arguments of type LazyStringModifier and TypeMethodDescriptionLazyString.bind
(F<Character, LazyString> f) IO.interact
(F<LazyString, LazyString> f) IO.interact
(F<LazyString, LazyString> f) IOFunctions.interact
(F<LazyString, LazyString> f) IOFunctions.interact
(F<LazyString, LazyString> f) static LazyString
LazyString.unlines
(Stream<LazyString> str) Joins the given stream of lazy strings into one, separated by newlines.static LazyString
LazyString.unwords
(Stream<LazyString> str) Joins the given stream of lazy strings into one, separated by spaces.