Trait dimensioned::array::ToGA

pub trait ToGA {
    type Output;
    fn to_ga() -> Self::Output;
}

Implemented for TArr (a type-level array of type numbers), this gives the equivalent GenericArray.

Example

#[macro_use]
extern crate dimensioned as dim;
#[macro_use]
extern crate generic_array;

use dim::typenum::consts::*;
type TArr = tarr![P3, P2, N5, N8, P2];

fn main() {
    use dim::array::ToGA;
    let x = TArr::to_ga();
    let y = arr![isize; 3, 2, -5, -8, 2];

    assert_eq!(x, y);
}

Associated Types

type Output

The type of the GenericArray to which we've converted

Required Methods

fn to_ga() -> Self::Output

Create a GenericArray of integers from a TArr of type numbers.

Implementations on Foreign Types

impl ToGA for ATerm

type Output = GenericArray<isize, U0>

fn to_ga() -> Self::Output

impl<V, A> ToGA for TArr<V, A> where     V: Integer,     A: Len + ToGA,     <A as ToGA>::Output: AppendFront<isize>,     Length<A>: Add<B1>,     Add1<Length<A>>: Unsigned + ArrayLength<isize>,

type Output = <<A as ToGA>::Output as AppendFront<isize>>::Output

fn to_ga() -> Self::Output

Implementors