[−][src]Trait higher_order_core::Ho

pub trait Ho<T>: Sized {
    type Fun: Clone;
}

Implemented by higher order types.

A higher order type might be a concrete value, or it might be a function of some input type T.

Each higher order type has an associated function type for any argument of type T.

This makes it possible to e.g. associate PointFunc<T> with Point.

Associated Types

type Fun: Clone

The function type.

Loading content...

Implementations on Foreign Types

impl<T> Ho<Arg<T>> for f64[src]

type Fun = Func<T, f64>

impl<T> Ho<Arg<T>> for f32[src]

type Fun = Func<T, f32>

impl<T> Ho<Arg<T>> for u8[src]

type Fun = Func<T, u8>

impl<T> Ho<Arg<T>> for u16[src]

type Fun = Func<T, u16>

impl<T> Ho<Arg<T>> for u32[src]

type Fun = Func<T, u32>

impl<T> Ho<Arg<T>> for u64[src]

type Fun = Func<T, u64>

impl<T> Ho<Arg<T>> for usize[src]

type Fun = Func<T, usize>

impl<T> Ho<Arg<T>> for i8[src]

type Fun = Func<T, i8>

impl<T> Ho<Arg<T>> for i16[src]

type Fun = Func<T, i16>

impl<T> Ho<Arg<T>> for i32[src]

type Fun = Func<T, i32>

impl<T> Ho<Arg<T>> for i64[src]

type Fun = Func<T, i64>

impl<T> Ho<Arg<T>> for isize[src]

type Fun = Func<T, isize>

Loading content...

Implementors

impl<T: Clone> Ho<()> for T[src]

type Fun = T

Loading content...