Trait path_iter::PApp

pub trait PApp {
    type Arg;
    type Ret;
    fn papp(self, arg: Self::Arg) -> Self::Ret;
}

Implemented for partial application.

For example, And::papp(true) returns Either::Left(Idb).

Associated Types

type Arg

The argument type.

type Ret

The return type of partial application.

Loading content...

Required methods

fn papp(self, arg: Self::Arg) -> Self::Ret

Applies argument to function, using partial application.

Loading content...

Implementors

impl PApp for And

type Arg = bool

type Ret = Either<Idb, False1>

fn papp(self, b: bool) -> Self::Ret

impl PApp for Eqb

type Arg = bool

type Ret = Either<Idb, Not>

fn papp(self, b: bool) -> Self::Ret

impl PApp for Fstb

type Arg = bool

type Ret = Item<bool>

fn papp(self, b: bool) -> Self::Ret

impl PApp for Or

type Arg = bool

type Ret = Either<True1, Idb>

fn papp(self, b: bool) -> Self::Ret

impl PApp for Sndb

type Arg = bool

type Ret = Idb

fn papp(self, _: bool) -> Self::Ret

impl PApp for Xor

type Arg = bool

type Ret = Either<Not, Idb>

fn papp(self, b: bool) -> Self::Ret

Loading content...