Searched defs:ivisit (Results 1 – 4 of 4) sorted by relevance
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/indexed-profunctors-0.1.1/src/Data/Profunctor/ |
| H A D | Indexed.hs | 445 ivisit f = coerce . visit (\point afb -> f point $ \_ -> afb) function
450 ivisit f (StarA point k) = StarA point $ f point (\_ -> k) function
454 ivisit f (Star k) = Star $ f pure (\_ -> k) function
458 ivisit f (Forget k) = Forget $ getConst #. f pure (\_ -> Const #. k) function
468 ivisit f (FunArrow k) = FunArrow $ runIdentity #. f pure (\_ -> Identity #. k) function
472 ivisit f (IxStarA point k) = IxStarA point $ \ij -> f point $ \i -> k (ij i) function
476 ivisit f (IxStar k) = IxStar $ \ij -> f pure $ \i -> k (ij i) function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/indexed-profunctors-0.1/src/Data/Profunctor/ |
| H A D | Indexed.hs | 565 ivisit f = coerce . visit (\point afb -> f point $ \_ -> afb) function
571 ivisit f (StarA point k) = StarA point $ f point (\_ -> k) function
577 ivisit f (Star k) = Star $ f pure (\_ -> k) function
583 ivisit f (Forget k) = Forget $ getConst #. f pure (\_ -> Const #. k) function
597 ivisit f (FunArrow k) = FunArrow $ runIdentity #. f pure (\_ -> Identity #. k) function
603 ivisit f (IxStarA point k) = IxStarA point $ \ij -> f point $ \i -> k (ij i) function
609 ivisit f (IxStar k) = IxStar $ \ij -> f pure $ \i -> k (ij i) function
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/indexed-profunctors-0.1.1/src/Data/Profunctor/ |
| H A D | Indexed.hs | 445 ivisit f = coerce . visit (\point afb -> f point $ \_ -> afb) function
450 ivisit f (StarA point k) = StarA point $ f point (\_ -> k) function
454 ivisit f (Star k) = Star $ f pure (\_ -> k) function
458 ivisit f (Forget k) = Forget $ getConst #. f pure (\_ -> Const #. k) function
468 ivisit f (FunArrow k) = FunArrow $ runIdentity #. f pure (\_ -> Identity #. k) function
472 ivisit f (IxStarA point k) = IxStarA point $ \ij -> f point $ \i -> k (ij i) function
476 ivisit f (IxStar k) = IxStar $ \ij -> f pure $ \i -> k (ij i) function
|
| /dports/science/afni/afni-AFNI_21.3.16/src/SUMA/ |
| H A D | SUMA_GeomComp.c | 11868 N_Branch, Bcnt, ilist, j, ivisit, *VisitationOrder, TriCheck; in SUMA_AssignTriBranch() local
12307 …t E1, int iBranch, int *TriBranch, int *IsInter, int *N_IsInter, int *VisitationOrder, int *ivisit) in SUMA_Mark_Tri()
|