Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

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

Exact lookup

1. mapSpecLName :: (lname0 -> lname1) -> Spec lname0 ty -> Spec lname1 ty

   liquidhaskell-boot	Language.Haskell.Liquid.Types.Specs

   No documentation available.

2. mapSpecTy :: (ty0 -> ty1) -> Spec lname ty0 -> Spec lname ty1

   liquidhaskell-boot	Language.Haskell.Liquid.Types.Specs

   No documentation available.

3. mapDefTy :: (ty0 -> ty1) -> DefV v ty0 ctor -> DefV v ty1 ctor

   liquidhaskell-boot	Language.Haskell.Liquid.Types.Types

   No documentation available.

4. mapDefV :: (v -> v') -> DefV v ty ctor -> DefV v' ty ctor

   liquidhaskell-boot	Language.Haskell.Liquid.Types.Types

   No documentation available.

5. mapMeasureTy :: (ty0 -> ty1) -> MeasureV v ty0 ctor -> MeasureV v ty1 ctor

   liquidhaskell-boot	Language.Haskell.Liquid.Types.Types

   No documentation available.

6. mapMeasureV :: (v -> v') -> MeasureV v ty ctor -> MeasureV v' ty ctor

   liquidhaskell-boot	Language.Haskell.Liquid.Types.Types

   No documentation available.

7. mapRTAVars :: (a -> b) -> RTAlias a ty -> RTAlias b ty

   liquidhaskell-boot	Language.Haskell.Liquid.Types.Types

   No documentation available.

8. mapLogT :: (m a -> n b) -> LogT m a -> LogT n b

   log-base	Log.Monad

   Transform the computation inside a LogT.

9. package map-syntax

   Syntax sugar for defining maps Haskell's canonical list of tuples syntax for defining maps is not very convenient and also has ambiguous semantics. This package leverages do notation to create a lighter syntax that makes semantics explicit and also allows the option of fail-fast handling of duplicate keys.

10. mapK :: (k1 -> k2) -> MapSyntaxM k1 v a -> MapSyntax k2 v

    map-syntax	Data.Map.Syntax

    Maps a function over all the keys.

Page 292 of many | Previous | Next