Lines Matching defs:descend
81 descend' _ U1 = U1 function
92 descend' f (K1 a) = K1 (f a) function
103 descend' _ (K1 a) = K1 a function
110 descend' f (M1 a) = M1 (descend' f a) function
118 descend' f (L1 a) = L1 (descend' f a) function
119 descend' f (R1 a) = R1 (descend' f a) function
129 descend' f (a :*: b) = descend' f a :*: descend' f b function
197 descend = descenddefault function
278 descend _ = id function
285 descend _ = id function
292 descend _ = id function
299 descend _ = id function
306 descend _ = id function
313 descend _ = id function
322 descend _ = id function
329 descend _ = id function
336 descend _ = id function
343 descend _ = id function
350 descend _ = id function
357 descend _ = id function
366 descend _ = id function
373 descend _ = id function
384 descend _ [] = [] function
385 descend f (h:t) = h:f t function