Searched refs:QNamed (Results 1 – 11 of 11) sorted by relevance
184 cs <- toAbstract $ fmap (QNamed qname) cs252 instance ToAbstract (QNamed R.Clause) where253 type AbsOfRef (QNamed R.Clause) = A.Clause255 …toAbstract (QNamed name (R.Clause tel pats rhs)) = withVars (map (Text.unpack *** unArg) tel) $ \_…261 …toAbstract (QNamed name (R.AbsurdClause tel pats)) = withVars (map (Text.unpack *** unArg) tel) $ …267 instance ToAbstract [QNamed R.Clause] where268 type AbsOfRef [QNamed R.Clause] = [A.Clause]271 instance ToAbstract (List1 (QNamed R.Clause)) where272 type AbsOfRef (List1 (QNamed R.Clause)) = List1 A.Clause
814 (reify . QNamed x . (`apply` pars))1280 instance Reify (QNamed I.Clause) where1281 type ReifiesTo (QNamed I.Clause) = A.Clause1283 reify (QNamed f cl) = reify (NamedClause f True cl)1322 instance Reify (QNamed System) where1323 type ReifiesTo (QNamed System) = [A.Clause]1325 reify (QNamed f (System tel sys)) = addContext tel $ do
67 data QNamed a = QNamed function376 deriving instance Show a => Show (QNamed a)405 instance Pretty a => Pretty (QNamed a) where406 pretty (QNamed a b) = pretty a <> "." <> pretty b
363 where QNamed f ps = lhsCoreToSpine core function364 spineToLhs (SpineLHS i f ps) = LHS i (spineToLhsCore $ QNamed f ps)366 lhsCoreToSpine :: LHSCore' e -> A.QNamed [NamedArg (Pattern' e)]368 LHSHead f ps -> QNamed f ps377 spineToLhsCore :: IsProjP e => QNamed [NamedArg (Pattern' e)] -> LHSCore' e378 spineToLhsCore (QNamed f ps) = lhsCoreAddSpine (LHSHead f []) ps
202 instance PrettyTCM (QNamed Clause) where prettyTCM = prettyA <=< reify235 prettyTCM (QNamed x cl)
236 , nest 2 $ prettyTCM $ QNamed f cl241 , "cl = " <+> pretty (QNamed f cl)
917 cs <- mapM (toAbstract_ . QNamed x) cs
308 …, nest 2 $ prettyTCM $ map (QNamed name) cs -- broken, reify (QNamed n cl) expect cl to live at t…312 , nest 2 $ sep $ map (text . show . QNamed name) cs359 , nest 2 $ sep $ map (prettyTCM . QNamed name) cs
704 , nest 2 $ prettyTCM (QNamed projname clause)
511 inTopContext $ reify $ QNamed f $ c { namedClausePats = ps }
387 …fmap modifyAbstractClause $ inTopContext $ reify $ AN.QNamed def $ I.Clause noRange noRange tel ps…