Home
last modified time | relevance | path

Searched refs:HList (Results 1 – 25 of 312) sorted by relevance

12345678910>>...13

/dports/lang/rust/rustc-1.58.1-src/src/test/ui/macros/
H A Dtype-macros-hlist.rs8 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 Dgeneric.rs18 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 Dgeneric.rs18 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 Dgeneric.rs18 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 Dgeneric.rs18 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 Dgeneric.rs18 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 Dgeneric.rs18 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 Dgeneric.rs18 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 Dgeneric.rs18 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 DStrict.hs75 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 DStrict.hs43 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 DLazy.hs43 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 Dand.rs5 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 DHList.hs3 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 DHList.hs3 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 DHList.hs3 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 DHList.hs3 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 DHList.hs3 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 DHList.hs3 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 DHList.hs3 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 DHList.hs3 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 DHList.hs3 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 DHList.hs3 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 DHList.hs3 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 DHList.hs3 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

12345678910>>...13