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.

  1. hsMapAlt :: (Exp -> Exp) -> Alt -> Alt

    Agda Agda.Compiler.MAlonzo.Misc

    No documentation available.

  2. hsMapRHS :: (Exp -> Exp) -> Rhs -> Rhs

    Agda Agda.Compiler.MAlonzo.Misc

    No documentation available.

  3. class IsBasicRangeMap a m | m -> a

    Agda Agda.Interaction.Highlighting.Precise

    A class that is intended to make it easy to swap between different range map implementations. Note that some RangeMap operations are not included in this class.

  4. newtype PositionMap

    Agda Agda.Interaction.Highlighting.Precise

    Syntax highlighting information, represented by maps from positions to Aspects. The first position in the file has number 1.

  5. PositionMap :: IntMap Aspects -> PositionMap

    Agda Agda.Interaction.Highlighting.Precise

    No documentation available.

  6. positionMap :: PositionMap -> IntMap Aspects

    Agda Agda.Interaction.Highlighting.Precise

    No documentation available.

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

    Agda Agda.Interaction.Highlighting.Precise

    Converts range maps to IntMaps from positions to values.

  8. type ExeMap = Map ExeName FilePath

    Agda Agda.Interaction.Library.Base

    No documentation available.

  9. prettyMap :: (Pretty k, Pretty v) => [(k, v)] -> Doc

    Agda Agda.Syntax.Common.Pretty

    Pretty print an association list.

  10. attributesMap :: Map String Attribute

    Agda Agda.Syntax.Concrete.Attribute

    Concrete syntax for all attributes.

Page 1110 of many | Previous | Next