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. emapReftM :: (Monad m, ToReftV r1, Symbolic tv) => Bool -> ([Symbol] -> v1 -> m v2) -> ([Symbol] -> r1 -> m r2) -> [Symbol] -> RTypeV v1 c tv r1 -> m (RTypeV v2 c tv r2)

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

    No documentation available.

  2. data TyConMap

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

    Information about Type Constructors

  3. emapSpecM :: Monad m => Bool -> (LHName -> [Symbol]) -> ([Symbol] -> lname0 -> m lname1) -> ([Symbol] -> ty0 -> m ty1) -> Spec lname0 ty0 -> m (Spec lname1 ty1)

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

    A function to resolve names in the ty parameter of Spec

  4. gsLogicMap :: GhcSpecRefl -> !LogicMap

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

    No documentation available.

  5. LMap :: LocSymbol -> [Symbol] -> ExprV v -> LMapV v

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

    No documentation available.

  6. type LMap = LMapV Symbol

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

    No documentation available.

  7. data LMapV v

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

    No documentation available.

  8. data LogicMap

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

    No documentation available.

  9. data TyConMap

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

    Information about Type Constructors

  10. TyConMap :: HashMap TyCon RTyCon -> HashMap (TyCon, [Sort]) RTyCon -> HashMap TyCon Int -> TyConMap

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

    No documentation available.

Page 1071 of many | Previous | Next