Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

Exact lookup

1. toLMapV :: (Located LHName, ([Symbol], ExprV v)) -> (Located LHName, LMapV v)

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

   No documentation available.

2. toLogicMap :: [(LocSymbol, ([Symbol], Expr))] -> LogicMap

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

   No documentation available.

3. data AnnMap

   liquidhaskell-boot	Language.Haskell.Liquid.UX.ACSS

   No documentation available.

4. Opt_FamAppCache :: GeneralFlag

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

5. Opt_InfoTableMap :: GeneralFlag

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

6. Opt_InfoTableMapWithFallback :: GeneralFlag

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

7. Opt_InfoTableMapWithStack :: GeneralFlag

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

8. runMap :: Ord k => MapSyntaxM k v a -> Either [k] (Map k v)

   map-syntax	Data.Map.Syntax

   Runs the MapSyntaxM monad to generate a map.

9. runMapSyntax :: Monoid map => (k -> map -> Maybe v) -> (k -> v -> map -> map) -> MapSyntaxM k v a -> Either [k] map

   map-syntax	Data.Map.Syntax

   Runs the MapSyntaxM monad to generate a map.

10. runMapSyntax' :: Monoid map => (k -> v -> v -> Maybe v) -> (k -> map -> Maybe v) -> (k -> v -> map -> map) -> MapSyntaxM k v a -> Either [k] map

    map-syntax	Data.Map.Syntax

    Runs the MapSyntaxM monad to generate a map. This function gives you the full power of insertWith when duplicate keys are encountered. Example:

    runMapSyntax' (\k new_val old_val -> Just $ old_val ++ new_val)
    

Page 1073 of many | Previous | Next