Trait puffin::protocol::ProtocolTypes

source · 
pub trait ProtocolTypes:
    'static
    + Clone
    + Hash
    + Display
    + Debug
    + Serialize
    + DeserializeOwned {
    type Matcher: Matcher;

    // Required method
    fn signature() -> &'static Signature<Self>;
}
Expand description

Defines the types used to manipulate and concretize Terms

Required Associated Types§

source

type Matcher: Matcher

Required Methods§

source

fn signature() -> &'static Signature<Self>

Get the signature that is used in the protocol

Object Safety§

This trait is not object safe.

Implementors§