Package hydra.encode

Interface Typed

  • public interface Typed
    Term encoders for hydra.typed

    • Method Detail

      • typedBinding

        static <T0,​T1> Term typedBinding​(T0 a,
                                       TypedBinding<T1> x)
        Encoder for hydra.typed.TypedBinding

      • typedTerm

        static <T0,​T1> Term typedTerm​(T0 a,
                                    TypedTerm<T1> x)
        Encoder for hydra.typed.TypedTerm

      • typedTermDefinition

        static <T0,​T1> Term typedTermDefinition​(T0 a,
                                              TypedTermDefinition<T1> x)
        Encoder for hydra.typed.TypedTermDefinition