Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

Exact lookup

1. mapReftM :: Monad m => (r1 -> m r2) -> RType c tv r1 -> m (RType c tv r2)

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

   No documentation available.

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

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

   No documentation available.

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

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

   No documentation available.

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

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

   No documentation available.

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

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

   No documentation available.

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

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

   No documentation available.

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

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

   No documentation available.

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

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

   No documentation available.

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

   log-base	Log.Monad

   Transform the computation inside a LogT.

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

Page 252 of many | Previous | Next