Class Two<V,​A>


  • public final class Two<V,​A>
    extends Digit<V,​A>
    A two-element prefix or suffix of a finger tree.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private V2<A> as  
    • Constructor Summary

      Constructors 
      Constructor Description
      Two​(Measured<V,​A> m, V2<A> as)  
    • Field Detail

      • as

        private final V2<A> as
    • Method Detail

      • foldRight

        public <B> B foldRight​(F<A,​F<B,​B>> aff,
                               B z)
        Description copied from class: Digit
        Folds this digit to the right using the given function and the given initial value.
        Specified by:
        foldRight in class Digit<V,​A>
        Parameters:
        aff - A function with which to fold this digit.
        z - An initial value to apply at the rightmost end of the fold.
        Returns:
        The right reduction of this digit with the given function and the given initial value.
      • foldLeft

        public <B> B foldLeft​(F<B,​F<A,​B>> bff,
                              B z)
        Description copied from class: Digit
        Folds this digit to the left using the given function and the given initial value.
        Specified by:
        foldLeft in class Digit<V,​A>
        Parameters:
        bff - A function with which to fold this digit.
        z - An initial value to apply at the leftmost end of the fold.
        Returns:
        The left reduction of this digit with the given function and the given initial value.
      • match

        public <B> B match​(F<One<V,​A>,​B> one,
                           F<Two<V,​A>,​B> two,
                           F<Three<V,​A>,​B> three,
                           F<Four<V,​A>,​B> four)
        Description copied from class: Digit
        Structural pattern matching on digits. Applies the function that matches the structure of this digit.
        Specified by:
        match in class Digit<V,​A>
        Parameters:
        one - A function to apply to this digit if it's One.
        two - A function to apply to this digit if it's Two.
        three - A function to apply to this digit if it's Three.
        four - A function to apply to this digit if it's Four.
        Returns:
        The result of applying the function matching this Digit.
      • values

        public V2<A> values()
        Returns the elements of this digit as a vector.
        Returns:
        the elements of this digit as a vector.
      • lookup

        public P2<java.lang.Integer,​A> lookup​(F<V,​java.lang.Integer> o,
                                                    int i)
        Specified by:
        lookup in class Digit<V,​A>
      • length

        public int length()
        Specified by:
        length in class Digit<V,​A>
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class Digit<V,​A>