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. newtype RangeMap a

   Agda	Agda.Utils.RangeMap

   Maps containing non-overlapping intervals. The implementation does not use IntMap, because IntMap does not come with a constant-time size function. Note the invariant which RangeMaps should satisfy (rangeMapInvariant).

2. RangeMap :: Map Int (PairInt a) -> RangeMap a

   Agda	Agda.Utils.RangeMap

   No documentation available.

3. rangeMap :: RangeMap a -> Map Int (PairInt a)

   Agda	Agda.Utils.RangeMap

   The keys are starting points of ranges, and the pairs contain endpoints and values.

4. rangeMapInvariant :: RangeMap a -> Bool

   Agda	Agda.Utils.RangeMap

   Invariant for RangeMap. The ranges must not be empty, and they must not overlap.

5. toMap :: IsBasicRangeMap a m => m -> IntMap a

   Agda	Agda.Utils.RangeMap

   Converts range maps to IntMaps from positions to values.

6. data ConsMap0 (a :: Function k l -> Type) (b :: Function k Function [l] [l] -> Type)

   Agda	Agda.Utils.TypeLevel

   No documentation available.

7. data ConsMap1 (a :: Function k l -> Type) (b :: k) (c :: Function [l] [l])

   Agda	Agda.Utils.TypeLevel

   No documentation available.

8. type SymMap = Map SymKey String

   BNFC	BNFC.Backend.Common.NamedVariables

   Map keywords and user-defined token types to their token name.

9. data KeyMap v

   Blammo	Data.Aeson.Compat

   A map from JSON key type Key to v.

10. contraMapCont :: (b -> Results s t a) -> Cont s r e t a c -> Cont s r e t b c

    Earley	Text.Earley.Generator.Internal

    No documentation available.

Page 1116 of many | Previous | Next