Home
last modified time | relevance | path

Searched refs:ifTopLevelAndHighlightingLevelIs (Results 1 – 3 of 3) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/
H A DImports.hs696 lift $ ifTopLevelAndHighlightingLevelIs NonInteractive $
950 ifTopLevelAndHighlightingLevelIs NonInteractive $
1005 ifTopLevelAndHighlightingLevelIs NonInteractive $
1037 ifTopLevelAndHighlightingLevelIs NonInteractive printUnsolvedInfo
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/Highlighting/
H A DGenerate.hs105 ifTopLevelAndHighlightingLevelIs NonInteractive $
179 ifTopLevelAndHighlightingLevelIs NonInteractive $
353 ifTopLevelAndHighlightingLevelIs NonInteractive $
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DBase.hs2762 ifTopLevelAndHighlightingLevelIs ::
2764 ifTopLevelAndHighlightingLevelIs l = function