| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/lens-5.0.1/src/Control/Lens/ |
| H A D | At.hs | 91 type instance Index (e -> a) = e function
92 type instance Index IntSet = Int type
93 type instance Index (Set a) = a type
94 type instance Index (HashSet a) = a type
95 type instance Index [a] = Int function
97 type instance Index (Seq a) = Int function
98 type instance Index (a,b) = Int type
99 type instance Index (a,b,c) = Int type
100 type instance Index (a,b,c,d) = Int function
107 type instance Index (Map k a) = k type
[all …]
|
| H A D | Zoom.hs | 73 type instance Zoomed (Strict.StateT s z) = Focusing z type
74 type instance Zoomed (Lazy.StateT s z) = Focusing z type
75 type instance Zoomed (ReaderT e m) = Zoomed m function
76 type instance Zoomed (IdentityT m) = Zoomed m type
78 type instance Zoomed (Lazy.RWST r w s z) = FocusingWith w z type
81 type instance Zoomed (ListT m) = FocusingOn [] (Zoomed m) function
82 type instance Zoomed (MaybeT m) = FocusingMay (Zoomed m) function
83 type instance Zoomed (ErrorT e m) = FocusingErr e (Zoomed m) function
93 type instance Magnified (ReaderT b m) = Effect m type
94 type instance Magnified ((->)b) = Const type
[all …]
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/lens-4.19.2/src/Control/Lens/ |
| H A D | At.hs | 79 type instance Index (e -> a) = e function
80 type instance Index IntSet = Int function
81 type instance Index (Set a) = a type
82 type instance Index (HashSet a) = a function
83 type instance Index [a] = Int type
85 type instance Index (Seq a) = Int type
86 type instance Index (a,b) = Int type
87 type instance Index (a,b,c) = Int type
88 type instance Index (a,b,c,d) = Int type
95 type instance Index (Map k a) = k type
[all …]
|
| H A D | Zoom.hs | 79 type instance Zoomed (Strict.StateT s z) = Focusing z type
80 type instance Zoomed (Lazy.StateT s z) = Focusing z function
81 type instance Zoomed (ReaderT e m) = Zoomed m type
82 type instance Zoomed (IdentityT m) = Zoomed m function
84 type instance Zoomed (Lazy.RWST r w s z) = FocusingWith w z function
87 type instance Zoomed (ListT m) = FocusingOn [] (Zoomed m) function
88 type instance Zoomed (MaybeT m) = FocusingMay (Zoomed m) type
89 type instance Zoomed (ErrorT e m) = FocusingErr e (Zoomed m) type
99 type instance Magnified (ReaderT b m) = Effect m type
100 type instance Magnified ((->)b) = Const type
[all …]
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/lens-4.19.2/src/Control/Lens/ |
| H A D | At.hs | 79 type instance Index (e -> a) = e type
80 type instance Index IntSet = Int type
81 type instance Index (Set a) = a function
82 type instance Index (HashSet a) = a function
83 type instance Index [a] = Int function
85 type instance Index (Seq a) = Int function
86 type instance Index (a,b) = Int type
87 type instance Index (a,b,c) = Int type
88 type instance Index (a,b,c,d) = Int type
95 type instance Index (Map k a) = k function
[all …]
|
| H A D | Zoom.hs | 79 type instance Zoomed (Strict.StateT s z) = Focusing z function
80 type instance Zoomed (Lazy.StateT s z) = Focusing z type
81 type instance Zoomed (ReaderT e m) = Zoomed m function
82 type instance Zoomed (IdentityT m) = Zoomed m type
84 type instance Zoomed (Lazy.RWST r w s z) = FocusingWith w z type
87 type instance Zoomed (ListT m) = FocusingOn [] (Zoomed m) function
88 type instance Zoomed (MaybeT m) = FocusingMay (Zoomed m) function
89 type instance Zoomed (ErrorT e m) = FocusingErr e (Zoomed m) function
99 type instance Magnified (ReaderT b m) = Effect m type
100 type instance Magnified ((->)b) = Const type
[all …]
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/lens-4.19.1/src/Control/Lens/ |
| H A D | At.hs | 79 type instance Index (e -> a) = e type
80 type instance Index IntSet = Int function
81 type instance Index (Set a) = a function
82 type instance Index (HashSet a) = a function
83 type instance Index [a] = Int type
85 type instance Index (Seq a) = Int type
86 type instance Index (a,b) = Int function
87 type instance Index (a,b,c) = Int type
88 type instance Index (a,b,c,d) = Int type
95 type instance Index (Map k a) = k function
[all …]
|
| H A D | Zoom.hs | 79 type instance Zoomed (Strict.StateT s z) = Focusing z type
80 type instance Zoomed (Lazy.StateT s z) = Focusing z function
81 type instance Zoomed (ReaderT e m) = Zoomed m function
82 type instance Zoomed (IdentityT m) = Zoomed m type
84 type instance Zoomed (Lazy.RWST r w s z) = FocusingWith w z type
87 type instance Zoomed (ListT m) = FocusingOn [] (Zoomed m) type
88 type instance Zoomed (MaybeT m) = FocusingMay (Zoomed m) function
89 type instance Zoomed (ErrorT e m) = FocusingErr e (Zoomed m) function
99 type instance Magnified (ReaderT b m) = Effect m function
100 type instance Magnified ((->)b) = Const type
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/lens-5.0.1/src/Control/Lens/ |
| H A D | At.hs | 91 type instance Index (e -> a) = e type
92 type instance Index IntSet = Int function
93 type instance Index (Set a) = a function
94 type instance Index (HashSet a) = a function
95 type instance Index [a] = Int type
97 type instance Index (Seq a) = Int type
98 type instance Index (a,b) = Int function
99 type instance Index (a,b,c) = Int type
100 type instance Index (a,b,c,d) = Int function
107 type instance Index (Map k a) = k type
[all …]
|
| H A D | Zoom.hs | 73 type instance Zoomed (Strict.StateT s z) = Focusing z type
74 type instance Zoomed (Lazy.StateT s z) = Focusing z function
75 type instance Zoomed (ReaderT e m) = Zoomed m function
76 type instance Zoomed (IdentityT m) = Zoomed m type
78 type instance Zoomed (Lazy.RWST r w s z) = FocusingWith w z type
81 type instance Zoomed (ListT m) = FocusingOn [] (Zoomed m) type
82 type instance Zoomed (MaybeT m) = FocusingMay (Zoomed m) type
83 type instance Zoomed (ErrorT e m) = FocusingErr e (Zoomed m) type
93 type instance Magnified (ReaderT b m) = Effect m type
94 type instance Magnified ((->)b) = Const function
[all …]
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/optics-extra-0.3/src/Optics/ |
| H A D | At.hs | 62 type instance Index (HashSet a) = a type
63 type instance Index (HashMap k a) = k type
64 type instance Index (Vector.Vector a) = Int type
65 type instance Index (Prim.Vector a) = Int function
67 type instance Index (Unboxed.Vector a) = Int type
68 type instance Index StrictT.Text = Int function
69 type instance Index LazyT.Text = Int64 type
82 type instance IxValue (HashMap k a) = a type
86 type instance IxValue (HashSet k) = () type
102 type instance IxValue (Prim.Vector a) = a type
[all …]
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Hs/ |
| H A D | Decls.hs | 158 type instance XXHsDecl (GhcPass _) = NoExtCon function
192 type instance XCHsGroup (GhcPass _) = NoExtField function
193 type instance XXHsGroup (GhcPass _) = NoExtCon type
335 type instance XDataDecl GhcRn = DataDeclRn function
336 type instance XDataDecl GhcTc = DataDeclRn type
930 type instance XViaStrategy GhcTc = Type type
1142 type instance Anno (Maybe Role) = SrcSpan function
1171 type instance Anno CType = SrcSpanAnnP function
1176 type instance Anno Bool = SrcSpan type
1184 type instance Anno DocDecl = SrcSpanAnnA type
[all …]
|
| H A D | Expr.hs | 189 type instance HsDoRn (GhcPass _) = GhcRn type
228 type instance XOverLabel GhcPs = EpAnnCO function
257 type instance XAppTypeE GhcTc = Type type
262 type instance XOpApp GhcRn = Fixity type
299 type instance XMultiIf GhcTc = Type function
307 type instance XDo GhcTc = Type type
311 type instance XExplicitList GhcTc = Type type
330 type instance XGetField GhcTc = Void type
336 type instance XProjection GhcTc = Void function
996 type instance XCmdArrApp GhcTc = Type type
[all …]
|
| H A D | Binds.hs | 106 type instance XABE (GhcPass p) = NoExtField function
107 type instance XXABExport (GhcPass p) = NoExtCon type
542 type instance XIPBinds GhcPs = NoExtField function
543 type instance XIPBinds GhcRn = NoExtField function
698 type instance Anno [LocatedN RdrName] = SrcSpan type
699 type instance Anno [LocatedN Name] = SrcSpan type
700 type instance Anno [LocatedN Id] = SrcSpan function
704 type instance Anno StringLiteral = SrcSpan function
705 type instance Anno (LocatedN RdrName) = SrcSpan type
706 type instance Anno (LocatedN Name) = SrcSpan type
[all …]
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/optics-core-0.3.0.1/src/Optics/At/ |
| H A D | Core.hs | 69 type instance Index (e -> a) = e type
70 type instance Index IntSet = Int type
71 type instance Index (Set a) = a function
72 type instance Index [a] = Int type
74 type instance Index (Seq a) = Int type
75 type instance Index (a,b) = Int type
76 type instance Index (a,b,c) = Int type
77 type instance Index (a,b,c,d) = Int type
84 type instance Index (Map k a) = k type
89 type instance Index (Maybe a) = () type
[all …]
|
| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/foundation-0.0.25/Foundation/Collection/ |
| H A D | Element.hs | 31 type instance Element [a] = a function
32 type instance Element (Block ty) = ty type
33 type instance Element (UArray ty) = ty type
34 type instance Element (Array ty) = ty function
35 type instance Element String = Char function
36 type instance Element AsciiString = Char7 type
37 type instance Element (NonEmpty a) = Element a type
40 type instance Element (BlockN n ty) = ty type
41 type instance Element (ListN n a) = a function
|
| /dports/lang/ghc/ghc-8.10.7/utils/haddock/html-test/src/ |
| H A D | Bug1103.hs | 10 data instance Foo1 Bool = Foo1Bool function
11 data instance Foo1 (Maybe a) type
14 data instance Foo2 Bool = Foo2Bool type
15 data instance Foo2 (Maybe a) type
16 data instance Foo2 :: Char -> Type type
17 data instance Foo2 :: (Char -> Char) -> Type where type
20 data instance Foo3 type
21 data instance Foo3 Bool = Foo3Bool function
22 data instance Foo3 (Maybe a) type
23 data instance Foo3 :: Char -> Type type
[all …]
|
| /dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/microlens-ghc-0.4.12/src/Lens/Micro/ |
| H A D | GHC.hs | 90 type instance Index (Map k a) = k type
91 type instance IxValue (Map k a) = a type
92 type instance Index (IntMap a) = Int function
93 type instance IxValue (IntMap a) = a function
94 type instance Index (Set a) = a type
95 type instance IxValue (Set a) = () type
96 type instance Index IntSet = Int function
97 type instance IxValue IntSet = () type
98 type instance Index (Seq a) = Int type
99 type instance IxValue (Seq a) = a function
[all …]
|
| /dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/microlens-ghc-0.4.13/src/Lens/Micro/ |
| H A D | GHC.hs | 90 type instance Index (Map k a) = k function
91 type instance IxValue (Map k a) = a type
92 type instance Index (IntMap a) = Int type
93 type instance IxValue (IntMap a) = a type
94 type instance Index (Set a) = a type
95 type instance IxValue (Set a) = () type
96 type instance Index IntSet = Int type
97 type instance IxValue IntSet = () type
98 type instance Index (Seq a) = Int type
99 type instance IxValue (Seq a) = a function
[all …]
|
| /dports/devel/hs-hasktags/hasktags-0.72.0/_cabal_deps/microlens-ghc-0.4.12/src/Lens/Micro/ |
| H A D | GHC.hs | 90 type instance Index (Map k a) = k function
91 type instance IxValue (Map k a) = a type
92 type instance Index (IntMap a) = Int type
93 type instance IxValue (IntMap a) = a type
94 type instance Index (Set a) = a type
95 type instance IxValue (Set a) = () type
96 type instance Index IntSet = Int type
97 type instance IxValue IntSet = () type
98 type instance Index (Seq a) = Int function
99 type instance IxValue (Seq a) = a function
[all …]
|
| /dports/misc/hs-hascard/hascard-0.3.0.1/_cabal_deps/microlens-ghc-0.4.12/src/Lens/Micro/ |
| H A D | GHC.hs | 90 type instance Index (Map k a) = k function
91 type instance IxValue (Map k a) = a type
92 type instance Index (IntMap a) = Int type
93 type instance IxValue (IntMap a) = a function
94 type instance Index (Set a) = a type
95 type instance IxValue (Set a) = () type
96 type instance Index IntSet = Int type
97 type instance IxValue IntSet = () type
98 type instance Index (Seq a) = Int function
99 type instance IxValue (Seq a) = a type
[all …]
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/microlens-ghc-0.4.13/src/Lens/Micro/ |
| H A D | GHC.hs | 90 type instance Index (Map k a) = k function
91 type instance IxValue (Map k a) = a type
92 type instance Index (IntMap a) = Int function
93 type instance IxValue (IntMap a) = a function
94 type instance Index (Set a) = a type
95 type instance IxValue (Set a) = () type
96 type instance Index IntSet = Int type
97 type instance IxValue IntSet = () type
98 type instance Index (Seq a) = Int function
99 type instance IxValue (Seq a) = a function
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-exactprint-0.6.4/tests/examples/ghc810/ |
| H A D | T17296.hs | 14 data instance Foo1 Bool = Foo1Bool type
15 data instance Foo1 (Maybe a) type
18 data instance Foo2 Bool = Foo2Bool type
19 data instance Foo2 (Maybe a) type
20 data instance Foo2 :: Char -> Type type
21 data instance Foo2 :: (Char -> Char) -> Type where type
24 data instance Foo3 type
25 data instance Foo3 Bool = Foo3Bool function
26 data instance Foo3 (Maybe a) type
27 data instance Foo3 :: Char -> Type type
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-exactprint-0.6.4/tests/examples/ghc80/ |
| H A D | T6018fail.hs | 11 type instance F Int Char Bool = Bool type
12 type instance F Char Bool Int = Int type
13 type instance F Bool Int Char = Int type
24 type instance Id a = a type
28 type instance IdProxy a = Id a type
36 type instance P Z m = m function
42 type instance J Int b c = Char type
46 type instance K (S n) m = S m type
66 type instance Fc a b = Int type
70 type instance Gc a b = Int type
[all …]
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/generics-sop-0.5.1.1/src/Generics/SOP/ |
| H A D | GGP.hs | 32 type instance ToSingleCode (K1 _i a) = a type
36 type instance ToProductCode U1 xs = xs type
37 type instance ToProductCode (M1 S _c a) xs = ToSingleCode a ': xs function
40 type instance ToSumCode (a :+: b) xs = ToSumCode a (ToSumCode b xs) type
41 type instance ToSumCode V1 xs = xs function
42 type instance ToSumCode (M1 D _c a) xs = ToSumCode a xs function
43 type instance ToSumCode (M1 C _c a) xs = ToProductCode a '[] ': xs type
55 type instance ToStrictnessInfoss V1 xss = xss function
60 type instance ToStrictnessInfos U1 xs = xs type
68 type instance ToSumInfo V1 xs = xs type
[all …]
|