Package hydra.lib.strings

Class Cat2

    • Constructor Summary

      Constructors 
      Constructor Description
      Cat2()  

    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      static java.lang.String apply​(java.lang.String left, java.lang.String right)
      Concatenates two strings.
      protected java.util.function.Function<java.util.List<Term>,​java.util.function.Function<Context,​java.util.function.Function<Graph,​Either<InContext<Error_>,​Term>>>> implementation()
      Provides the implementation of this primitive function.
      Name name()
      Returns the name of this primitive function.
      TypeScheme type()
      Returns the type scheme of this function.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • Cat2

        public Cat2()

    • Method Detail

      • name

        public Name name()
        Returns the name of this primitive function.
        Specified by:
        name in class PrimitiveFunction
        Returns:
        the name "hydra.lib.strings.cat2"

      • type

        public TypeScheme type()
        Returns the type scheme of this function.
        Specified by:
        type in class PrimitiveFunction
        Returns:
        the type scheme for a function that concatenates two strings

      • implementation

        protected java.util.function.Function<java.util.List<Term>,​java.util.function.Function<Context,​java.util.function.Function<Graph,​Either<InContext<Error_>,​Term>>>> implementation()
        Provides the implementation of this primitive function.
        Specified by:
        implementation in class PrimitiveFunction
        Returns:
        a function that transforms terms to a flow of graph and term

      • apply

        public static java.lang.String apply​(java.lang.String left,
                                     java.lang.String right)
        Concatenates two strings.
        Parameters:
        left - the first string
        right - the second string
        Returns:
        the concatenation of left and right