Package fj

Class Show<A>

java.lang.Object
fj.Show<A>
public final class Show<A> extends Object
Renders an object for display.

  • Field Details

    • f

      private final F<A,Stream<Character>> f

    • 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.

    • bitSetShow

      public static final Show<BitSet> bitSetShow

  • Constructor Details

  • Method Details

    • contramap

      public <B> Show<B> contramap(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.

    • either3Show

      public static <A, B, C> Show<Either3<A,B,C>> either3Show(Show<A> sa, Show<B> sb, Show<C> sc)

    • resultShow

      public static <I, A> Show<Result<I,A>> resultShow(Show<A> sa, Show<I> si)
      A show instance for the Result type.
      Parameters:
      sa - Show for the Result value.
      si - Show for the Result remainder.
      Returns:
      A show instance for the Result 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.

    • digitShow

      public static <V, A> Show<Digit<V,A>> digitShow(Show<V> sv, Show<A> sa)

    • nodeShow

      public static <V, A> Show<Node<V,A>> nodeShow(Show<V> sv, Show<A> sa)

    • fingerTreeShow

      public static <V, A> Show<FingerTree<V,A>> fingerTreeShow(Show<V> sv, Show<A> sa)

    • seqShow

      public static <A> Show<Seq<A>> seqShow(Show<A> sa)

    • setShow

      public static <A> Show<Set<A>> setShow(Show<A> sa)
      A show instance for the Set type.
      Parameters:
      sa - Show for the elements of the set.
      Returns:
      A show instance for the Set type.

    • treeMapShow

      public static <K, V> Show<TreeMap<K,V>> treeMapShow(Show<K> sk, Show<V> sv)
      A show instance for the TreeMap type.
      Parameters:
      sk - Show for the keys of the TreeMap.
      sv - Show for the values of the TreeMap.
      Returns:
      A show instance for the TreeMap type.

    • p2MapShow

      public static <A, B> Show<P2<A,B>> p2MapShow(Show<A> sa, Show<B> sb)
      A show instance for the tuple-2 type in the style of a mapping from A to B.
      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.

    • p2Show

      public static <A, B> Show<P2<A,B>> p2Show(Show<A> sa, Show<B> sb, String start, String sep, String end)
      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.
      start - Prefix string for the show.
      sep - Separator string between elements of the tuple.
      end - Suffix string for the show.
      Returns:
      A show instance for the tuple-2 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.

    • streamShow

      public static <A> Show<Stream<A>> streamShow(Show<A> sa, String start, String sep, String end)
      A show instance for the Stream type.
      Parameters:
      sa - Show for the first element of the tuple.
      start - Prefix string for the show.
      sep - Separator string between elements of the stream.
      end - Suffix string for the show.
      Returns:
      A show instance for the Stream type.

    • streamShow_

      public static <A> F<Stream<A>,Stream<Character>> streamShow_(Show<A> sa, String start, String sep, String end)
      Returns the transformation equivalent for the stream show.

    • 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.

    • p1ShowLazy

      public static <A> Show<P1<A>> p1ShowLazy(Show<A> sa)

    • p1ShowEager

      public static <A> Show<P1<A>> p1ShowEager(Show<A> sa)

    • 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.

    • priorityQueueShow

      public static <K, V> Show<PriorityQueue<K,V>> priorityQueueShow(Show<K> sk, Show<V> sv)

    • 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.

    • hamtNodeShow

      public static <K, V> Show<Node<K,V>> hamtNodeShow(Show<K> sk, Show<V> sv)

    • hamtShow

      public static <K, V> Show<HashArrayMappedTrie<K,V>> hamtShow(Show<K> sk, Show<V> sv)