Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. data MapProof (f :: Flavor) s a b r

   refined-containers	Data.Map.Refined

   Proof that r is the direct image of s under some mapping f :: a -> b.

2. MapProof :: (Refined (InSet f s) a -> Refined (InSet f r) b) -> (Refined (InSet f r) b -> Refined (InSet f s) a) -> MapProof (f :: Flavor) s a b r

   refined-containers	Data.Map.Refined

   No documentation available.

3. data MapProof (f :: Flavor) s a b r

   refined-containers	Data.Map.Strict.Refined

   Proof that r is the direct image of s under some mapping f :: a -> b.

4. MapProof :: (Refined (InSet f s) a -> Refined (InSet f r) b) -> (Refined (InSet f r) b -> Refined (InSet f s) a) -> MapProof (f :: Flavor) s a b r

   refined-containers	Data.Map.Strict.Refined

   No documentation available.

5. data MapProof (f :: Flavor) s a b r

   refined-containers	Data.Set.Refined

   Proof that r is the direct image of s under some mapping f :: a -> b.

6. MapProof :: (Refined (InSet f s) a -> Refined (InSet f r) b) -> (Refined (InSet f r) b -> Refined (InSet f s) a) -> MapProof (f :: Flavor) s a b r

   refined-containers	Data.Set.Refined

   No documentation available.

7. data MapEntry

   riak-protobuf	Data.Riak.Proto

   Fields :

   • field :: Lens' MapEntry MapField
   • counterValue :: Lens' MapEntry Data.Int.Int64
   • maybe'counterValue :: Lens' MapEntry (Prelude.Maybe Data.Int.Int64)
   • setValue :: Lens' MapEntry [Data.ByteString.ByteString]
   • vec'setValue :: Lens' MapEntry (Data.Vector.Vector Data.ByteString.ByteString)
   • registerValue :: Lens' MapEntry Data.ByteString.ByteString
   • maybe'registerValue :: Lens' MapEntry (Prelude.Maybe Data.ByteString.ByteString)
   • flagValue :: Lens' MapEntry Prelude.Bool
   • maybe'flagValue :: Lens' MapEntry (Prelude.Maybe Prelude.Bool)
   • mapValue :: Lens' MapEntry [MapEntry]
   • vec'mapValue :: Lens' MapEntry (Data.Vector.Vector MapEntry)

8. data MapField

   riak-protobuf	Data.Riak.Proto

   Fields :

   • name :: Lens' MapField Data.ByteString.ByteString
   • type' :: Lens' MapField MapField'MapFieldType

9. MapField'COUNTER :: MapField'MapFieldType

   riak-protobuf	Data.Riak.Proto

   No documentation available.

10. MapField'FLAG :: MapField'MapFieldType

    riak-protobuf	Data.Riak.Proto

    No documentation available.

Page 81 of many | Previous | Next