Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

  1. module Optics.Mapping

    This module defines mapping, which turns an Optic' k NoIx s a into an Optic' (MappedOptic k) NoIx (f s) (f a), in other words optic operating on values in a Functor.

  2. class MappingOptic k (f :: Type -> Type) (g :: Type -> Type) s t a b

    optics-core Optics.Mapping

    Class for optics supporting mapping through a Functor.

  3. module GI.GLib.Structs.MappedFile

    The MappedFile represents a file mapping created with mappedFileNew. It has only private members and should not be accessed directly.

  4. newtype MappedFile

    gi-glib GI.GLib.Structs.MappedFile

    Memory-managed wrapper type.

  5. MappedFile :: ManagedPtr MappedFile -> MappedFile

    gi-glib GI.GLib.Structs.MappedFile

    No documentation available.

  6. MapCodec :: forall k input v output . (Ord k, FromJSONKey k, ToJSONKey k, Coercible input (Map k v), Coercible output (Map k v)) => JSONCodec v -> Codec Value input output

    autodocodec Autodocodec

    Encode a Map, and decode any Map.

  7. MapCodec :: forall k input v output . (Ord k, FromJSONKey k, ToJSONKey k, Coercible input (Map k v), Coercible output (Map k v)) => JSONCodec v -> Codec Value input output

    autodocodec Autodocodec.Codec

    Encode a Map, and decode any Map.

  8. type family MapTyCon (t :: Type -> Type) (xs :: [a]) = (r :: [a]) | r -> a xs

    vinyl Data.Vinyl.TypeLevel

    Apply a type constructor to each element of a type level list using ApplyOn.

  9. type family MapAndUnzipM (a1 :: a ~> m (b, c)) (a2 :: [a]) :: m ([b], [c])

    singletons-base Control.Monad.Singletons

    No documentation available.

  10. data MapAndUnzipMSym0 (a1 :: TyFun a ~> m (b, c) [a] ~> m ([b], [c]))

    singletons-base Control.Monad.Singletons

    No documentation available.

Page 359 of many | Previous | Next