Home
last modified time | relevance | path

Searched refs:vectorTraverse (Results 1 – 25 of 27) sorted by relevance

12

/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/optics-extra-0.3/src/Optics/
H A DEach.hs23 import Data.Vector.Generic.Optics (vectorTraverse)
47 each = vectorTraverse
53 each = vectorTraverse
59 each = vectorTraverse
65 each = vectorTraverse
/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/microlens-platform-0.4.1/src/Lens/Micro/
H A DPlatform.hs213 each = vectorTraverse
217 each = vectorTraverse
221 each = vectorTraverse
225 each = vectorTraverse
266 vectorTraverse :: (Generic.Vector v a, Generic.Vector w b) => Traversal (v a) (w b) a b
267 vectorTraverse f v = Generic.fromListN (Generic.length v) <$> traversed f (Generic.toList v) function
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/microlens-platform-0.4.2/src/Lens/Micro/
H A DPlatform.hs213 each = vectorTraverse
217 each = vectorTraverse
221 each = vectorTraverse
225 each = vectorTraverse
266 vectorTraverse :: (Generic.Vector v a, Generic.Vector w b) => Traversal (v a) (w b) a b
267 vectorTraverse f v = Generic.fromListN (Generic.length v) <$> traversed f (Generic.toList v) function
/dports/devel/hs-hasktags/hasktags-0.72.0/_cabal_deps/microlens-platform-0.4.1/src/Lens/Micro/
H A DPlatform.hs213 each = vectorTraverse
217 each = vectorTraverse
221 each = vectorTraverse
225 each = vectorTraverse
266 vectorTraverse :: (Generic.Vector v a, Generic.Vector w b) => Traversal (v a) (w b) a b
267 vectorTraverse f v = Generic.fromListN (Generic.length v) <$> traversed f (Generic.toList v) function
/dports/misc/hs-hascard/hascard-0.3.0.1/_cabal_deps/microlens-platform-0.4.1/src/Lens/Micro/
H A DPlatform.hs213 each = vectorTraverse
217 each = vectorTraverse
221 each = vectorTraverse
225 each = vectorTraverse
266 vectorTraverse :: (Generic.Vector v a, Generic.Vector w b) => Traversal (v a) (w b) a b
267 vectorTraverse f v = Generic.fromListN (Generic.length v) <$> traversed f (Generic.toList v) function
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/microlens-platform-0.4.2/src/Lens/Micro/
H A DPlatform.hs213 each = vectorTraverse
217 each = vectorTraverse
221 each = vectorTraverse
225 each = vectorTraverse
266 vectorTraverse :: (Generic.Vector v a, Generic.Vector w b) => Traversal (v a) (w b) a b
267 vectorTraverse f v = Generic.fromListN (Generic.length v) <$> traversed f (Generic.toList v) function
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/lens-5.0.1/src/Data/Vector/Generic/
H A DLens.hs36 , vectorTraverse
156 vectorTraverse :: (V.Vector v a, V.Vector w b) => IndexedTraversal Int (v a) (w b) a b
157 vectorTraverse f v = V.fromListN (V.length v) <$> traversed f (V.toList v) function
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/lens-4.19.2/src/Data/Vector/Generic/
H A DLens.hs36 , vectorTraverse
154 vectorTraverse :: (V.Vector v a, V.Vector w b) => IndexedTraversal Int (v a) (w b) a b
155 vectorTraverse f v = V.fromListN (V.length v) <$> traversed f (V.toList v) function
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/lens-4.19.2/src/Data/Vector/Generic/
H A DLens.hs36 , vectorTraverse
154 vectorTraverse :: (V.Vector v a, V.Vector w b) => IndexedTraversal Int (v a) (w b) a b
155 vectorTraverse f v = V.fromListN (V.length v) <$> traversed f (V.toList v) function
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/lens-4.19.1/src/Data/Vector/Generic/
H A DLens.hs36 , vectorTraverse
154 vectorTraverse :: (V.Vector v a, V.Vector w b) => IndexedTraversal Int (v a) (w b) a b
155 vectorTraverse f v = V.fromListN (V.length v) <$> traversed f (V.toList v) function
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/lens-5.0.1/src/Data/Vector/Generic/
H A DLens.hs36 , vectorTraverse
156 vectorTraverse :: (V.Vector v a, V.Vector w b) => IndexedTraversal Int (v a) (w b) a b
157 vectorTraverse f v = V.fromListN (V.length v) <$> traversed f (V.toList v) function
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/lens-4.19.2/src/Control/Lens/
H A DEach.hs49 import Data.Vector.Generic.Lens (vectorTraverse)
177 each = vectorTraverse
182 each = vectorTraverse
187 each = vectorTraverse
192 each = vectorTraverse
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/lens-4.19.1/src/Control/Lens/
H A DEach.hs49 import Data.Vector.Generic.Lens (vectorTraverse)
177 each = vectorTraverse
182 each = vectorTraverse
187 each = vectorTraverse
192 each = vectorTraverse
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/lens-4.19.2/src/Control/Lens/
H A DEach.hs49 import Data.Vector.Generic.Lens (vectorTraverse)
177 each = vectorTraverse
182 each = vectorTraverse
187 each = vectorTraverse
192 each = vectorTraverse
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/optics-extra-0.3/src/Data/Vector/Generic/
H A DOptics.hs17 , vectorTraverse
125 vectorTraverse
128 vectorTraverse = Optic vectorTraverse__ function
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/lens-5.0.1/src/Control/Lens/
H A DEach.hs49 import Data.Vector.Generic.Lens (vectorTraverse)
179 each = vectorTraverse
184 each = vectorTraverse
189 each = vectorTraverse
194 each = vectorTraverse
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/lens-5.0.1/src/Control/Lens/
H A DEach.hs49 import Data.Vector.Generic.Lens (vectorTraverse)
179 each = vectorTraverse
184 each = vectorTraverse
189 each = vectorTraverse
194 each = vectorTraverse
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/lens-5.0.1/benchmarks/
H A Dfolds.hs42 , bench "vTraverse" $ nf (itoListOf vectorTraverse) u
H A Dtraversals.hs44 … , bench "itraversed" $ nf (iover vectorTraverse (\i x -> x + i) :: U.Vector Int -> U.Vector Int) u
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/lens-5.0.1/benchmarks/
H A Dtraversals.hs44 … , bench "itraversed" $ nf (iover vectorTraverse (\i x -> x + i) :: U.Vector Int -> U.Vector Int) u
H A Dfolds.hs42 , bench "vTraverse" $ nf (itoListOf vectorTraverse) u
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/lens-4.19.2/benchmarks/
H A Dfolds.hs42 , bench "vTraverse" $ nf (itoListOf vectorTraverse) u
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/lens-4.19.2/benchmarks/
H A Dfolds.hs42 , bench "vTraverse" $ nf (itoListOf vectorTraverse) u
H A Dtraversals.hs65 … , bench "itraversed" $ nf (iover vectorTraverse (\i x -> x + i) :: U.Vector Int -> U.Vector Int) u
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/lens-4.19.1/benchmarks/
H A Dfolds.hs41 , bench "vTraverse" $ nf (itoListOf vectorTraverse) u

12