Lines Matching defs:finish
38 finish = \(s1 :!: s2) -> f1 s1 (f2 s2) function
78 finish (S.Nothing :!: so) = fo so function
79 finish (S.Just _ :!: so) = fo (po so ix) function
84 finish (S.Nothing :!: si :!: so) = fo so function
85 finish (S.Just _ :!: si :!: so) = fo (po so (fi si)) function
95 finish (False :!: S.Just so) = fo so function
96 finish (False :!: S.Nothing) = fo so function
97 finish (True :!: S.Just so) = fo (po so ix) function
98 finish (True :!: S.Nothing) = fo (po so ix) function
105 finish (S.Nothing :!: S.Just so) = fo so function
106 finish (S.Nothing :!: S.Nothing) = fo so function
107 finish (S.Just si :!: S.Just so) = fo (po so (fi si)) function
108 finish (S.Just si :!: S.Nothing) = fo (po so (fi si)) function
114 finish = M.map fi function