Hoogle Search
Within LTS Haskell 24.33 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
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|]
mapSomeBase :: (forall b . () => Path b t -> Path b t') -> SomeBase t -> SomeBase t'path OsPath.Windows Helper to apply a function to the SomeBase object
>>> mapSomeBase parent (Abs [absfile|/foo/bar/cow.moo|]) == Abs [absdir|/foo/bar|]
mapSomeBase :: (forall b . () => Path b t -> Path b t') -> SomeBase t -> SomeBase t'path Path.Posix Helper to apply a function to the SomeBase object
>>> mapSomeBase parent (Abs [absfile|/foo/bar/cow.moo|]) == Abs [absdir|"/foo/bar"|]
mapSomeBase :: (forall b . () => Path b t -> Path b t') -> SomeBase t -> SomeBase t'path Path.Windows Helper to apply a function to the SomeBase object
>>> mapSomeBase parent (Abs [absfile|/foo/bar/cow.moo|]) == Abs [absdir|"/foo/bar"|]
mapDict :: (a :- b) -> Dict a -> Dict bconstraints Data.Constraint Apply an entailment to a dictionary. From a category theoretic perspective Dict is a functor that maps from the category of constraints (with arrows in :-) to the category Hask of Haskell data types.