-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | A path within another path.
--   
--   Simple type for representing a well-typed path within another path.
--   Useful for when you need to jump between directories and change
--   filenames independently. Uses the path library.
@package within
@version 0.0.1.0

module Within
newtype Within a t
Within :: (Path a Dir, Path Rel t) -> Within a t
fromWithin :: Within a t -> Path a t
toWithin :: Path a Dir -> Path Rel t -> Within a t
within :: Path Rel t -> Path a Dir -> Within a t
asWithin :: MonadThrow m => Path a t -> Path a Dir -> m (Within a t)
whatLiesWithin :: Within a t -> Path Rel t
mapWithin :: (Path Rel s -> Path Rel t) -> Within a s -> Within a t
mapWithinT :: MonadThrow m => (Path Rel s -> m (Path Rel t)) -> Within a s -> m (Within a t)
moveWithin :: (Path a Dir -> Path b Dir) -> Within a t -> Within b t
moveWithinT :: MonadThrow m => (Path a Dir -> m (Path b Dir)) -> Within a t -> m (Within b t)
blinkWithin :: Path b Dir -> Within a t -> Within b t
moveAndMapT :: MonadThrow m => (Path a Dir -> m (Path b Dir)) -> (Path Rel s -> m (Path Rel t)) -> Within a s -> m (Within b t)
blinkAndMapT :: MonadThrow m => Path b Dir -> (Path Rel s -> m (Path Rel t)) -> Within a s -> m (Within b t)
instance GHC.Show.Show (Within.Within a t)
instance GHC.Classes.Eq (Within.Within a t)
instance GHC.Generics.Generic (Within.Within a t)