Package hydra.show

Interface Typing

  • public interface Typing
    String representations of hydra.typing types

    • Method Summary

      Static Methods 
      Modifier and Type Method Description
      static java.lang.String typeConstraint​(TypeConstraint tc)
      Show a type constraint as a string
      static java.lang.String typeSubst​(TypeSubst ts)
      Show a type substitution as a string

    • Method Detail

      • typeConstraint

        static java.lang.String typeConstraint​(TypeConstraint tc)
        Show a type constraint as a string

      • typeSubst

        static java.lang.String typeSubst​(TypeSubst ts)
        Show a type substitution as a string