| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/lens-5.0.1/src/Control/Lens/ |
| H A D | Review.hs | 112 re p = to (runIdentity #. unTagged #. p .# Tagged .# Identity)
144 review p = asks (runIdentity #. unTagged #. p .# Tagged .# Identity)
171 (#) p = runIdentity #. unTagged #. p .# Tagged .# Identity
204 reviews p tr = asks (tr . runIdentity #. unTagged #. p .# Tagged .# Identity)
225 reuse p = gets (runIdentity #. unTagged #. p .# Tagged .# Identity)
244 reuses p tr = gets (tr . runIdentity #. unTagged #. p .# Tagged .# Identity)
255 f = runIdentity . unTagged . p . Tagged . Identity
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/lens-5.0.1/src/Control/Lens/ |
| H A D | Review.hs | 112 re p = to (runIdentity #. unTagged #. p .# Tagged .# Identity)
144 review p = asks (runIdentity #. unTagged #. p .# Tagged .# Identity)
171 (#) p = runIdentity #. unTagged #. p .# Tagged .# Identity
204 reviews p tr = asks (tr . runIdentity #. unTagged #. p .# Tagged .# Identity)
225 reuse p = gets (runIdentity #. unTagged #. p .# Tagged .# Identity)
244 reuses p tr = gets (tr . runIdentity #. unTagged #. p .# Tagged .# Identity)
255 f = runIdentity . unTagged . p . Tagged . Identity
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/lens-4.19.2/src/Control/Lens/ |
| H A D | Review.hs | 109 re p = to (runIdentity #. unTagged #. p .# Tagged .# Identity)
141 review p = asks (runIdentity #. unTagged #. p .# Tagged .# Identity)
168 ( # ) p = runIdentity #. unTagged #. p .# Tagged .# Identity
201 reviews p tr = asks (tr . runIdentity #. unTagged #. p .# Tagged .# Identity)
222 reuse p = gets (runIdentity #. unTagged #. p .# Tagged .# Identity)
241 reuses p tr = gets (tr . runIdentity #. unTagged #. p .# Tagged .# Identity)
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/lens-4.19.2/src/Control/Lens/ |
| H A D | Review.hs | 109 re p = to (runIdentity #. unTagged #. p .# Tagged .# Identity)
141 review p = asks (runIdentity #. unTagged #. p .# Tagged .# Identity)
168 ( # ) p = runIdentity #. unTagged #. p .# Tagged .# Identity
201 reviews p tr = asks (tr . runIdentity #. unTagged #. p .# Tagged .# Identity)
222 reuse p = gets (runIdentity #. unTagged #. p .# Tagged .# Identity)
241 reuses p tr = gets (tr . runIdentity #. unTagged #. p .# Tagged .# Identity)
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/lens-4.19.1/src/Control/Lens/ |
| H A D | Review.hs | 109 re p = to (runIdentity #. unTagged #. p .# Tagged .# Identity)
141 review p = asks (runIdentity #. unTagged #. p .# Tagged .# Identity)
168 ( # ) p = runIdentity #. unTagged #. p .# Tagged .# Identity
201 reviews p tr = asks (tr . runIdentity #. unTagged #. p .# Tagged .# Identity)
222 reuse p = gets (runIdentity #. unTagged #. p .# Tagged .# Identity)
241 reuses p tr = gets (tr . runIdentity #. unTagged #. p .# Tagged .# Identity)
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/quickcheck-instances-0.3.25.2/src/Test/QuickCheck/Instances/ |
| H A D | Tagged.hs | 24 liftShrink2 _ shr = fmap Tagged.Tagged . shr . Tagged.unTagged
28 liftShrink shr = fmap Tagged.Tagged . shr . Tagged.unTagged
35 coarbitrary = coarbitrary . Tagged.unTagged
38 function = functionMap Tagged.unTagged Tagged.Tagged
|
| /dports/lang/ghc/ghc-8.10.7/libraries/binary/src/Data/Binary/ |
| H A D | Generic.hs | 95 size = unTagged (sumSize :: Tagged (a :+: b) Word64)
102 size = unTagged (sumSize :: Tagged (a :+: b) Word64)
149 newtype Tagged (s :: Type -> Type) b = Tagged {unTagged :: b} function
151 newtype Tagged (s :: * -> *) b = Tagged {unTagged :: b} function
155 sumSize = Tagged $ unTagged (sumSize :: Tagged a Word64) +
156 unTagged (sumSize :: Tagged b Word64)
|
| /dports/lang/elm/compiler-0.19.1/_cabal_deps/binary-0.8.8.0/src/Data/Binary/ |
| H A D | Generic.hs | 95 size = unTagged (sumSize :: Tagged (a :+: b) Word64)
102 size = unTagged (sumSize :: Tagged (a :+: b) Word64)
149 newtype Tagged (s :: Type -> Type) b = Tagged {unTagged :: b} function
151 newtype Tagged (s :: * -> *) b = Tagged {unTagged :: b} function
155 sumSize = Tagged $ unTagged (sumSize :: Tagged a Word64) +
156 unTagged (sumSize :: Tagged b Word64)
|
| /dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/Cabal-3.0.2.0/Distribution/Compat/Binary/ |
| H A D | Generic.hs | 74 size = unTagged (sumSize :: Tagged (a :+: b) Word64)
79 size = unTagged (sumSize :: Tagged (a :+: b) Word64)
121 newtype Tagged (s :: * -> *) b = Tagged {unTagged :: b} function
124 sumSize = Tagged $ unTagged (sumSize :: Tagged a Word64) +
125 unTagged (sumSize :: Tagged b Word64)
|
| /dports/devel/hs-cabal-install/cabal-cabal-install-3.4.0.0/Cabal/Distribution/Compat/Binary/ |
| H A D | Generic.hs | 74 size = unTagged (sumSize :: Tagged (a :+: b) Word64)
79 size = unTagged (sumSize :: Tagged (a :+: b) Word64)
121 newtype Tagged (s :: * -> *) b = Tagged {unTagged :: b} function
124 sumSize = Tagged $ unTagged (sumSize :: Tagged a Word64) +
125 unTagged (sumSize :: Tagged b Word64)
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/Cabal-3.6.0.0/src/Distribution/Compat/Binary/ |
| H A D | Generic.hs | 74 size = unTagged (sumSize :: Tagged (a :+: b) Word64)
79 size = unTagged (sumSize :: Tagged (a :+: b) Word64)
121 newtype Tagged (s :: * -> *) b = Tagged {unTagged :: b} function
124 sumSize = Tagged $ unTagged (sumSize :: Tagged a Word64) +
125 unTagged (sumSize :: Tagged b Word64)
|
| /dports/devel/hs-hls-install/haskell-language-server-1.4.0/install/_cabal_deps/Cabal-3.4.0.0/Distribution/Compat/Binary/ |
| H A D | Generic.hs | 74 size = unTagged (sumSize :: Tagged (a :+: b) Word64)
79 size = unTagged (sumSize :: Tagged (a :+: b) Word64)
121 newtype Tagged (s :: * -> *) b = Tagged {unTagged :: b} function
124 sumSize = Tagged $ unTagged (sumSize :: Tagged a Word64) +
125 unTagged (sumSize :: Tagged b Word64)
|
| /dports/lang/ghc/ghc-8.10.7/libraries/Cabal/Cabal/Distribution/Compat/Binary/ |
| H A D | Generic.hs | 74 size = unTagged (sumSize :: Tagged (a :+: b) Word64)
79 size = unTagged (sumSize :: Tagged (a :+: b) Word64)
121 newtype Tagged (s :: * -> *) b = Tagged {unTagged :: b} function
124 sumSize = Tagged $ unTagged (sumSize :: Tagged a Word64) +
125 unTagged (sumSize :: Tagged b Word64)
|
| /dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/hashable-1.3.0.0/Data/Hashable/Generic/ |
| H A D | Instances.hs | 104 sizeL = unTagged (sumSize :: Tagged a)
114 newtype Tagged (s :: * -> *) = Tagged {unTagged :: Int} function
117 sumSize = Tagged $ unTagged (sumSize :: Tagged a) +
118 unTagged (sumSize :: Tagged b)
|
| /dports/devel/stack/stack-2.7.3/_cabal_deps/hashable-1.3.1.0/src/Data/Hashable/Generic/ |
| H A D | Instances.hs | 111 sizeL = unTagged (sumSize :: Tagged a)
121 newtype Tagged (s :: Type -> Type) = Tagged {unTagged :: Int} function
124 sumSize = Tagged $ unTagged (sumSize :: Tagged a) +
125 unTagged (sumSize :: Tagged b)
|
| /dports/devel/hs-threadscope/threadscope-0.2.14/_cabal_deps/hashable-1.3.1.0/src/Data/Hashable/Generic/ |
| H A D | Instances.hs | 111 sizeL = unTagged (sumSize :: Tagged a)
121 newtype Tagged (s :: Type -> Type) = Tagged {unTagged :: Int} function
124 sumSize = Tagged $ unTagged (sumSize :: Tagged a) +
125 unTagged (sumSize :: Tagged b)
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/hashable-1.3.1.0/src/Data/Hashable/Generic/ |
| H A D | Instances.hs | 111 sizeL = unTagged (sumSize :: Tagged a)
121 newtype Tagged (s :: Type -> Type) = Tagged {unTagged :: Int} function
124 sumSize = Tagged $ unTagged (sumSize :: Tagged a) +
125 unTagged (sumSize :: Tagged b)
|
| /dports/games/hs-scroll/scroll-1.20180421/_cabal_deps/hashable-1.3.0.0/Data/Hashable/Generic/ |
| H A D | Instances.hs | 104 sizeL = unTagged (sumSize :: Tagged a)
114 newtype Tagged (s :: * -> *) = Tagged {unTagged :: Int} function
117 sumSize = Tagged $ unTagged (sumSize :: Tagged a) +
118 unTagged (sumSize :: Tagged b)
|
| /dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/hashable-1.3.0.0/Data/Hashable/Generic/ |
| H A D | Instances.hs | 104 sizeL = unTagged (sumSize :: Tagged a)
114 newtype Tagged (s :: * -> *) = Tagged {unTagged :: Int} function
117 sumSize = Tagged $ unTagged (sumSize :: Tagged a) +
118 unTagged (sumSize :: Tagged b)
|
| /dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/hashable-1.3.0.0/Data/Hashable/Generic/ |
| H A D | Instances.hs | 104 sizeL = unTagged (sumSize :: Tagged a)
114 newtype Tagged (s :: * -> *) = Tagged {unTagged :: Int} function
117 sumSize = Tagged $ unTagged (sumSize :: Tagged a) +
118 unTagged (sumSize :: Tagged b)
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/hashable-1.3.0.0/Data/Hashable/Generic/ |
| H A D | Instances.hs | 104 sizeL = unTagged (sumSize :: Tagged a)
114 newtype Tagged (s :: * -> *) = Tagged {unTagged :: Int} function
117 sumSize = Tagged $ unTagged (sumSize :: Tagged a) +
118 unTagged (sumSize :: Tagged b)
|
| /dports/finance/hs-hledger/hledger-1.19/_cabal_deps/hashable-1.3.0.0/Data/Hashable/Generic/ |
| H A D | Instances.hs | 104 sizeL = unTagged (sumSize :: Tagged a)
114 newtype Tagged (s :: * -> *) = Tagged {unTagged :: Int} function
117 sumSize = Tagged $ unTagged (sumSize :: Tagged a) +
118 unTagged (sumSize :: Tagged b)
|
| /dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/hashable-1.3.2.0/src/Data/Hashable/Generic/ |
| H A D | Instances.hs | 112 sizeL = unTagged (sumSize :: Tagged a)
122 newtype Tagged (s :: Type -> Type) = Tagged {unTagged :: Int} function
125 sumSize = Tagged $ unTagged (sumSize :: Tagged a) +
126 unTagged (sumSize :: Tagged b)
|
| /dports/devel/hs-git-brunch/git-brunch-1.5.1.0/_cabal_deps/hashable-1.3.1.0/src/Data/Hashable/Generic/ |
| H A D | Instances.hs | 111 sizeL = unTagged (sumSize :: Tagged a)
121 newtype Tagged (s :: Type -> Type) = Tagged {unTagged :: Int} function
124 sumSize = Tagged $ unTagged (sumSize :: Tagged a) +
125 unTagged (sumSize :: Tagged b)
|
| /dports/devel/hs-hasktags/hasktags-0.72.0/_cabal_deps/hashable-1.3.0.0/Data/Hashable/Generic/ |
| H A D | Instances.hs | 104 sizeL = unTagged (sumSize :: Tagged a)
114 newtype Tagged (s :: * -> *) = Tagged {unTagged :: Int} function
117 sumSize = Tagged $ unTagged (sumSize :: Tagged a) +
118 unTagged (sumSize :: Tagged b)
|