Trait lattices::DeepReveal

pub trait DeepReveal {
    type Revealed;

    // Required method
    fn deep_reveal(self) -> Self::Revealed;
}

Trait for recursively revealing the underlying types within lattice types.

Required Associated Types

type Revealed

The underlying type when revealed.

Required Methods

fn deep_reveal(self) -> Self::Revealed

Reveals the underlying lattice types recursively.

Implementations on Foreign Types

impl DeepReveal for ()

type Revealed = ()

fn deep_reveal(self) -> Self::Revealed

Implementors

impl<Inner> DeepReveal for WithBot<Inner>

where Inner: DeepReveal,

type Revealed = Option<<Inner as DeepReveal>::Revealed>

impl<Inner> DeepReveal for WithTop<Inner>

where Inner: DeepReveal,

type Revealed = Option<<Inner as DeepReveal>::Revealed>

impl<Key, Val> DeepReveal for DomPair<Key, Val>

where Key: DeepReveal, Val: DeepReveal,

type Revealed = (<Key as DeepReveal>::Revealed, <Val as DeepReveal>::Revealed)

impl<Lat> DeepReveal for VecUnion<Lat>

where Lat: DeepReveal,

type Revealed = Vec<<Lat as DeepReveal>::Revealed>

impl<LatA, LatB> DeepReveal for Pair<LatA, LatB>

where LatA: DeepReveal, LatB: DeepReveal,

type Revealed = (<LatA as DeepReveal>::Revealed, <LatB as DeepReveal>::Revealed)

impl<Map> DeepReveal for UnionFind<Map>

type Revealed = Map

impl<Map, Val> DeepReveal for MapUnion<Map>

where Map: Keyed<Item = Val> + MapMapValues<Val>, Val: DeepReveal,

type Revealed = <Map as MapMapValues<Val>>::MapValue<<Val as DeepReveal>::Revealed>

impl<Set> DeepReveal for SetUnion<Set>

type Revealed = Set

impl<T> DeepReveal for Conflict<T>

type Revealed = Option<T>

impl<T> DeepReveal for Max<T>

type Revealed = T

impl<T> DeepReveal for Min<T>

type Revealed = T

impl<T, Provenance> DeepReveal for Point<T, Provenance>

type Revealed = T