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