Copyright 2008 - 2009 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg

This software is released under an open source BSD licence.

fj.pre
Class Show<A>

java.lang.Object
  extended by fj.pre.Show<A>

public final class Show<A>
extends Object

Renders an object for display.


Field Summary
static Show<BigDecimal> bigdecimalShow
          A show instance for the BigDecimal type.
static Show<BigInteger> bigintShow
          A show instance for the BigInteger type.
static Show<Boolean> booleanShow
          A show instance for the boolean type.
static Show<Byte> byteShow
          A show instance for the byte type.
static Show<Character> charShow
          A show instance for the char type.
static Show<Double> doubleShow
          A show instance for the double type.
static Show<Float> floatShow
          A show instance for the float type.
static Show<HList.HNil> HListShow
          A show instance for the empty heterogeneous Stream.
static Show<Integer> intShow
          A show instance for the int type.
static Show<LazyString> lazyStringShow
          A show instance for lazy strings.
static Show<Long> longShow
          A show instance for the long type.
static Show<Natural> naturalShow
          A show instance for natural numbers.
static Show<Short> shortShow
          A show instance for the short type.
static Show<StringBuffer> stringBufferShow
          A show instance for the StringBuffer type.
static Show<StringBuilder> stringBuilderShow
          A show instance for the StringBuilder type.
static Show<String> stringShow
          A show instance for the String type.
 
Method Summary
static
<A> Show<A>
anyShow()
          Returns a show instance that uses Object.toString() to perform the display rendering.
static
<A> Show<Array<A>>
arrayShow(Show<A> sa)
          A show instance for the Array type.
static
<A> Show<Class<A>>
classShow()
          A show instance for the Class type.
<B> Show<B>
comap(F<B,A> f)
          Maps the given function across this show as a contra-variant functor.
static
<A,B> Show<Either<A,B>>
eitherShow(Show<A> sa, Show<B> sb)
          A show instance for the Either type.
static
<E,L extends HList<L>>
Show<HList.HCons<E,L>>
HListShow(Show<E> e, Show<L> l)
          A show instance for heterogeneous Streams.
static
<A> Show<List<A>>
listShow(Show<A> sa)
          A show instance for the Stream type.
static
<A> Show<NonEmptyList<A>>
nonEmptyListShow(Show<A> sa)
          A show instance for the NonEmptyList type.
static
<A> Show<Option<A>>
optionShow(Show<A> sa)
          A show instance for the Option type.
static
<A> Show<P1<A>>
p1Show(Show<A> sa)
          A show instance for the tuple-1 type.
static
<A,B> Show<P2<A,B>>
p2Show(Show<A> sa, Show<B> sb)
          A show instance for the tuple-2 type.
static
<A,B,C> Show<P3<A,B,C>>
p3Show(Show<A> sa, Show<B> sb, Show<C> sc)
          A show instance for the tuple-3 type.
static
<A,B,C,D> Show<P4<A,B,C,D>>
p4Show(Show<A> sa, Show<B> sb, Show<C> sc, Show<D> sd)
          A show instance for the tuple-4 type.
static
<A,B,C,D,E>
Show<P5<A,B,C,D,E>>
p5Show(Show<A> sa, Show<B> sb, Show<C> sc, Show<D> sd, Show<E> se)
          A show instance for the tuple-5 type.
static
<A,B,C,D,E,F$>
Show<P6<A,B,C,D,E,F$>>
p6Show(Show<A> sa, Show<B> sb, Show<C> sc, Show<D> sd, Show<E> se, Show<F$> sf)
          A show instance for the tuple-6 type.
static
<A,B,C,D,E,F$,G>
Show<P7<A,B,C,D,E,F$,G>>
p7Show(Show<A> sa, Show<B> sb, Show<C> sc, Show<D> sd, Show<E> se, Show<F$> sf, Show<G> sg)
          A show instance for the tuple-7 type.
static
<A,B,C,D,E,F$,G,H>
Show<P8<A,B,C,D,E,F$,G,H>>
p8Show(Show<A> sa, Show<B> sb, Show<C> sc, Show<D> sd, Show<E> se, Show<F$> sf, Show<G> sg, Show<H> sh)
          A show instance for the tuple-8 type.
 Unit print(A a)
          Prints the given argument to the standard output stream.
 Unit println(A a)
          Prints the given argument to the standard output stream with a new line.
 void printlnE(A a)
          Prints the given argument to the standard error stream with a new line.
 F<A,Stream<Character>> show_()
          Returns the transformation equivalent to this show.
 Stream<Character> show(A a)
          Returns the display rendering of the given argument.
static
<A> Show<A>
show(F<A,Stream<Character>> f)
          Returns a show instance using the given function.
 List<Character> showl(A a)
          Returns the display rendering of the given argument.
 F<A,String> showS_()
          Returns the transformation equivalent to this show.
 String showS(A a)
          Returns the display rendering of the given argument as a String.
static
<A> Show<A>
showS(F<A,String> f)
          Returns a show instance using the given function.
static
<A> Show<Stream<A>>
streamShow(Show<A> sa)
          A show instance for the Stream type.
static
<A> Show<Tree<A>>
treeShow(Show<A> sa)
          A show instance for the Tree type.
static
<A> Show<Stream<A>>
unlineShow(Show<A> sa)
          A show instance for streams that splits into lines.
static
<A> Show<V2<A>>
v2Show(Show<A> ea)
          A show instance for a vector-2.
static
<A> Show<V3<A>>
v3Show(Show<A> ea)
          A show instance for a vector-3.
static
<A> Show<V4<A>>
v4Show(Show<A> ea)
          A show instance for a vector-4.
static
<A> Show<V5<A>>
v5Show(Show<A> ea)
          A show instance for a vector-5.
static
<A> Show<V6<A>>
v6Show(Show<A> ea)
          A show instance for a vector-6.
static
<A> Show<V7<A>>
v7Show(Show<A> ea)
          A show instance for a vector-7.
static
<A> Show<V8<A>>
v8Show(Show<A> ea)
          A show instance for a vector-8.
static
<A,B> Show<Validation<A,B>>
validationShow(Show<A> sa, Show<B> sb)
          A show instance for the Validation type.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

booleanShow

public static final Show<Boolean> booleanShow
A show instance for the boolean type.


byteShow

public static final Show<Byte> byteShow
A show instance for the byte type.


charShow

public static final Show<Character> charShow
A show instance for the char type.


doubleShow

public static final Show<Double> doubleShow
A show instance for the double type.


floatShow

public static final Show<Float> floatShow
A show instance for the float type.


intShow

public static final Show<Integer> intShow
A show instance for the int type.


bigintShow

public static final Show<BigInteger> bigintShow
A show instance for the BigInteger type.


bigdecimalShow

public static final Show<BigDecimal> bigdecimalShow
A show instance for the BigDecimal type.


longShow

public static final Show<Long> longShow
A show instance for the long type.


shortShow

public static final Show<Short> shortShow
A show instance for the short type.


stringShow

public static final Show<String> stringShow
A show instance for the String type.


stringBufferShow

public static final Show<StringBuffer> stringBufferShow
A show instance for the StringBuffer type.


stringBuilderShow

public static final Show<StringBuilder> stringBuilderShow
A show instance for the StringBuilder type.


naturalShow

public static final Show<Natural> naturalShow
A show instance for natural numbers.


lazyStringShow

public static final Show<LazyString> lazyStringShow
A show instance for lazy strings.


HListShow

public static final Show<HList.HNil> HListShow
A show instance for the empty heterogeneous Stream.

Method Detail

comap

public <B> Show<B> comap(F<B,A> f)
Maps the given function across this show as a contra-variant functor.

Parameters:
f - The function to map.
Returns:
A new show.

show

public Stream<Character> show(A a)
Returns the display rendering of the given argument.

Parameters:
a - The argument to display.
Returns:
The display rendering of the given argument.

showl

public List<Character> showl(A a)
Returns the display rendering of the given argument.

Parameters:
a - The argument to display.
Returns:
The display rendering of the given argument.

showS

public String showS(A a)
Returns the display rendering of the given argument as a String.

Parameters:
a - The argument to display.
Returns:
The display rendering of the given argument as a String.

showS_

public F<A,String> showS_()
Returns the transformation equivalent to this show.

Returns:
the transformation equivalent to this show.

show_

public F<A,Stream<Character>> show_()
Returns the transformation equivalent to this show.

Returns:
the transformation equivalent to this show.

println

public Unit println(A a)
Prints the given argument to the standard output stream with a new line.

Parameters:
a - The argument to print.
Returns:
The unit value.

print

public Unit print(A a)
Prints the given argument to the standard output stream.

Parameters:
a - The argument to print.
Returns:
The unit value.

printlnE

public void printlnE(A a)
Prints the given argument to the standard error stream with a new line.

Parameters:
a - The argument to print.

show

public static <A> Show<A> show(F<A,Stream<Character>> f)
Returns a show instance using the given function.

Parameters:
f - The function to use for the returned show instance.
Returns:
A show instance.

showS

public static <A> Show<A> showS(F<A,String> f)
Returns a show instance using the given function.

Parameters:
f - The function to use for the returned show instance.
Returns:
A show instance.

anyShow

public static <A> Show<A> anyShow()
Returns a show instance that uses Object.toString() to perform the display rendering.

Returns:
A show instance that uses Object.toString() to perform the display rendering.

optionShow

public static <A> Show<Option<A>> optionShow(Show<A> sa)
A show instance for the Option type.

Parameters:
sa - Show for the element of the option.
Returns:
A show instance for the Option type.

eitherShow

public static <A,B> Show<Either<A,B>> eitherShow(Show<A> sa,
                                                 Show<B> sb)
A show instance for the Either type.

Parameters:
sa - Show for the left side of the Either.
sb - Show for the right side of the Either.
Returns:
A show instance for the Either type.

validationShow

public static <A,B> Show<Validation<A,B>> validationShow(Show<A> sa,
                                                         Show<B> sb)
A show instance for the Validation type.

Parameters:
sa - Show for the fail side of the Validation.
sb - Show for the success side of the Validation.
Returns:
A show instance for the Validation type.

listShow

public static <A> Show<List<A>> listShow(Show<A> sa)
A show instance for the Stream type.

Parameters:
sa - Show for the elements of the Stream.
Returns:
A show instance for the Stream type.

nonEmptyListShow

public static <A> Show<NonEmptyList<A>> nonEmptyListShow(Show<A> sa)
A show instance for the NonEmptyList type.

Parameters:
sa - Show for the elements of the non-empty Stream.
Returns:
A show instance for the NonEmptyList type.

treeShow

public static <A> Show<Tree<A>> treeShow(Show<A> sa)
A show instance for the Tree type.

Parameters:
sa - Show for the elements of the tree.
Returns:
A show instance for the Tree type.

streamShow

public static <A> Show<Stream<A>> streamShow(Show<A> sa)
A show instance for the Stream type.

Parameters:
sa - Show for the elements of the stream.
Returns:
A show instance for the Stream type.

arrayShow

public static <A> Show<Array<A>> arrayShow(Show<A> sa)
A show instance for the Array type.

Parameters:
sa - Show for the elements of the array.
Returns:
A show instance for the Array type.

classShow

public static <A> Show<Class<A>> classShow()
A show instance for the Class type.

Returns:
A show instance for the Class type.

p1Show

public static <A> Show<P1<A>> p1Show(Show<A> sa)
A show instance for the tuple-1 type.

Parameters:
sa - Show for the first element of the tuple.
Returns:
A show instance for the tuple-1 type.

p2Show

public static <A,B> Show<P2<A,B>> p2Show(Show<A> sa,
                                         Show<B> sb)
A show instance for the tuple-2 type.

Parameters:
sa - Show for the first element of the tuple.
sb - Show for the second element of the tuple.
Returns:
A show instance for the tuple-2 type.

p3Show

public static <A,B,C> Show<P3<A,B,C>> p3Show(Show<A> sa,
                                             Show<B> sb,
                                             Show<C> sc)
A show instance for the tuple-3 type.

Parameters:
sa - Show for the first element of the tuple.
sb - Show for the second element of the tuple.
sc - Show for the third element of the tuple.
Returns:
A show instance for the tuple-3 type.

p4Show

public static <A,B,C,D> Show<P4<A,B,C,D>> p4Show(Show<A> sa,
                                                 Show<B> sb,
                                                 Show<C> sc,
                                                 Show<D> sd)
A show instance for the tuple-4 type.

Parameters:
sa - Show for the first element of the tuple.
sb - Show for the second element of the tuple.
sc - Show for the third element of the tuple.
sd - Show for the fourth element of the tuple.
Returns:
A show instance for the tuple-4 type.

p5Show

public static <A,B,C,D,E> Show<P5<A,B,C,D,E>> p5Show(Show<A> sa,
                                                     Show<B> sb,
                                                     Show<C> sc,
                                                     Show<D> sd,
                                                     Show<E> se)
A show instance for the tuple-5 type.

Parameters:
sa - Show for the first element of the tuple.
sb - Show for the second element of the tuple.
sc - Show for the third element of the tuple.
sd - Show for the fourth element of the tuple.
se - Show for the fifth element of the tuple.
Returns:
A show instance for the tuple-5 type.

p6Show

public static <A,B,C,D,E,F$> Show<P6<A,B,C,D,E,F$>> p6Show(Show<A> sa,
                                                           Show<B> sb,
                                                           Show<C> sc,
                                                           Show<D> sd,
                                                           Show<E> se,
                                                           Show<F$> sf)
A show instance for the tuple-6 type.

Parameters:
sa - Show for the first element of the tuple.
sb - Show for the second element of the tuple.
sc - Show for the third element of the tuple.
sd - Show for the fourth element of the tuple.
se - Show for the fifth element of the tuple.
sf - Show for the sixth element of the tuple.
Returns:
A show instance for the tuple-6 type.

p7Show

public static <A,B,C,D,E,F$,G> Show<P7<A,B,C,D,E,F$,G>> p7Show(Show<A> sa,
                                                               Show<B> sb,
                                                               Show<C> sc,
                                                               Show<D> sd,
                                                               Show<E> se,
                                                               Show<F$> sf,
                                                               Show<G> sg)
A show instance for the tuple-7 type.

Parameters:
sa - Show for the first element of the tuple.
sb - Show for the second element of the tuple.
sc - Show for the third element of the tuple.
sd - Show for the fourth element of the tuple.
se - Show for the fifth element of the tuple.
sf - Show for the sixth element of the tuple.
sg - Show for the seventh element of the tuple.
Returns:
A show instance for the tuple-7 type.

p8Show

public static <A,B,C,D,E,F$,G,H> Show<P8<A,B,C,D,E,F$,G,H>> p8Show(Show<A> sa,
                                                                   Show<B> sb,
                                                                   Show<C> sc,
                                                                   Show<D> sd,
                                                                   Show<E> se,
                                                                   Show<F$> sf,
                                                                   Show<G> sg,
                                                                   Show<H> sh)
A show instance for the tuple-8 type.

Parameters:
sa - Show for the first element of the tuple.
sb - Show for the second element of the tuple.
sc - Show for the third element of the tuple.
sd - Show for the fourth element of the tuple.
se - Show for the fifth element of the tuple.
sf - Show for the sixth element of the tuple.
sg - Show for the seventh element of the tuple.
sh - Show for the eighth element of the tuple.
Returns:
A show instance for the tuple-8 type.

v2Show

public static <A> Show<V2<A>> v2Show(Show<A> ea)
A show instance for a vector-2.

Parameters:
ea - A show for the elements of the vector.
Returns:
A show instance for a vector-2.

v3Show

public static <A> Show<V3<A>> v3Show(Show<A> ea)
A show instance for a vector-3.

Parameters:
ea - A show for the elements of the vector.
Returns:
A show instance for a vector-3.

v4Show

public static <A> Show<V4<A>> v4Show(Show<A> ea)
A show instance for a vector-4.

Parameters:
ea - A show for the elements of the vector.
Returns:
A show instance for a vector-4.

v5Show

public static <A> Show<V5<A>> v5Show(Show<A> ea)
A show instance for a vector-5.

Parameters:
ea - A show for the elements of the vector.
Returns:
A show instance for a vector-5.

v6Show

public static <A> Show<V6<A>> v6Show(Show<A> ea)
A show instance for a vector-6.

Parameters:
ea - A show for the elements of the vector.
Returns:
A show instance for a vector-6.

v7Show

public static <A> Show<V7<A>> v7Show(Show<A> ea)
A show instance for a vector-7.

Parameters:
ea - A show for the elements of the vector.
Returns:
A show instance for a vector-7.

v8Show

public static <A> Show<V8<A>> v8Show(Show<A> ea)
A show instance for a vector-8.

Parameters:
ea - A show for the elements of the vector.
Returns:
A show instance for a vector-8.

unlineShow

public static <A> Show<Stream<A>> unlineShow(Show<A> sa)
A show instance for streams that splits into lines.

Parameters:
sa - A show instance for the elements of a stream.
Returns:
A show instance for streams that splits into lines.

HListShow

public static <E,L extends HList<L>> Show<HList.HCons<E,L>> HListShow(Show<E> e,
                                                                      Show<L> l)
A show instance for heterogeneous Streams.

Parameters:
e - A show instance for the first element of the Stream.
l - A show instance for the rest of the Stream.
Returns:
a show instance for heterogeneous Streams.

Copyright 2008 - 2009 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg

This software is released under an open source BSD licence.