[][src]Trait oso::ToPolarList

pub trait ToPolarList: Sealed {
    fn to_polar_list(self, host: &mut Host) -> Vec<Term>
    where
        Self: Sized
; }

Required methods

fn to_polar_list(self, host: &mut Host) -> Vec<Term> where
    Self: Sized

Loading content...

Implementations on Foreign Types

impl ToPolarList for ()[src]

impl<TupleElement0: ToPolar + 'static> ToPolarList for (TupleElement0,)[src]

impl<TupleElement0: ToPolar + 'static, TupleElement1: ToPolar + 'static> ToPolarList for (TupleElement0, TupleElement1)[src]

impl<TupleElement0: ToPolar + 'static, TupleElement1: ToPolar + 'static, TupleElement2: ToPolar + 'static> ToPolarList for (TupleElement0, TupleElement1, TupleElement2)[src]

impl<TupleElement0: ToPolar + 'static, TupleElement1: ToPolar + 'static, TupleElement2: ToPolar + 'static, TupleElement3: ToPolar + 'static> ToPolarList for (TupleElement0, TupleElement1, TupleElement2, TupleElement3)[src]

impl<TupleElement0: ToPolar + 'static, TupleElement1: ToPolar + 'static, TupleElement2: ToPolar + 'static, TupleElement3: ToPolar + 'static, TupleElement4: ToPolar + 'static> ToPolarList for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4)[src]

impl<TupleElement0: ToPolar + 'static, TupleElement1: ToPolar + 'static, TupleElement2: ToPolar + 'static, TupleElement3: ToPolar + 'static, TupleElement4: ToPolar + 'static, TupleElement5: ToPolar + 'static> ToPolarList for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5)[src]

impl<TupleElement0: ToPolar + 'static, TupleElement1: ToPolar + 'static, TupleElement2: ToPolar + 'static, TupleElement3: ToPolar + 'static, TupleElement4: ToPolar + 'static, TupleElement5: ToPolar + 'static, TupleElement6: ToPolar + 'static> ToPolarList for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6)[src]

impl<TupleElement0: ToPolar + 'static, TupleElement1: ToPolar + 'static, TupleElement2: ToPolar + 'static, TupleElement3: ToPolar + 'static, TupleElement4: ToPolar + 'static, TupleElement5: ToPolar + 'static, TupleElement6: ToPolar + 'static, TupleElement7: ToPolar + 'static> ToPolarList for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7)[src]

impl<TupleElement0: ToPolar + 'static, TupleElement1: ToPolar + 'static, TupleElement2: ToPolar + 'static, TupleElement3: ToPolar + 'static, TupleElement4: ToPolar + 'static, TupleElement5: ToPolar + 'static, TupleElement6: ToPolar + 'static, TupleElement7: ToPolar + 'static, TupleElement8: ToPolar + 'static> ToPolarList for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8)[src]

impl<TupleElement0: ToPolar + 'static, TupleElement1: ToPolar + 'static, TupleElement2: ToPolar + 'static, TupleElement3: ToPolar + 'static, TupleElement4: ToPolar + 'static, TupleElement5: ToPolar + 'static, TupleElement6: ToPolar + 'static, TupleElement7: ToPolar + 'static, TupleElement8: ToPolar + 'static, TupleElement9: ToPolar + 'static> ToPolarList for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9)[src]

impl<TupleElement0: ToPolar + 'static, TupleElement1: ToPolar + 'static, TupleElement2: ToPolar + 'static, TupleElement3: ToPolar + 'static, TupleElement4: ToPolar + 'static, TupleElement5: ToPolar + 'static, TupleElement6: ToPolar + 'static, TupleElement7: ToPolar + 'static, TupleElement8: ToPolar + 'static, TupleElement9: ToPolar + 'static, TupleElement10: ToPolar + 'static> ToPolarList for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9, TupleElement10)[src]

impl<TupleElement0: ToPolar + 'static, TupleElement1: ToPolar + 'static, TupleElement2: ToPolar + 'static, TupleElement3: ToPolar + 'static, TupleElement4: ToPolar + 'static, TupleElement5: ToPolar + 'static, TupleElement6: ToPolar + 'static, TupleElement7: ToPolar + 'static, TupleElement8: ToPolar + 'static, TupleElement9: ToPolar + 'static, TupleElement10: ToPolar + 'static, TupleElement11: ToPolar + 'static> ToPolarList for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9, TupleElement10, TupleElement11)[src]

impl<TupleElement0: ToPolar + 'static, TupleElement1: ToPolar + 'static, TupleElement2: ToPolar + 'static, TupleElement3: ToPolar + 'static, TupleElement4: ToPolar + 'static, TupleElement5: ToPolar + 'static, TupleElement6: ToPolar + 'static, TupleElement7: ToPolar + 'static, TupleElement8: ToPolar + 'static, TupleElement9: ToPolar + 'static, TupleElement10: ToPolar + 'static, TupleElement11: ToPolar + 'static, TupleElement12: ToPolar + 'static> ToPolarList for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9, TupleElement10, TupleElement11, TupleElement12)[src]

impl<TupleElement0: ToPolar + 'static, TupleElement1: ToPolar + 'static, TupleElement2: ToPolar + 'static, TupleElement3: ToPolar + 'static, TupleElement4: ToPolar + 'static, TupleElement5: ToPolar + 'static, TupleElement6: ToPolar + 'static, TupleElement7: ToPolar + 'static, TupleElement8: ToPolar + 'static, TupleElement9: ToPolar + 'static, TupleElement10: ToPolar + 'static, TupleElement11: ToPolar + 'static, TupleElement12: ToPolar + 'static, TupleElement13: ToPolar + 'static> ToPolarList for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9, TupleElement10, TupleElement11, TupleElement12, TupleElement13)[src]

impl<TupleElement0: ToPolar + 'static, TupleElement1: ToPolar + 'static, TupleElement2: ToPolar + 'static, TupleElement3: ToPolar + 'static, TupleElement4: ToPolar + 'static, TupleElement5: ToPolar + 'static, TupleElement6: ToPolar + 'static, TupleElement7: ToPolar + 'static, TupleElement8: ToPolar + 'static, TupleElement9: ToPolar + 'static, TupleElement10: ToPolar + 'static, TupleElement11: ToPolar + 'static, TupleElement12: ToPolar + 'static, TupleElement13: ToPolar + 'static, TupleElement14: ToPolar + 'static> ToPolarList for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9, TupleElement10, TupleElement11, TupleElement12, TupleElement13, TupleElement14)[src]

impl<TupleElement0: ToPolar + 'static, TupleElement1: ToPolar + 'static, TupleElement2: ToPolar + 'static, TupleElement3: ToPolar + 'static, TupleElement4: ToPolar + 'static, TupleElement5: ToPolar + 'static, TupleElement6: ToPolar + 'static, TupleElement7: ToPolar + 'static, TupleElement8: ToPolar + 'static, TupleElement9: ToPolar + 'static, TupleElement10: ToPolar + 'static, TupleElement11: ToPolar + 'static, TupleElement12: ToPolar + 'static, TupleElement13: ToPolar + 'static, TupleElement14: ToPolar + 'static, TupleElement15: ToPolar + 'static> ToPolarList for (TupleElement0, TupleElement1, TupleElement2, TupleElement3, TupleElement4, TupleElement5, TupleElement6, TupleElement7, TupleElement8, TupleElement9, TupleElement10, TupleElement11, TupleElement12, TupleElement13, TupleElement14, TupleElement15)[src]

Loading content...

Implementors

Loading content...