Safe Haskell	Safe-Inferred
Language	Haskell2010

Swarm.Language.LSP.VarUsage

Synopsis

data BindingType
- = Lambda
- | Let
- | Bind
data VarUsage = VarUsage LocVar BindingType
type BindingSites = Map Var (NonEmpty SrcLoc)
data Usage = Usage {
- usages :: Set LocVar
- problems :: [VarUsage]
}
toErrPos :: Text -> VarUsage -> Maybe (Range, Text)
checkOccurrences :: BindingSites -> LocVar -> BindingType -> [Syntax] -> Usage
getUsage :: BindingSites -> Syntax -> Usage

Documentation

data BindingType Source #

Constructors

Lambda
Let
Bind

Instances

Instances details

Show BindingType Source #
Instance details Defined in Swarm.Language.LSP.VarUsage Methods showsPrec :: Int -> BindingType -> ShowS # show :: BindingType -> String # showList :: [BindingType] -> ShowS #
Eq BindingType Source #
Instance details Defined in Swarm.Language.LSP.VarUsage Methods (==) :: BindingType -> BindingType -> Bool # (/=) :: BindingType -> BindingType -> Bool #

data VarUsage Source #

Constructors

VarUsage LocVar BindingType

type BindingSites = Map Var (NonEmpty SrcLoc) Source #

data Usage Source #

Constructors

Usage
Fields usages :: Set LocVar Variable references problems :: [VarUsage] Variable declarations without any references

Instances

Instances details

Monoid Usage Source #
Instance details Defined in Swarm.Language.LSP.VarUsage Methods mempty :: Usage # mappend :: Usage -> Usage -> Usage # mconcat :: [Usage] -> Usage #
Semigroup Usage Source #
Instance details Defined in Swarm.Language.LSP.VarUsage Methods (<>) :: Usage -> Usage -> Usage # sconcat :: NonEmpty Usage -> Usage # stimes :: Integral b => b -> Usage -> Usage #

toErrPos :: Text -> VarUsage -> Maybe (Range, Text) Source #

checkOccurrences :: BindingSites -> LocVar -> BindingType -> [Syntax] -> Usage Source #

Descends the syntax tree rooted at a variable declaration, accumulating variable references. Generates a "problem" if an associated variable reference is not encountered in the subtree for this declaration.

getUsage :: BindingSites -> Syntax -> Usage Source #

Build up the bindings map as a function argument as we descend into the syntax tree. Aggregates unused bindings as we return from each layer.