Home
last modified time | relevance | path

Searched refs:_UserInterrupt (Results 1 – 5 of 5) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/lens-5.0.1/src/Control/Exception/
H A DLens.hs101 , _UserInterrupt
863 _UserInterrupt :: AsAsyncException t => Prism' t ()
864 _UserInterrupt = _AsyncException . dimap seta (either id id) . right' . rmap (UserInterrupt <$) whe… function
870 pattern UserInterrupt_ <- (has _UserInterrupt -> True) where
871 UserInterrupt_ = review _UserInterrupt ()
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/lens-4.19.2/src/Control/Exception/
H A DLens.hs103 , _UserInterrupt
872 _UserInterrupt :: AsAsyncException t => Prism' t ()
873 _UserInterrupt = _AsyncException . dimap seta (either id id) . right' . rmap (UserInterrupt <$) whe… function
879 pattern UserInterrupt_ <- (has _UserInterrupt -> True) where
880 UserInterrupt_ = review _UserInterrupt ()
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/lens-4.19.1/src/Control/Exception/
H A DLens.hs103 , _UserInterrupt
872 _UserInterrupt :: AsAsyncException t => Prism' t ()
873 _UserInterrupt = _AsyncException . dimap seta (either id id) . right' . rmap (UserInterrupt <$) whe… function
879 pattern UserInterrupt_ <- (has _UserInterrupt -> True) where
880 UserInterrupt_ = review _UserInterrupt ()
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/lens-5.0.1/src/Control/Exception/
H A DLens.hs101 , _UserInterrupt
863 _UserInterrupt :: AsAsyncException t => Prism' t ()
864 _UserInterrupt = _AsyncException . dimap seta (either id id) . right' . rmap (UserInterrupt <$) whe… function
870 pattern UserInterrupt_ <- (has _UserInterrupt -> True) where
871 UserInterrupt_ = review _UserInterrupt ()
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/lens-4.19.2/src/Control/Exception/
H A DLens.hs103 , _UserInterrupt
872 _UserInterrupt :: AsAsyncException t => Prism' t ()
873 _UserInterrupt = _AsyncException . dimap seta (either id id) . right' . rmap (UserInterrupt <$) whe… function
879 pattern UserInterrupt_ <- (has _UserInterrupt -> True) where
880 UserInterrupt_ = review _UserInterrupt ()