Safe Haskell	None
Language	Haskell2010

Development.IDE.Types.Shake

Synopsis

newtype Q k = Q (k, NormalizedFilePath)
newtype A v = A (Value v)
data Value v
- = Succeeded TextDocumentVersion v
- | Stale (Maybe PositionDelta) TextDocumentVersion v
- | Failed Bool
data ValueWithDiagnostics = ValueWithDiagnostics !(Value Dynamic) !(Vector FileDiagnostic)
type Values = HashMap (NormalizedFilePath, Key) ValueWithDiagnostics
data Key = forall k.(Typeable k, Hashable k, Eq k, Show k) => Key k
newtype BadDependency = BadDependency String
data ShakeValue
- = ShakeNoCutoff
- | ShakeResult !ByteString
- | ShakeStale !ByteString
currentValue :: Value v -> Maybe v
isBadDependency :: SomeException -> Bool
toShakeValue :: (ByteString -> ShakeValue) -> Maybe ByteString -> ShakeValue
encodeShakeValue :: ShakeValue -> ByteString
decodeShakeValue :: ByteString -> ShakeValue

Documentation

newtype Q k Source #

Constructors

Q (k, NormalizedFilePath)

Instances

Instances details

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 #
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 #
Hashable k => Hashable (Q k) Source #
Instance details Defined in Development.IDE.Types.Shake Methods hashWithSalt :: Int -> Q k -> Int # hash :: Q k -> Int #
Binary k => Binary (Q k) Source #
Instance details Defined in Development.IDE.Types.Shake Methods put :: Q k -> Put # get :: Get (Q k) # putList :: [Q k] -> Put #
NFData k => NFData (Q k) Source #
Instance details Defined in Development.IDE.Types.Shake Methods rnf :: Q k -> () #
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 #

Constructors

Succeeded TextDocumentVersion v
Stale (Maybe PositionDelta) TextDocumentVersion v
Failed Bool

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 #
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 #
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 #
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 Rep (Value v) = D1 ('MetaData "Value" "Development.IDE.Types.Shake" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "Succeeded" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TextDocumentVersion) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 v)) :+: (C1 ('MetaCons "Stale" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe PositionDelta)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TextDocumentVersion) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 v))) :+: C1 ('MetaCons "Failed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))

data ValueWithDiagnostics Source #

Constructors

ValueWithDiagnostics !(Value Dynamic) !(Vector FileDiagnostic)

type Values = HashMap (NormalizedFilePath, Key) ValueWithDiagnostics Source #

The state of the all values and diagnostics

data Key Source #

Key type

Constructors

forall k.(Typeable k, Hashable k, Eq k, Show k) => Key k

Instances

Instances details

Eq Key Source #
Instance details Defined in Development.IDE.Types.Shake Methods (==) :: Key -> Key -> Bool # (/=) :: Key -> Key -> Bool #
Show Key Source #
Instance details Defined in Development.IDE.Types.Shake Methods showsPrec :: Int -> Key -> ShowS # show :: Key -> String # showList :: [Key] -> ShowS #
Hashable Key Source #
Instance details Defined in Development.IDE.Types.Shake 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

Instances

Instances details

Show BadDependency Source #
Instance details Defined in Development.IDE.Types.Shake Methods showsPrec :: Int -> BadDependency -> ShowS # show :: BadDependency -> String # showList :: [BadDependency] -> ShowS #
Exception BadDependency Source #
Instance details Defined in Development.IDE.Types.Shake Methods toException :: BadDependency -> SomeException # fromException :: SomeException -> Maybe BadDependency # displayException :: 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

Show ShakeValue Source #
Instance details Defined in Development.IDE.Types.Shake Methods showsPrec :: Int -> ShakeValue -> ShowS # show :: ShakeValue -> String # showList :: [ShakeValue] -> ShowS #
Generic ShakeValue Source #
Instance details Defined in Development.IDE.Types.Shake Associated Types type Rep ShakeValue :: Type -> Type # Methods from :: ShakeValue -> Rep ShakeValue x # to :: Rep ShakeValue x -> ShakeValue #
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-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" '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.

isBadDependency :: SomeException -> Bool Source #

toShakeValue :: (ByteString -> ShakeValue) -> Maybe ByteString -> ShakeValue Source #

encodeShakeValue :: ShakeValue -> ByteString Source #

decodeShakeValue :: ByteString -> ShakeValue Source #