Development.IDE.Types.Shake

Documentation

newtype Q k

Constructors

Q (k, NormalizedFilePath)

Instances

Eq k => Eq (Q k)

Defined in Development.IDE.Types.Shake

Methods

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

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

Show k => Show (Q k)

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)

Defined in Development.IDE.Types.Shake

Methods

hashWithSalt :: Int -> Q k -> Int

hash :: Q k -> Int

NFData k => NFData (Q k)

Defined in Development.IDE.Types.Shake

Methods

rnf :: Q k -> ()

type RuleResult (Q k)

Defined in Development.IDE.Types.Shake

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

newtype A v

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

Show v => Show (A v)

Defined in Development.IDE.Types.Shake

Methods

showsPrec :: Int -> A v -> ShowS

show :: A v -> String

showList :: [A v] -> ShowS

NFData (A v)

Defined in Development.IDE.Types.Shake

Methods

rnf :: A v -> ()

data Value v

Constructors

Succeeded (Maybe FileVersion) v

Stale (Maybe PositionDelta) (Maybe FileVersion) v

Failed Bool

Instances

Functor Value

Defined in Development.IDE.Types.Shake

Methods

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

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

Show v => Show (Value v)

Defined in Development.IDE.Types.Shake

Methods

showsPrec :: Int -> Value v -> ShowS

show :: Value v -> String

showList :: [Value v] -> ShowS

Generic (Value v)

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)

Defined in Development.IDE.Types.Shake

Methods

rnf :: Value v -> ()

type Rep (Value v)

Defined in Development.IDE.Types.Shake

type Rep (Value v) = D1 ('MetaData "Value" "Development.IDE.Types.Shake" "ghcide-1.7.0.0-Et6Gp1ZnqTjGFkpVtgQ7GA" 'False) (C1 ('MetaCons "Succeeded" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FileVersion)) :*: 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 (Maybe FileVersion)) :*: 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

Constructors

ValueWithDiagnostics !(Value Dynamic) !(Vector FileDiagnostic)

type Values = Map Key ValueWithDiagnostics

The state of the all values and diagnostics

data Key

Constructors

(Typeable a, Eq a, Hashable a, Show a) => Key a

Instances

Eq Key

Defined in Development.IDE.Graph.Internal.Types

Methods

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

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

Show Key

Defined in Development.IDE.Graph.Internal.Types

Methods

showsPrec :: Int -> Key -> ShowS

show :: Key -> String

showList :: [Key] -> ShowS

Hashable Key

Defined in Development.IDE.Graph.Internal.Types

Methods

hashWithSalt :: Int -> Key -> Int

hash :: Key -> Int

newtype BadDependency

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

Show BadDependency

Defined in Development.IDE.Types.Shake

Methods

showsPrec :: Int -> BadDependency -> ShowS

show :: BadDependency -> String

showList :: [BadDependency] -> ShowS

Exception BadDependency

Defined in Development.IDE.Types.Shake

Methods

toException :: BadDependency -> SomeException

fromException :: SomeException -> Maybe BadDependency

displayException :: BadDependency -> String

data ShakeValue

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

Show ShakeValue

Defined in Development.IDE.Types.Shake

Methods

showsPrec :: Int -> ShakeValue -> ShowS

show :: ShakeValue -> String

showList :: [ShakeValue] -> ShowS

Generic ShakeValue

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

Defined in Development.IDE.Types.Shake

Methods

rnf :: ShakeValue -> ()

type Rep ShakeValue

Defined in Development.IDE.Types.Shake

type Rep ShakeValue = D1 ('MetaData "ShakeValue" "Development.IDE.Types.Shake" "ghcide-1.7.0.0-Et6Gp1ZnqTjGFkpVtgQ7GA" '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

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

isBadDependency :: SomeException -> Bool

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

encodeShakeValue :: ShakeValue -> ByteString

decodeShakeValue :: ByteString -> ShakeValue

toKey :: ShakeValue k => k -> NormalizedFilePath -> Key

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

fromKey :: Typeable k => Key -> Maybe (k, NormalizedFilePath)

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

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

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

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