/dports/lang/rust/rustc-1.58.1-src/src/test/ui/macros/ |
H A D | type-macros-hlist.rs | 8 struct Cons<H, T: HList>(H, T); 12 trait HList { } interface 13 impl HList for Nil { } 14 impl <H, T: HList> HList for Cons<H, T> { } 29 impl <Ys: HList> Add<Ys> for Nil { 39 impl <Rec: HList + Sized, X, Xs: HList, Ys: HList> Add<Ys> for Cons<X, Xs> 60 fn aux<Xs: HList, Ys: HList>(xs: Xs, ys: Ys) -> Expr!(Xs + Ys) where in main() argument 67 let ys: HList!(u64 , [ u8 ; 3 ] , ( )) = in main() 73 HList ! [ & str ] + HList ! [ bool ] + HList ! [ Vec < u64 > in main() 74 ] ) + ( HList ! [ u64 ] + HList ! [ [ u8 ; 3 ] , ( ) ] ) + in main() [all …]
|
/dports/net/oha/oha-0.4.7/cargo-crates/warp-0.3.1/src/ |
H A D | generic.rs | 18 pub trait HList: Sized { trait 19 type Tuple: Tuple<HList = Self>; 26 type HList: HList<Tuple = Self>; typedef 28 fn hlist(self) -> Self::HList; in hlist() argument 35 Self::HList: Combine<T::HList>, in combine() argument 42 <<<T as Tuple>::HList as Combine<<U as Tuple>::HList>>::Output as HList>::Tuple; 45 pub trait Combine<T: HList> { 46 type Output: HList; 67 impl<H, T: HList, U: HList> Combine<U> for Product<H, T> 80 impl HList for () { impl [all …]
|
/dports/textproc/mdbook/mdBook-0.4.13/cargo-crates/warp-0.3.1/src/ |
H A D | generic.rs | 18 pub trait HList: Sized { interface 19 type Tuple: Tuple<HList = Self>; 26 type HList: HList<Tuple = Self>; typedef 28 fn hlist(self) -> Self::HList; in hlist() argument 35 Self::HList: Combine<T::HList>, in combine() argument 42 <<<T as Tuple>::HList as Combine<<U as Tuple>::HList>>::Output as HList>::Tuple; 45 pub trait Combine<T: HList> { 46 type Output: HList; 67 impl<H, T: HList, U: HList> Combine<U> for Product<H, T> 80 impl HList for () { impl [all …]
|
/dports/sysutils/vector/vector-0.10.0/cargo-crates/warp-0.2.3/src/ |
H A D | generic.rs | 18 pub trait HList: Sized { interface 19 type Tuple: Tuple<HList = Self>; 26 type HList: HList<Tuple = Self>; typedef 28 fn hlist(self) -> Self::HList; in hlist() argument 32 pub trait Combine<T: HList> { 33 type Output: HList; 46 impl<T: HList> Combine<T> for () { 54 impl<H, T: HList, U: HList> Combine<U> for Product<H, T> 67 impl HList for () { impl 74 type HList = (); typedef [all …]
|
/dports/www/geckodriver/mozilla-central-e9783a644016aa9b317887076618425586730d73/testing/geckodriver/cargo-crates/warp-0.1.19/src/ |
H A D | generic.rs | 18 pub trait HList: Sized { interface 19 type Tuple: Tuple<HList = Self>; 26 type HList: HList<Tuple = Self>; typedef 28 fn hlist(self) -> Self::HList; in hlist() argument 32 pub trait Combine<T: HList> { 33 type Output: HList; 46 impl<T: HList> Combine<T> for () { 54 impl<H, T: HList, U: HList> Combine<U> for Product<H, T> 67 impl HList for () { impl 76 type HList = (); typedef [all …]
|
/dports/www/firefox/firefox-99.0/third_party/rust/warp/src/ |
H A D | generic.rs | 18 pub trait HList: Sized { interface 19 type Tuple: Tuple<HList = Self>; 26 type HList: HList<Tuple = Self>; typedef 28 fn hlist(self) -> Self::HList; in hlist() argument 32 pub trait Combine<T: HList> { 33 type Output: HList; 46 impl<T: HList> Combine<T> for () { 54 impl<H, T: HList, U: HList> Combine<U> for Product<H, T> 67 impl HList for () { implementation 74 type HList = (); typedef [all …]
|
/dports/mail/thunderbird/thunderbird-91.8.0/third_party/rust/warp/src/ |
H A D | generic.rs | 18 pub trait HList: Sized { trait 19 type Tuple: Tuple<HList = Self>; 26 type HList: HList<Tuple = Self>; typedef 28 fn hlist(self) -> Self::HList; in hlist() argument 32 pub trait Combine<T: HList> { 33 type Output: HList; 46 impl<T: HList> Combine<T> for () { 54 impl<H, T: HList, U: HList> Combine<U> for Product<H, T> 67 impl HList for () { implementation 74 type HList = (); typedef [all …]
|
/dports/www/firefox-esr/firefox-91.8.0/third_party/rust/warp/src/ |
H A D | generic.rs | 18 pub trait HList: Sized { trait 19 type Tuple: Tuple<HList = Self>; 26 type HList: HList<Tuple = Self>; typedef 28 fn hlist(self) -> Self::HList; in hlist() argument 32 pub trait Combine<T: HList> { 33 type Output: HList; 46 impl<T: HList> Combine<T> for () { 54 impl<H, T: HList, U: HList> Combine<U> for Product<H, T> 67 impl HList for () { implementation 74 type HList = (); typedef [all …]
|
/dports/lang/spidermonkey78/firefox-78.9.0/third_party/rust/warp/src/ |
H A D | generic.rs | 18 pub trait HList: Sized { interface 19 type Tuple: Tuple<HList = Self>; 26 type HList: HList<Tuple = Self>; typedef 28 fn hlist(self) -> Self::HList; in hlist() argument 32 pub trait Combine<T: HList> { 33 type Output: HList; 46 impl<T: HList> Combine<T> for () { 54 impl<H, T: HList, U: HList> Combine<U> for Product<H, T> 67 impl HList for () { implementation 74 type HList = (); typedef [all …]
|
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/multistate-0.8.0.3/src/Control/Monad/Trans/MultiRWS/ |
H A D | Strict.hs | 75 import Data.HList.HList 124 runMultiRWSTRaw :: StateT (HList r, HList w, HList s) m a function 192 => HList r 193 -> HList s 195 -> m (a, HList s, HList w) 199 => HList r 200 -> HList s 202 -> m (a, HList s, HList w) 223 -> m (HList s, HList w) 462 mapMultiRWST :: (ss ~ (HList r, HList w, HList s)) [all …]
|
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/multistate-0.8.0.3/src/Control/Monad/Trans/MultiWriter/ |
H A D | Strict.hs | 43 import Data.HList.HList 44 import Data.HList.ContainsType 107 runMultiWriterTRaw :: StateT (HList x) m a 158 runMultiWriterT :: (Monoid (HList w), Functor m) => MultiWriterT w m a -> m (a, HList w) 159 runMultiWriterTAW :: (Monoid (HList w), Functor m) => MultiWriterT w m a -> m (a, HList w) 160 runMultiWriterTWA :: (Monoid (HList w), Monad m) => MultiWriterT w m a -> m (HList w, a) 161 runMultiWriterTW :: (Monoid (HList w), Monad m) => MultiWriterT w m a -> m (HList w) 187 -> MultiWriterT w2 m (a, HList w1) 191 -> MultiWriterT w2 m (a, HList w1) 202 -> MultiWriterT w2 m (HList w1) [all …]
|
H A D | Lazy.hs | 43 import Data.HList.HList 44 import Data.HList.ContainsType 107 runMultiWriterTRaw :: StateT (HList x) m a 158 runMultiWriterT :: (Monoid (HList w), Functor m) => MultiWriterT w m a -> m (a, HList w) 159 runMultiWriterTAW :: (Monoid (HList w), Functor m) => MultiWriterT w m a -> m (a, HList w) 160 runMultiWriterTWA :: (Monoid (HList w), Monad m) => MultiWriterT w m a -> m (HList w, a) 161 runMultiWriterTW :: (Monoid (HList w), Monad m) => MultiWriterT w m a -> m (HList w) 187 -> MultiWriterT w2 m (a, HList w1) 191 -> MultiWriterT w2 m (a, HList w1) 202 -> MultiWriterT w2 m (HList w1) [all …]
|
/dports/www/geckodriver/mozilla-central-e9783a644016aa9b317887076618425586730d73/testing/geckodriver/cargo-crates/warp-0.1.19/src/filter/ |
H A D | and.rs | 5 use super::{Combine, Filter, FilterBase, HList, Tuple}; 19 <T::Extract as Tuple>::HList: Combine<<U::Extract as Tuple>::HList> + Send, 20 …<<<T::Extract as Tuple>::HList as Combine<<U::Extract as Tuple>::HList>>::Output as HList>::Tuple:… 23 …type Extract = <<<T::Extract as Tuple>::HList as Combine<<U::Extract as Tuple>::HList>>::Output as… 50 <T::Extract as Tuple>::HList: Combine<<U::Extract as Tuple>::HList> + Send, 54 …type Item = <<<T::Extract as Tuple>::HList as Combine<<U::Extract as Tuple>::HList>>::Output as HL…
|
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/syb-0.7.2.1/tests/ |
H A D | HList.hs | 3 module HList (tests) where module 17 type HList = [DontKnow] type 22 initHList :: HList 26 addHList :: Typeable a => a -> HList -> HList 30 nullHList :: HList -> Bool 34 headHList :: Typeable a => HList -> Maybe a 39 tailHList :: HList -> HList 43 nth1HList :: Typeable a => Int -> HList -> Maybe a
|
/dports/games/hs-scroll/scroll-1.20180421/_cabal_deps/syb-0.7.1/tests/ |
H A D | HList.hs | 3 module HList (tests) where module 17 type HList = [DontKnow] type 22 initHList :: HList 26 addHList :: Typeable a => a -> HList -> HList 30 nullHList :: HList -> Bool 34 headHList :: Typeable a => HList -> Maybe a 39 tailHList :: HList -> HList 43 nth1HList :: Typeable a => Int -> HList -> Maybe a
|
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/syb-0.7.1/tests/ |
H A D | HList.hs | 3 module HList (tests) where module 17 type HList = [DontKnow] type 22 initHList :: HList 26 addHList :: Typeable a => a -> HList -> HList 30 nullHList :: HList -> Bool 34 headHList :: Typeable a => HList -> Maybe a 39 tailHList :: HList -> HList 43 nth1HList :: Typeable a => Int -> HList -> Maybe a
|
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/syb-0.7.1/tests/ |
H A D | HList.hs | 3 module HList (tests) where module 17 type HList = [DontKnow] function 22 initHList :: HList 26 addHList :: Typeable a => a -> HList -> HList 30 nullHList :: HList -> Bool 34 headHList :: Typeable a => HList -> Maybe a 39 tailHList :: HList -> HList 43 nth1HList :: Typeable a => Int -> HList -> Maybe a
|
/dports/devel/hs-mueval/mueval-0.9.3/_cabal_deps/syb-0.7.1/tests/ |
H A D | HList.hs | 3 module HList (tests) where module 17 type HList = [DontKnow] type 22 initHList :: HList 26 addHList :: Typeable a => a -> HList -> HList 30 nullHList :: HList -> Bool 34 headHList :: Typeable a => HList -> Maybe a 39 tailHList :: HList -> HList 43 nth1HList :: Typeable a => Int -> HList -> Maybe a
|
/dports/devel/hs-hasktags/hasktags-0.72.0/_cabal_deps/syb-0.7.1/tests/ |
H A D | HList.hs | 3 module HList (tests) where module 17 type HList = [DontKnow] type 22 initHList :: HList 26 addHList :: Typeable a => a -> HList -> HList 30 nullHList :: HList -> Bool 34 headHList :: Typeable a => HList -> Maybe a 39 tailHList :: HList -> HList 43 nth1HList :: Typeable a => Int -> HList -> Maybe a
|
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/syb-0.7.2.1/tests/ |
H A D | HList.hs | 3 module HList (tests) where module 17 type HList = [DontKnow] function 22 initHList :: HList 26 addHList :: Typeable a => a -> HList -> HList 30 nullHList :: HList -> Bool 34 headHList :: Typeable a => HList -> Maybe a 39 tailHList :: HList -> HList 43 nth1HList :: Typeable a => Int -> HList -> Maybe a
|
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/syb-0.7.2.1/tests/ |
H A D | HList.hs | 3 module HList (tests) where module 17 type HList = [DontKnow] type 22 initHList :: HList 26 addHList :: Typeable a => a -> HList -> HList 30 nullHList :: HList -> Bool 34 headHList :: Typeable a => HList -> Maybe a 39 tailHList :: HList -> HList 43 nth1HList :: Typeable a => Int -> HList -> Maybe a
|
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/syb-0.7.2.1/tests/ |
H A D | HList.hs | 3 module HList (tests) where module 17 type HList = [DontKnow] function 22 initHList :: HList 26 addHList :: Typeable a => a -> HList -> HList 30 nullHList :: HList -> Bool 34 headHList :: Typeable a => HList -> Maybe a 39 tailHList :: HList -> HList 43 nth1HList :: Typeable a => Int -> HList -> Maybe a
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/syb-0.7.2.1/tests/ |
H A D | HList.hs | 3 module HList (tests) where module 17 type HList = [DontKnow] type 22 initHList :: HList 26 addHList :: Typeable a => a -> HList -> HList 30 nullHList :: HList -> Bool 34 headHList :: Typeable a => HList -> Maybe a 39 tailHList :: HList -> HList 43 nth1HList :: Typeable a => Int -> HList -> Maybe a
|
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/syb-0.7.2.1/tests/ |
H A D | HList.hs | 3 module HList (tests) where module 17 type HList = [DontKnow] function 22 initHList :: HList 26 addHList :: Typeable a => a -> HList -> HList 30 nullHList :: HList -> Bool 34 headHList :: Typeable a => HList -> Maybe a 39 tailHList :: HList -> HList 43 nth1HList :: Typeable a => Int -> HList -> Maybe a
|
/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/syb-0.7.1/tests/ |
H A D | HList.hs | 3 module HList (tests) where module 17 type HList = [DontKnow] type 22 initHList :: HList 26 addHList :: Typeable a => a -> HList -> HList 30 nullHList :: HList -> Bool 34 headHList :: Typeable a => HList -> Maybe a 39 tailHList :: HList -> HList 43 nth1HList :: Typeable a => Int -> HList -> Maybe a
|