Hoogle Search
Within LTS Haskell 24.6 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
ghc Language.Haskell.Syntax.Type No documentation available.
-
th-abstraction Language.Haskell.TH.Datatype.TyVarBndr Map over the components of a TyVarBndr in a monadic fashion. This is the same as traverseTV, but with a Monad constraint. This is mainly useful for use with old versions of base where Applicative was not a superclass of Monad.
mapMTVFlag :: Monad m => (flag -> m flag') -> TyVarBndr_ flag -> m (TyVarBndr_ flag')th-abstraction Language.Haskell.TH.Datatype.TyVarBndr Map over the flag of a TyVarBndr in a monadic fashion. This is the same as traverseTVFlag, but with a Monad constraint. This is mainly useful for use with old versions of base where Applicative was not a superclass of Monad.
mapMTVKind :: Monad m => (Kind -> m Kind) -> TyVarBndr_ flag -> m (TyVarBndr_ flag)th-abstraction Language.Haskell.TH.Datatype.TyVarBndr Map over the Kind of a TyVarBndr in a monadic fashion. This is the same as traverseTVKind, but with a Monad constraint. This is mainly useful for use with old versions of base where Applicative was not a superclass of Monad.
mapMTVName :: Monad m => (Name -> m Name) -> TyVarBndr_ flag -> m (TyVarBndr_ flag)th-abstraction Language.Haskell.TH.Datatype.TyVarBndr Map over the Name of a TyVarBndr in a monadic fashion. This is the same as traverseTVName, but with a Monad constraint. This is mainly useful for use with old versions of base where Applicative was not a superclass of Monad.
mapTV :: (Name -> Name) -> (flag -> flag') -> (Kind -> Kind) -> TyVarBndr_ flag -> TyVarBndr_ flag'th-abstraction Language.Haskell.TH.Datatype.TyVarBndr Map over the components of a TyVarBndr.
mapTVFlag :: (flag -> flag') -> TyVarBndr_ flag -> TyVarBndr_ flag'th-abstraction Language.Haskell.TH.Datatype.TyVarBndr Map over the flag of a TyVarBndr.
mapTVKind :: (Kind -> Kind) -> TyVarBndr_ flag -> TyVarBndr_ flagth-abstraction Language.Haskell.TH.Datatype.TyVarBndr mapTVName :: (Name -> Name) -> TyVarBndr_ flag -> TyVarBndr_ flagth-abstraction Language.Haskell.TH.Datatype.TyVarBndr mapSomeBase :: (forall b . () => Path b t -> Path b t') -> SomeBase t -> SomeBase t'path OsPath.Posix Helper to apply a function to the SomeBase object
>>> mapSomeBase parent (Abs [absfile|/foo/bar/cow.moo|]) == Abs [absdir|/foo/bar|]