Searched defs:foldTerm (Results 1 – 5 of 5) sorted by relevance
34 foldTerm = foldMap . foldTerm function40 foldTerm _ = mempty function44 foldTerm _ = mempty function48 foldTerm _ = mempty function52 foldTerm _ = mempty function56 foldTerm _ = mempty function101 foldTerm f t = f t `mappend` case t of function120 foldTerm f (Plus _ l) = foldTerm f l function124 foldTerm f (El s t) = foldTerm f t function141 foldTerm f = \case function[all …]
212 foldTerm = foldMap . foldTerm function216 foldTerm = foldMap . foldTerm function220 foldTerm = foldMap . foldTerm function
65 foldTerm _ = mempty function
170 foldTerm tf (Term ty dc v tt) = fTerm tf ty dc v (map (foldTerm tf) tt) function171 foldTerm tf (Prim ty v ) = fPrim tf ty v function172 foldTerm tf (Suspension ct ty v b) = fSuspension tf ct ty v b function173 foldTerm tf (NewtypeWrap ty dc t) = fNewtypeWrap tf ty dc (foldTerm tf t) function174 foldTerm tf (RefWrap ty t) = fRefWrap tf ty (foldTerm tf t) function
1120 foldTerm f = \case function1193 foldTerm f (AsTermsOf a) = foldTerm f a function1194 foldTerm f AsSizes = mempty function1195 foldTerm f AsTypes = mempty function