/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 type 92 type instance Index IntSet = Int type 93 type instance Index (Set a) = a function 94 type instance Index (HashSet a) = a type 95 type instance Index [a] = Int type 97 type instance Index (Seq a) = Int type 98 type instance Index (a,b) = Int type 99 type instance Index (a,b,c) = Int function 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) type 82 type instance Zoomed (MaybeT m) = FocusingMay (Zoomed m) function 83 type instance Zoomed (ErrorT e m) = FocusingErr e (Zoomed m) type 93 type instance Magnified (ReaderT b m) = Effect m function 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 type 80 type instance Index IntSet = Int type 81 type instance Index (Set a) = a function 82 type instance Index (HashSet a) = a type 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 function 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 type 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 type 87 type instance Zoomed (ListT m) = FocusingOn [] (Zoomed m) type 88 type instance Zoomed (MaybeT m) = FocusingMay (Zoomed m) type 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 function [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 type 82 type instance Index (HashSet a) = a type 83 type instance Index [a] = Int type 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 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 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) type 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/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 function 80 type instance Index IntSet = Int type 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 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 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 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) 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/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 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 type 98 type instance Index (a,b) = Int function 99 type instance Index (a,b,c) = Int function 100 type instance Index (a,b,c,d) = Int type 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 type 76 type instance Zoomed (IdentityT m) = Zoomed m function 78 type instance Zoomed (Lazy.RWST r w s z) = FocusingWith w z function 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 type [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 function 65 type instance Index (Prim.Vector a) = Int type 67 type instance Index (Unboxed.Vector a) = Int type 68 type instance Index StrictT.Text = Int type 69 type instance Index LazyT.Text = Int64 function 82 type instance IxValue (HashMap k a) = a type 86 type instance IxValue (HashSet k) = () function 102 type instance IxValue (Prim.Vector a) = a function [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 type 192 type instance XCHsGroup (GhcPass _) = NoExtField type 193 type instance XXHsGroup (GhcPass _) = NoExtCon type 335 type instance XDataDecl GhcRn = DataDeclRn type 336 type instance XDataDecl GhcTc = DataDeclRn type 930 type instance XViaStrategy GhcTc = Type function 1142 type instance Anno (Maybe Role) = SrcSpan function 1171 type instance Anno CType = SrcSpanAnnP function 1176 type instance Anno Bool = SrcSpan function 1184 type instance Anno DocDecl = SrcSpanAnnA function [all …]
|
H A D | Expr.hs | 189 type instance HsDoRn (GhcPass _) = GhcRn type 228 type instance XOverLabel GhcPs = EpAnnCO type 257 type instance XAppTypeE GhcTc = Type type 262 type instance XOpApp GhcRn = Fixity type 299 type instance XMultiIf GhcTc = Type type 307 type instance XDo GhcTc = Type function 311 type instance XExplicitList GhcTc = Type type 330 type instance XGetField GhcTc = Void type 336 type instance XProjection GhcTc = Void type 996 type instance XCmdArrApp GhcTc = Type type [all …]
|
H A D | Binds.hs | 106 type instance XABE (GhcPass p) = NoExtField type 107 type instance XXABExport (GhcPass p) = NoExtCon type 542 type instance XIPBinds GhcPs = NoExtField type 543 type instance XIPBinds GhcRn = NoExtField type 698 type instance Anno [LocatedN RdrName] = SrcSpan type 699 type instance Anno [LocatedN Name] = SrcSpan function 700 type instance Anno [LocatedN Id] = SrcSpan type 704 type instance Anno StringLiteral = SrcSpan type 705 type instance Anno (LocatedN RdrName) = SrcSpan function 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 type 72 type instance Index [a] = Int function 74 type instance Index (Seq a) = Int function 75 type instance Index (a,b) = Int type 76 type instance Index (a,b,c) = Int function 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) = () function [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 type 32 type instance Element (Block ty) = ty type 33 type instance Element (UArray ty) = ty type 34 type instance Element (Array ty) = ty type 35 type instance Element String = Char type 36 type instance Element AsciiString = Char7 type 37 type instance Element (NonEmpty a) = Element a type 40 type instance Element (BlockN n ty) = ty function 41 type instance Element (ListN n a) = a type
|
/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 type 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 type [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 type 91 type instance IxValue (Map k a) = a function 92 type instance Index (IntMap a) = Int type 93 type instance IxValue (IntMap a) = a type 94 type instance Index (Set a) = a function 95 type instance IxValue (Set a) = () function 96 type instance Index IntSet = Int type 97 type instance IxValue IntSet = () function 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 function 93 type instance IxValue (IntMap a) = a type 94 type instance Index (Set a) = a type 95 type instance IxValue (Set a) = () function 96 type instance Index IntSet = Int function 97 type instance IxValue IntSet = () function 98 type instance Index (Seq a) = Int type 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 type 91 type instance IxValue (Map k a) = a function 92 type instance Index (IntMap a) = Int type 93 type instance IxValue (IntMap a) = a type 94 type instance Index (Set a) = a function 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 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 type 91 type instance IxValue (Map k a) = a function 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) = () function 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 type [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 type 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 function 24 type instance Id a = a type 28 type instance IdProxy a = Id a type 36 type instance P Z m = m type 42 type instance J Int b c = Char type 46 type instance K (S n) m = S m function 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 type 40 type instance ToSumCode (a :+: b) xs = ToSumCode a (ToSumCode b xs) function 41 type instance ToSumCode V1 xs = xs type 42 type instance ToSumCode (M1 D _c a) xs = ToSumCode a xs type 43 type instance ToSumCode (M1 C _c a) xs = ToProductCode a '[] ': xs type 55 type instance ToStrictnessInfoss V1 xss = xss type 60 type instance ToStrictnessInfos U1 xs = xs type 68 type instance ToSumInfo V1 xs = xs function [all …]
|