Package hydra.extras

Interface Extras

  • public interface Extras
    Basic functions which depend on primitive functions

    • Method Detail

      • functionArity

        static java.lang.Integer functionArity​(Function v1)

      • lookupPrimitive

        static java.util.function.Function<Name,​Opt<Primitive>> lookupPrimitive​(Graph g)

      • primitiveArity

        static java.lang.Integer primitiveArity​(Primitive x)

      • qname

        static java.util.function.Function<java.lang.String,​Name> qname​(Namespace ns)

      • termArity

        static java.lang.Integer termArity​(Term v1)

      • typeArity

        static java.lang.Integer typeArity​(Type v1)

      • uncurryType

        static java.util.List<Type> uncurryType​(Type t)

      • getAnnotation

        static java.util.function.Function<java.util.Map<Name,​Term>,​Opt<Term>> getAnnotation​(Name key)