Within

Documentation

newtype Within a t

Constructors

Within (Path a Dir, Path Rel t)

Instances

Eq (Within a t)

Defined in Within

Methods

(==) :: Within a t -> Within a t -> Bool

(/=) :: Within a t -> Within a t -> Bool

Show (Within a t)

Defined in Within

Methods

showsPrec :: Int -> Within a t -> ShowS

show :: Within a t -> String

showList :: [Within a t] -> ShowS

Generic (Within a t)

Defined in Within

Associated Types

type Rep (Within a t) :: Type -> Type

Methods

from :: Within a t -> Rep (Within a t) x

to :: Rep (Within a t) x -> Within a t

type Rep (Within a t)

Defined in Within

type Rep (Within a t) = D1 (MetaData "Within" "Within" "within-0.0.1.0-2T35ZMm8rNdKgwt9UZCB9x" True) (C1 (MetaCons "Within" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Path a Dir, Path Rel 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)