Package hydra.print

Interface Core

  • public interface Core
    String representations of hydra.core types

    • Method Summary

      Static Methods 
      Modifier and Type Method Description
      static java.lang.String binding​(Binding el)
      Show a binding as a string
      static java.lang.String caseStatement​(CaseStatement cs)
      Show a case statement as a string
      static <T0,​T1>
      java.lang.String      		 either​(java.util.function.Function<T0,​java.lang.String> showA, java.util.function.Function<T1,​java.lang.String> showB, Either<T0,​T1> e)
      Show an Either value using given functions for left and right
      static java.lang.String field​(Field field)
      Show a field as a string
      static java.lang.String fields​(java.util.List<Field> flds)
      Show a list of fields as a string
      static java.lang.String fieldType​(FieldType ft)
      Show a field type as a string
      static java.lang.String float_​(FloatValue fv)
      Show a float value as a string
      static java.lang.String floatType​(FloatType ft)
      Show a float type as a string
      static java.lang.String injection​(Injection inj)
      Show an injection as a string
      static java.lang.String integer​(IntegerValue iv)
      Show an integer value as a string
      static java.lang.String integerType​(IntegerType it)
      Show an integer type as a string
      static java.lang.String lambda​(Lambda l)
      Show a lambda as a string
      static java.lang.String let​(Let l)
      Show a let expression as a string
      static <T0> java.lang.String list​(java.util.function.Function<T0,​java.lang.String> f, java.util.List<T0> xs)
      Show a list using a given function to show each element
      static java.lang.String literal​(Literal l)
      Show a literal as a string
      static java.lang.String literalType​(LiteralType lt)
      Show a literal type as a string
      static <T0,​T1>
      java.lang.String      		 map​(java.util.function.Function<T0,​java.lang.String> showK, java.util.function.Function<T1,​java.lang.String> showV, java.util.Map<T0,​T1> m)
      Show a map using given functions to show keys and values
      static <T0> java.lang.String optional​(java.util.function.Function<T0,​java.lang.String> f, Optional<T0> mx)
      Show an optional value using a given function to show the element
      static <T0,​T1>
      java.lang.String      		 pair​(java.util.function.Function<T0,​java.lang.String> showA, java.util.function.Function<T1,​java.lang.String> showB, Pair<T0,​T1> p)
      Show a pair using given functions to show each element
      static java.lang.String projection​(Projection proj)
      Show a projection as a string
      static Optional<Term> readTerm​(java.lang.String s)
      A placeholder for reading terms from their serialized form.
      static <T0> java.lang.String set​(java.util.function.Function<T0,​java.lang.String> f, java.util.Set<T0> xs)
      Show a set using a given function to show each element
      static java.lang.String term​(Term t)
      Show a term as a string
      static java.lang.String type​(Type typ)
      Show a type as a string
      static java.lang.String typeScheme​(TypeScheme ts)
      Show a type scheme as a string

    • Method Detail

      • binding

        static java.lang.String binding​(Binding el)
        Show a binding as a string

      • caseStatement

        static java.lang.String caseStatement​(CaseStatement cs)
        Show a case statement as a string

      • either

        static <T0,​T1> java.lang.String either​(java.util.function.Function<T0,​java.lang.String> showA,
                                             java.util.function.Function<T1,​java.lang.String> showB,
                                             Either<T0,​T1> e)
        Show an Either value using given functions for left and right

      • field

        static java.lang.String field​(Field field)
        Show a field as a string

      • fieldType

        static java.lang.String fieldType​(FieldType ft)
        Show a field type as a string

      • fields

        static java.lang.String fields​(java.util.List<Field> flds)
        Show a list of fields as a string

      • float_

        static java.lang.String float_​(FloatValue fv)
        Show a float value as a string

      • floatType

        static java.lang.String floatType​(FloatType ft)
        Show a float type as a string

      • injection

        static java.lang.String injection​(Injection inj)
        Show an injection as a string

      • integer

        static java.lang.String integer​(IntegerValue iv)
        Show an integer value as a string

      • integerType

        static java.lang.String integerType​(IntegerType it)
        Show an integer type as a string

      • lambda

        static java.lang.String lambda​(Lambda l)
        Show a lambda as a string

      • let

        static java.lang.String let​(Let l)
        Show a let expression as a string

      • list

        static <T0> java.lang.String list​(java.util.function.Function<T0,​java.lang.String> f,
                                  java.util.List<T0> xs)
        Show a list using a given function to show each element

      • literal

        static java.lang.String literal​(Literal l)
        Show a literal as a string

      • literalType

        static java.lang.String literalType​(LiteralType lt)
        Show a literal type as a string

      • map

        static <T0,​T1> java.lang.String map​(java.util.function.Function<T0,​java.lang.String> showK,
                                          java.util.function.Function<T1,​java.lang.String> showV,
                                          java.util.Map<T0,​T1> m)
        Show a map using given functions to show keys and values

      • optional

        static <T0> java.lang.String optional​(java.util.function.Function<T0,​java.lang.String> f,
                                      Optional<T0> mx)
        Show an optional value using a given function to show the element

      • pair

        static <T0,​T1> java.lang.String pair​(java.util.function.Function<T0,​java.lang.String> showA,
                                           java.util.function.Function<T1,​java.lang.String> showB,
                                           Pair<T0,​T1> p)
        Show a pair using given functions to show each element

      • projection

        static java.lang.String projection​(Projection proj)
        Show a projection as a string

      • readTerm

        static Optional<Term> readTerm​(java.lang.String s)
        A placeholder for reading terms from their serialized form. Not implemented.

      • set

        static <T0> java.lang.String set​(java.util.function.Function<T0,​java.lang.String> f,
                                 java.util.Set<T0> xs)
        Show a set using a given function to show each element

      • term

        static java.lang.String term​(Term t)
        Show a term as a string

      • type

        static java.lang.String type​(Type typ)
        Show a type as a string

      • typeScheme

        static java.lang.String typeScheme​(TypeScheme ts)
        Show a type scheme as a string