Ide.Plugin.Tactic.Judgements

Documentation

blacklistingDestruct :: Judgement -> Judgement

unwhitelistingSplit :: Judgement -> Judgement

introducingLambda

Arguments

:: Maybe OccName

The name of the top level function. For any other function, this should be Nothing.

-> [(OccName, a)]

-> Judgement' a

-> Judgement' a

Introduce bindings in the context of a lamba.

introducingRecursively :: [(OccName, a)] -> Judgement' a -> Judgement' a

Introduce a binding in a recursive context.

introducingPat :: Maybe OccName -> DataCon -> [(OccName, a)] -> Judgement' a -> Judgement' a

Pattern vals are currently tracked in jHypothesis, with an extra piece of data sitting around in jPatternVals.

jGoal :: Judgement' a -> a

jHypothesis :: Judgement' a -> Hypothesis a

The hypothesis, consisting of local terms and the ambient environment (impors and class methods.) Hides disallowed values.

jEntireHypothesis :: Judgement' a -> Hypothesis a

The whole hypothesis, including things disallowed.

jPatHypothesis :: Judgement' a -> Map OccName PatVal

Only the hypothesis members which are pattern vals

substJdg :: TCvSubst -> Judgement -> Judgement

unsetIsTopHole :: Judgement' a -> Judgement' a

filterSameTypeFromOtherPositions :: DataCon -> Int -> Judgement -> Judgement

Disallow any hypotheses who have the same type as anything bound by the given position for the datacon. Used to ensure recursive functions like fmap preserve the relative ordering of their arguments by eliminating any other term which might match.

isDestructBlacklisted :: Judgement -> Bool

withNewGoal :: a -> Judgement' a -> Judgement' a

jLocalHypothesis :: Judgement' a -> Hypothesis a

Just the local hypothesis.

isSplitWhitelisted :: Judgement -> Bool

isPatternMatch :: Provenance -> Bool

Is this a pattern match?

filterPosition :: OccName -> Int -> Judgement -> Judgement

filter defn pos removes any hypotheses which are bound in defn to a position other than pos. Any terms whose ancestry doesn't include defn remain.

isTopHole :: Context -> Judgement' a -> Maybe OccName

If we're in a top hole, the name of the defining function.

disallowing :: DisallowReason -> [OccName] -> Judgement' a -> Judgement' a

Prevent some occnames from being used in the hypothesis. This will hide them from jHypothesis, but not from jEntireHypothesis.

mkFirstJudgement

Arguments

:: Hypothesis CType

-> Bool

are we in the top level rhs hole?

-> Type

-> Judgement' CType

hypothesisFromBindings :: RealSrcSpan -> Bindings -> Hypothesis CType

Given a SrcSpan and a Bindings, create a hypothesis.

isTopLevel :: Provenance -> Bool

Is this a top level function binding?

hyNamesInScope :: Hypothesis a -> Set OccName

What names are currently in scope in the hypothesis?

hyByName :: Hypothesis a -> Map OccName (HyInfo a)

Fold a hypothesis into a single mapping from name to info. This unavoidably will cause duplicate names (things like methods) to shadow one another.