Safe Haskell	Safe-Inferred
Language	GHC2021

Development.IDE.Core.UseStale

Synopsis

data Age
- = Current
- | Stale Type
data Tracked (age :: Age) a
unTrack :: Tracked age a -> a
data PositionMap (from :: Age) (to :: Age)
data TrackedStale a where
- TrackedStale :: Tracked (Stale s) a -> PositionMap (Stale s) Current -> TrackedStale a
untrackedStaleValue :: TrackedStale a -> a
unsafeMkStale :: age -> Tracked (Stale s) age
unsafeMkCurrent :: age -> Tracked 'Current age
unsafeCopyAge :: Tracked age a -> b -> Tracked age b
class MapAge a where
- mapAgeFrom :: PositionMap from to -> Tracked to a -> Maybe (Tracked from a)
- mapAgeTo :: PositionMap from to -> Tracked from a -> Maybe (Tracked to a)
dualPositionMap :: PositionMap from to -> PositionMap to from
useWithStale :: IdeRule k v => k -> NormalizedFilePath -> Action (Maybe (TrackedStale v))
useWithStale_ :: IdeRule k v => k -> NormalizedFilePath -> Action (TrackedStale v)

Documentation

data Age Source #

A data kind for Tracked.

Constructors

Current
Stale Type

Instances

Instances details

Category PositionMap Source #
Instance details Defined in Development.IDE.Core.UseStale Methods id :: forall (a :: k). PositionMap a a # (.) :: forall (b :: k) (c :: k) (a :: k). PositionMap b c -> PositionMap a b -> PositionMap a c #

data Tracked (age :: Age) a Source #

Some value, tagged with its age. All Current ages are considered to be the same thing, but Stale values are protected by an untouchable variable to ensure they can't be unified.

Instances

Instances details

Foldable (Tracked age) Source #
Instance details Defined in Development.IDE.Core.UseStale Methods fold :: Monoid m => Tracked age m -> m # foldMap :: Monoid m => (a -> m) -> Tracked age a -> m # foldMap' :: Monoid m => (a -> m) -> Tracked age a -> m # foldr :: (a -> b -> b) -> b -> Tracked age a -> b # foldr' :: (a -> b -> b) -> b -> Tracked age a -> b # foldl :: (b -> a -> b) -> b -> Tracked age a -> b # foldl' :: (b -> a -> b) -> b -> Tracked age a -> b # foldr1 :: (a -> a -> a) -> Tracked age a -> a # foldl1 :: (a -> a -> a) -> Tracked age a -> a # toList :: Tracked age a -> [a] # null :: Tracked age a -> Bool # length :: Tracked age a -> Int # elem :: Eq a => a -> Tracked age a -> Bool # maximum :: Ord a => Tracked age a -> a # minimum :: Ord a => Tracked age a -> a # sum :: Num a => Tracked age a -> a # product :: Num a => Tracked age a -> a #
Traversable (Tracked age) Source #
Instance details Defined in Development.IDE.Core.UseStale Methods traverse :: Applicative f => (a -> f b) -> Tracked age a -> f (Tracked age b) # sequenceA :: Applicative f => Tracked age (f a) -> f (Tracked age a) # mapM :: Monad m => (a -> m b) -> Tracked age a -> m (Tracked age b) # sequence :: Monad m => Tracked age (m a) -> m (Tracked age a) #
Applicative (Tracked age) Source #
Instance details Defined in Development.IDE.Core.UseStale Methods pure :: a -> Tracked age a # (<>) :: Tracked age (a -> b) -> Tracked age a -> Tracked age b # liftA2 :: (a -> b -> c) -> Tracked age a -> Tracked age b -> Tracked age c # (>) :: Tracked age a -> Tracked age b -> Tracked age b # (<*) :: Tracked age a -> Tracked age b -> Tracked age a #
Functor (Tracked age) Source #
Instance details Defined in Development.IDE.Core.UseStale Methods fmap :: (a -> b) -> Tracked age a -> Tracked age b # (<$) :: a -> Tracked age b -> Tracked age a #
Monad (Tracked age) Source #
Instance details Defined in Development.IDE.Core.UseStale Methods (>>=) :: Tracked age a -> (a -> Tracked age b) -> Tracked age b # (>>) :: Tracked age a -> Tracked age b -> Tracked age b # return :: a -> Tracked age a #
FromJSON a => FromJSON (Tracked age a) Source #
Instance details Defined in Development.IDE.Core.UseStale Methods parseJSON :: Value -> Parser (Tracked age a) # parseJSONList :: Value -> Parser [Tracked age a] # omittedField :: Maybe (Tracked age a) #
ToJSON a => ToJSON (Tracked age a) Source #
Instance details Defined in Development.IDE.Core.UseStale Methods toJSON :: Tracked age a -> Value # toEncoding :: Tracked age a -> Encoding # toJSONList :: [Tracked age a] -> Value # toEncodingList :: [Tracked age a] -> Encoding # omitField :: Tracked age a -> Bool #
Read a => Read (Tracked age a) Source #
Instance details Defined in Development.IDE.Core.UseStale Methods readsPrec :: Int -> ReadS (Tracked age a) # readList :: ReadS [Tracked age a] # readPrec :: ReadPrec (Tracked age a) # readListPrec :: ReadPrec [Tracked age a] #
Show a => Show (Tracked age a) Source #
Instance details Defined in Development.IDE.Core.UseStale Methods showsPrec :: Int -> Tracked age a -> ShowS # show :: Tracked age a -> String # showList :: [Tracked age a] -> ShowS #
NFData a => NFData (Tracked age a) Source #
Instance details Defined in Development.IDE.Core.UseStale Methods rnf :: Tracked age a -> () #
Eq a => Eq (Tracked age a) Source #
Instance details Defined in Development.IDE.Core.UseStale Methods (==) :: Tracked age a -> Tracked age a -> Bool # (/=) :: Tracked age a -> Tracked age a -> Bool #
Ord a => Ord (Tracked age a) Source #
Instance details Defined in Development.IDE.Core.UseStale Methods compare :: Tracked age a -> Tracked age a -> Ordering # (<) :: Tracked age a -> Tracked age a -> Bool # (<=) :: Tracked age a -> Tracked age a -> Bool # (>) :: Tracked age a -> Tracked age a -> Bool # (>=) :: Tracked age a -> Tracked age a -> Bool # max :: Tracked age a -> Tracked age a -> Tracked age a # min :: Tracked age a -> Tracked age a -> Tracked age a #

unTrack :: Tracked age a -> a Source #

data PositionMap (from :: Age) (to :: Age) Source #

Like PositionMapping, but with annotated ages for how Tracked values change. Use the Category instance to compose PositionMappings in order to transform between values of different stale ages.

Instances

Instances details

Category PositionMap Source #
Instance details Defined in Development.IDE.Core.UseStale Methods id :: forall (a :: k). PositionMap a a # (.) :: forall (b :: k) (c :: k) (a :: k). PositionMap b c -> PositionMap a b -> PositionMap a c #

data TrackedStale a where Source #

A pair containing a Tracked Stale value, as well as a PositionMapping that will fast-forward values to the current age.

Constructors

TrackedStale :: Tracked (Stale s) a -> PositionMap (Stale s) Current -> TrackedStale a

Instances

Instances details

Functor TrackedStale Source #
Instance details Defined in Development.IDE.Core.UseStale Methods fmap :: (a -> b) -> TrackedStale a -> TrackedStale b # (<$) :: a -> TrackedStale b -> TrackedStale a #

untrackedStaleValue :: TrackedStale a -> a Source #

unsafeMkStale :: age -> Tracked (Stale s) age Source #

unsafeMkCurrent :: age -> Tracked 'Current age Source #

unsafeCopyAge :: Tracked age a -> b -> Tracked age b Source #

class MapAge a where Source #

A class for which Tracked values can be run across a PositionMapping to change their ages.

Minimal complete definition

mapAgeFrom | mapAgeTo

Methods

mapAgeFrom :: PositionMap from to -> Tracked to a -> Maybe (Tracked from a) Source #

mapAgeTo :: PositionMap from to -> Tracked from a -> Maybe (Tracked to a) Source #

Instances

Instances details

MapAge RealSrcSpan Source #
Instance details Defined in Development.IDE.Core.UseStale Methods mapAgeFrom :: forall (from :: Age) (to :: Age). PositionMap from to -> Tracked to RealSrcSpan -> Maybe (Tracked from RealSrcSpan) Source # mapAgeTo :: forall (from :: Age) (to :: Age). PositionMap from to -> Tracked from RealSrcSpan -> Maybe (Tracked to RealSrcSpan) Source #
MapAge Range Source #
Instance details Defined in Development.IDE.Core.UseStale Methods mapAgeFrom :: forall (from :: Age) (to :: Age). PositionMap from to -> Tracked to Range -> Maybe (Tracked from Range) Source # mapAgeTo :: forall (from :: Age) (to :: Age). PositionMap from to -> Tracked from Range -> Maybe (Tracked to Range) Source #

dualPositionMap :: PositionMap from to -> PositionMap to from Source #

Get a PositionMap that runs in the opposite direction.

useWithStale :: IdeRule k v => k -> NormalizedFilePath -> Action (Maybe (TrackedStale v)) Source #

Request a Rule result, it not available return the last computed result, if any, which may be stale

useWithStale_ :: IdeRule k v => k -> NormalizedFilePath -> Action (TrackedStale v) Source #

Request a Rule result, it not available return the last computed result which may be stale. Errors out if none available.