Safe Haskell	None
Language	Haskell2010

Development.IDE.Types.Shake

Synopsis

data Value v
- = Succeeded TextDocumentVersion v
- | Stale TextDocumentVersion v
- | Failed
type Values = HashMap (NormalizedFilePath, Key) (Value Dynamic)
data Key = forall k.(Typeable k, Hashable k, Eq k, Show k) => Key k
currentValue :: Value v -> Maybe v

Documentation

data Value v Source #

Constructors

Succeeded TextDocumentVersion v
Stale TextDocumentVersion v
Failed

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-0.7.0.0-ISKBRfLfVcFFRZrkB2paej" '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 TextDocumentVersion) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 v)) :+: C1 ('MetaCons "Failed" 'PrefixI 'False) (U1 :: Type -> Type)))

type Values = HashMap (NormalizedFilePath, Key) (Value Dynamic) Source #

The state of the all values.

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 #

currentValue :: Value v -> Maybe v Source #

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