Searched defs:caseMaybe (Results 1 – 4 of 4) sorted by relevance
66 caseMaybe m d f = maybe d f m function
160 caseMaybe m err f = maybe err f m function
1127 ) : caseMaybe isP [] (\ Projection{ projProper = proper, projOrig = orig } -> function
1678 … caseMaybe (niceHasAbstract d) id (\ a -> localTC $ \ e -> e { envAbstractMode = aDefToMode a }) $ function