Searched refs:ShadowingInTelescope (Results 1 – 8 of 8) sorted by relevance
106 | ShadowingInTelescope (List1 (Name, List2 Range)) constructor149 ShadowingInTelescope{} -> ShadowingInTelescope_189 ShadowingInTelescope{} -> False253 getRange (ShadowingInTelescope ns) = getRange ns359 pretty (ShadowingInTelescope nrs) = fsep $
88 icod_ HP.ShadowingInTelescope = icodeN 13 ()105 valu [13] = valuN HP.ShadowingInTelescope
185 ShadowingInTelescope nrs -> icodeN 24 ShadowingInTelescope nrs219 [24,nrs] -> valuN ShadowingInTelescope nrs
36 .Agda .ShadowingInTelescope { color: black; background: #808080 }
497 W.ShadowingInTelescope nrs -> foldMap561 Set.singleton H.ShadowingInTelescope }
129 | ShadowingInTelescope constructor
236 scopeWarning $ ShadowingInTelescope $ c :| conflicts
544 `-WShadowingInTelescope` or `--warning ShadowingInTelescope` to turn