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. emapPVarVM :: Monad m => ([Symbol] -> v -> m v') -> ([Symbol] -> t -> m t') -> PVarV v t -> m (PVarV v' t')

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

   A map traversal that collects the local variables in scope

2. emapPredicateVM :: Monad m => ([Symbol] -> v -> m v') -> PredicateV v -> m (PredicateV v')

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

   A map traversal that collects the local variables in scope

3. emapSubstVM :: Monad m => ([Symbol] -> v -> m v') -> SubstV v -> m (SubstV v')

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

   No documentation available.

4. emapUReftVM :: Monad m => ([Symbol] -> v -> m v') -> (r -> m r') -> UReftV v r -> m (UReftV v' r')

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

   No documentation available.

5. emapBareTypeVM :: Monad m => Bool -> ([Symbol] -> v1 -> m v2) -> [Symbol] -> BareTypeV v1 -> m (BareTypeV v2)

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

   No documentation available.

6. emapDataCtorTyM :: Monad m => ([Symbol] -> ty -> m ty') -> DataCtorP ty -> m (DataCtorP ty')

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

   No documentation available.

7. emapDataDeclM :: Monad m => Bool -> ([Symbol] -> v -> m v') -> ([Symbol] -> ty -> m ty') -> DataDeclP v ty -> m (DataDeclP v' ty')

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

   No documentation available.

8. emapFReftM :: Monad m => ([Symbol] -> v -> m v') -> ReftV v -> m (ReftV v')

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

   No documentation available.

9. emapRefM :: (Monad m, ToReftV t, Symbolic tv) => Bool -> ([Symbol] -> v -> m v') -> ([Symbol] -> t -> m s) -> [Symbol] -> RTPropV v c tv t -> m (RTPropV v' c tv s)

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

   No documentation available.

10. emapReft :: ([Symbol] -> r1 -> r2) -> [Symbol] -> RTypeV v c tv r1 -> RTypeV v c tv r2

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

    No documentation available.

Page 1070 of many | Previous | Next