Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

  1. 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.

  2. 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.

  3. 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.

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

    singletons-base Control.Monad.Singletons

    No documentation available.

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

    singletons-base Control.Monad.Singletons

    No documentation available.

  6. data MapAndUnzipMSym1 (a6989586621681226841 :: a ~> m (b, c)) (b1 :: TyFun [a] m ([b], [c]))

    singletons-base Control.Monad.Singletons

    No documentation available.

  7. type family MapAndUnzipMSym2 (a6989586621681226841 :: a ~> m (b, c)) (a6989586621681226842 :: [a]) :: m ([b], [c])

    singletons-base Control.Monad.Singletons

    No documentation available.

  8. type family MapM (arg :: a ~> m b) (arg1 :: t a) :: m t b

    singletons-base Control.Monad.Singletons

    No documentation available.

  9. data MapMSym0 (a1 :: TyFun a ~> m b t a ~> m t b)

    singletons-base Control.Monad.Singletons

    No documentation available.

  10. data MapMSym1 (a6989586621680751881 :: a ~> m b) (b1 :: TyFun t a m t b)

    singletons-base Control.Monad.Singletons

    No documentation available.

Page 50 of many | Previous | Next