ghcide-2.9.0.0: The core of an IDE
Safe HaskellSafe-Inferred
LanguageGHC2021

Development.IDE.Types.Shake

Synopsis

Documentation

newtype Q k Source #

Constructors

Q (k, NormalizedFilePath) 

Instances

Instances details
Show k => Show (Q k) Source # 
Instance details

Defined in Development.IDE.Types.Shake

Methods

showsPrec :: Int -> Q k -> ShowS #

show :: Q k -> String #

showList :: [Q k] -> ShowS #

NFData k => NFData (Q k) Source # 
Instance details

Defined in Development.IDE.Types.Shake

Methods

rnf :: Q k -> () #

Eq k => Eq (Q k) Source # 
Instance details

Defined in Development.IDE.Types.Shake

Methods

(==) :: Q k -> Q k -> Bool #

(/=) :: Q k -> Q k -> Bool #

Hashable k => Hashable (Q k) Source # 
Instance details

Defined in Development.IDE.Types.Shake

Methods

hashWithSalt :: Int -> Q k -> Int #

hash :: Q k -> Int #

type RuleResult (Q k) Source # 
Instance details

Defined in Development.IDE.Types.Shake

type RuleResult (Q k) = A (RuleResult k)

newtype A v Source #

Invariant: the v must be in normal form (fully evaluated). Otherwise we keep repeatedly rnfing values taken from the Shake database

Constructors

A (Value v) 

Instances

Instances details
Show v => Show (A v) Source # 
Instance details

Defined in Development.IDE.Types.Shake

Methods

showsPrec :: Int -> A v -> ShowS #

show :: A v -> String #

showList :: [A v] -> ShowS #

NFData (A v) Source # 
Instance details

Defined in Development.IDE.Types.Shake

Methods

rnf :: A v -> () #

data Value v Source #

Instances

Instances details
Functor Value Source # 
Instance details

Defined in Development.IDE.Types.Shake

Methods

fmap :: (a -> b) -> Value a -> Value b #

(<$) :: a -> Value b -> Value a #

Generic (Value v) Source # 
Instance details

Defined in Development.IDE.Types.Shake

Associated Types

type Rep (Value v) :: Type -> Type #

Methods

from :: Value v -> Rep (Value v) x #

to :: Rep (Value v) x -> Value v #

Show v => Show (Value v) Source # 
Instance details

Defined in Development.IDE.Types.Shake

Methods

showsPrec :: Int -> Value v -> ShowS #

show :: Value v -> String #

showList :: [Value v] -> ShowS #

NFData v => NFData (Value v) Source # 
Instance details

Defined in Development.IDE.Types.Shake

Methods

rnf :: Value v -> () #

type Rep (Value v) Source # 
Instance details

Defined in Development.IDE.Types.Shake

type Values = Map Key ValueWithDiagnostics Source #

The state of the all values and diagnostics

data Key #

Instances

Instances details
Show Key 
Instance details

Defined in Development.IDE.Graph.Internal.Key

Methods

showsPrec :: Int -> Key -> ShowS #

show :: Key -> String #

showList :: [Key] -> ShowS #

Eq Key 
Instance details

Defined in Development.IDE.Graph.Internal.Key

Methods

(==) :: Key -> Key -> Bool #

(/=) :: Key -> Key -> Bool #

Hashable Key 
Instance details

Defined in Development.IDE.Graph.Internal.Key

Methods

hashWithSalt :: Int -> Key -> Int #

hash :: Key -> Int #

newtype BadDependency Source #

When we depend on something that reported an error, and we fail as a direct result, throw BadDependency which short-circuits the rest of the action

Constructors

BadDependency String 

data ShakeValue Source #

Constructors

ShakeNoCutoff

This is what we use when we get Nothing from a rule.

ShakeResult !ByteString

This is used both for Failed as well as Succeeded.

ShakeStale !ByteString 

Instances

Instances details
Generic ShakeValue Source # 
Instance details

Defined in Development.IDE.Types.Shake

Associated Types

type Rep ShakeValue :: Type -> Type #

Show ShakeValue Source # 
Instance details

Defined in Development.IDE.Types.Shake

NFData ShakeValue Source # 
Instance details

Defined in Development.IDE.Types.Shake

Methods

rnf :: ShakeValue -> () #

type Rep ShakeValue Source # 
Instance details

Defined in Development.IDE.Types.Shake

type Rep ShakeValue = D1 ('MetaData "ShakeValue" "Development.IDE.Types.Shake" "ghcide-2.9.0.0-5fVLSF6BuTDBEO5GZ0xNyi" 'False) (C1 ('MetaCons "ShakeNoCutoff" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ShakeResult" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "ShakeStale" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString))))

currentValue :: Value v -> Maybe v Source #

Convert a Value to a Maybe. This will only return Just for up2date results not for stale values.

toNoFileKey :: (Show k, Typeable k, Eq k, Hashable k) => k -> Key Source #

fromKeyType :: Key -> Maybe (SomeTypeRep, NormalizedFilePath) Source #

fromKeyType (Q (k,f)) = (typeOf k, f)

type WithHieDb = forall a. (HieDb -> IO a) -> IO a Source #

Intended to represent HieDb calls wrapped with (currently) retry functionality