SafeFlagNoUniverseCheck (reference) in projects: dports

Searched refs:SafeFlagNoUniverseCheck (Results 1 – 5 of 5) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Pretty/
H A D	Warning.hs	`211 SafeFlagNoUniverseCheck -> fsep $`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Serialise/Instances/
H A D	Errors.hs	`49 SafeFlagNoUniverseCheck -> __IMPOSSIBLE__`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/Highlighting/
H A D	Generate.hs	`450 SafeFlagNoUniverseCheck -> errorWarningHighlighting w`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A D	Base.hs	`3310 \| SafeFlagNoUniverseCheck constructor 3403 SafeFlagNoUniverseCheck -> SafeFlagNoUniverseCheck_`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Translation/
H A D	ConcreteToAbstract.hs	`1463 C.NoUniverseCheckPragma{} -> Just SafeFlagNoUniverseCheck`