Searched refs:derive_callWithCC (Results 1 – 2 of 2) sorted by relevance
23 derive_callWithCC,98 derive_callWithCC :: (ContM m) => Iso m n -> ((a -> Label n) -> n a) -> n a99 derive_callWithCC iso f = close iso $ callWithCC $ open iso . f . relab function
116 instance ContM (Cont i) where callWithCC = derive_callWithCC iso_C