Type Definition ghosts::Ghost

pub type Ghost<T> = Ghost<PhantomData<T>>;

The type of ghost! expressions.

Guaranteed to be a zero-cost ZST token you can pass around in functions and embed in data structures with no runtime impact whatsoever.

Similar to a PhantomData, it can be directly instanced as a unit struct.

use ::ghosts::Ghost;

let _: Ghost<()> = Ghost;

Implementations

impl<T: ?Sized> Ghost<T>

pub fn map<U>(
    self: Ghost<T>,
    f: Ghost<impl FnOnce(T, Ectoplasm) -> U>
) -> Ghost<U> where
    T: Sized, 

pub fn and_then<U>(
    self: Ghost<T>,
    f: Ghost<impl FnOnce(T, Ectoplasm) -> Ghost<U>>
) -> Ghost<U> where
    T: Sized, 

Trait Implementations

impl<T: ?Sized> Default for Ghost<T>

fn default() -> Self

Returns the “default value” for a type.