/dports/devel/stack/stack-2.7.3/_cabal_deps/profunctors-5.6.2/src/Data/Profunctor/ |
H A D | Yoneda.hs | 76 proextract p = runYoneda p id id function 178 proextract (Coyoneda l r p) = dimap l r p function 196 first' = returnCoyoneda . first' . proextract 198 second' = returnCoyoneda . second' . proextract 202 left' = returnCoyoneda . left' . proextract 204 right' = returnCoyoneda . right' . proextract 208 unfirst = returnCoyoneda . unfirst . proextract 214 unleft = returnCoyoneda . unleft . proextract 216 unright = returnCoyoneda . unright . proextract 220 closed = returnCoyoneda . closed . proextract [all …]
|
H A D | Monad.hs | 84 proextract :: Profunctor p => t p :-> p 88 proextract = extract . runTannen function 92 proextract (Pair _ q) = q function
|
H A D | Choice.hs | 202 proextract (TambaraSum p) = dimap Left fromEither p function 396 proextract (CotambaraSum n p) = n p function 420 uncotambaraSum f p = proextract (f p) 441 counit (CopastroSum h) = proextract (h id)
|
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/profunctors-5.5.2/src/Data/Profunctor/ |
H A D | Yoneda.hs | 77 proextract p = runYoneda p id id function 176 proextract (Coyoneda l r p) = dimap l r p function 194 first' = returnCoyoneda . first' . proextract 196 second' = returnCoyoneda . second' . proextract 200 left' = returnCoyoneda . left' . proextract 202 right' = returnCoyoneda . right' . proextract 206 unfirst = returnCoyoneda . unfirst . proextract 212 unleft = returnCoyoneda . unleft . proextract 214 unright = returnCoyoneda . unright . proextract 218 closed = returnCoyoneda . closed . proextract [all …]
|
H A D | Monad.hs | 75 proextract :: Profunctor p => t p :-> p 79 proextract = extract . runTannen function 83 proextract (Pair _ q) = q function
|
H A D | Choice.hs | 200 proextract (TambaraSum p) = dimap Left (\(Left a) -> a) p function 388 proextract (CotambaraSum n p) = n p function 412 uncotambaraSum f p = proextract (f p) 430 counit (CopastroSum h) = proextract (h id)
|
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/profunctors-5.6.2/src/Data/Profunctor/ |
H A D | Yoneda.hs | 76 proextract p = runYoneda p id id function 178 proextract (Coyoneda l r p) = dimap l r p function 196 first' = returnCoyoneda . first' . proextract 198 second' = returnCoyoneda . second' . proextract 202 left' = returnCoyoneda . left' . proextract 204 right' = returnCoyoneda . right' . proextract 208 unfirst = returnCoyoneda . unfirst . proextract 214 unleft = returnCoyoneda . unleft . proextract 216 unright = returnCoyoneda . unright . proextract 220 closed = returnCoyoneda . closed . proextract [all …]
|
H A D | Monad.hs | 84 proextract :: Profunctor p => t p :-> p 88 proextract = extract . runTannen function 92 proextract (Pair _ q) = q function
|
H A D | Choice.hs | 202 proextract (TambaraSum p) = dimap Left fromEither p function 396 proextract (CotambaraSum n p) = n p function 420 uncotambaraSum f p = proextract (f p) 441 counit (CopastroSum h) = proextract (h id)
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/profunctors-5.6.2/src/Data/Profunctor/ |
H A D | Yoneda.hs | 76 proextract p = runYoneda p id id function 178 proextract (Coyoneda l r p) = dimap l r p function 196 first' = returnCoyoneda . first' . proextract 198 second' = returnCoyoneda . second' . proextract 202 left' = returnCoyoneda . left' . proextract 204 right' = returnCoyoneda . right' . proextract 208 unfirst = returnCoyoneda . unfirst . proextract 214 unleft = returnCoyoneda . unleft . proextract 216 unright = returnCoyoneda . unright . proextract 220 closed = returnCoyoneda . closed . proextract [all …]
|
H A D | Monad.hs | 84 proextract :: Profunctor p => t p :-> p 88 proextract = extract . runTannen function 92 proextract (Pair _ q) = q function
|
H A D | Choice.hs | 202 proextract (TambaraSum p) = dimap Left fromEither p function 396 proextract (CotambaraSum n p) = n p function 420 uncotambaraSum f p = proextract (f p) 441 counit (CopastroSum h) = proextract (h id)
|
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/profunctors-5.5.2/src/Data/Profunctor/ |
H A D | Yoneda.hs | 77 proextract p = runYoneda p id id function 176 proextract (Coyoneda l r p) = dimap l r p function 194 first' = returnCoyoneda . first' . proextract 196 second' = returnCoyoneda . second' . proextract 200 left' = returnCoyoneda . left' . proextract 202 right' = returnCoyoneda . right' . proextract 206 unfirst = returnCoyoneda . unfirst . proextract 212 unleft = returnCoyoneda . unleft . proextract 214 unright = returnCoyoneda . unright . proextract 218 closed = returnCoyoneda . closed . proextract [all …]
|
H A D | Monad.hs | 75 proextract :: Profunctor p => t p :-> p 79 proextract = extract . runTannen function 83 proextract (Pair _ q) = q function
|
H A D | Choice.hs | 200 proextract (TambaraSum p) = dimap Left (\(Left a) -> a) p function 388 proextract (CotambaraSum n p) = n p function 412 uncotambaraSum f p = proextract (f p) 430 counit (CopastroSum h) = proextract (h id)
|
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/profunctors-5.6.2/src/Data/Profunctor/ |
H A D | Yoneda.hs | 76 proextract p = runYoneda p id id function 178 proextract (Coyoneda l r p) = dimap l r p function 196 first' = returnCoyoneda . first' . proextract 198 second' = returnCoyoneda . second' . proextract 202 left' = returnCoyoneda . left' . proextract 204 right' = returnCoyoneda . right' . proextract 208 unfirst = returnCoyoneda . unfirst . proextract 214 unleft = returnCoyoneda . unleft . proextract 216 unright = returnCoyoneda . unright . proextract 220 closed = returnCoyoneda . closed . proextract [all …]
|
H A D | Monad.hs | 84 proextract :: Profunctor p => t p :-> p 88 proextract = extract . runTannen function 92 proextract (Pair _ q) = q function
|
/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/profunctors-5.5.2/src/Data/Profunctor/ |
H A D | Yoneda.hs | 77 proextract p = runYoneda p id id function 176 proextract (Coyoneda l r p) = dimap l r p function 194 first' = returnCoyoneda . first' . proextract 196 second' = returnCoyoneda . second' . proextract 200 left' = returnCoyoneda . left' . proextract 202 right' = returnCoyoneda . right' . proextract 206 unfirst = returnCoyoneda . unfirst . proextract 212 unleft = returnCoyoneda . unleft . proextract 214 unright = returnCoyoneda . unright . proextract 218 closed = returnCoyoneda . closed . proextract [all …]
|
H A D | Monad.hs | 75 proextract :: Profunctor p => t p :-> p 79 proextract = extract . runTannen function 83 proextract (Pair _ q) = q function
|
/dports/devel/elm-format/elm-format-0.8.3/_cabal_deps/profunctors-5.5.2/src/Data/Profunctor/ |
H A D | Yoneda.hs | 77 proextract p = runYoneda p id id function 176 proextract (Coyoneda l r p) = dimap l r p function 194 first' = returnCoyoneda . first' . proextract 196 second' = returnCoyoneda . second' . proextract 200 left' = returnCoyoneda . left' . proextract 202 right' = returnCoyoneda . right' . proextract 206 unfirst = returnCoyoneda . unfirst . proextract 212 unleft = returnCoyoneda . unleft . proextract 214 unright = returnCoyoneda . unright . proextract 218 closed = returnCoyoneda . closed . proextract [all …]
|
H A D | Monad.hs | 75 proextract :: Profunctor p => t p :-> p 79 proextract = extract . runTannen function 83 proextract (Pair _ q) = q function
|
/dports/textproc/cgrep/cgrep-6.6.32/_cabal_deps/profunctors-5.5.2/src/Data/Profunctor/ |
H A D | Yoneda.hs | 77 proextract p = runYoneda p id id function 176 proextract (Coyoneda l r p) = dimap l r p function 194 first' = returnCoyoneda . first' . proextract 196 second' = returnCoyoneda . second' . proextract 200 left' = returnCoyoneda . left' . proextract 202 right' = returnCoyoneda . right' . proextract 206 unfirst = returnCoyoneda . unfirst . proextract 212 unleft = returnCoyoneda . unleft . proextract 214 unright = returnCoyoneda . unright . proextract 218 closed = returnCoyoneda . closed . proextract [all …]
|
H A D | Monad.hs | 75 proextract :: Profunctor p => t p :-> p 79 proextract = extract . runTannen function 83 proextract (Pair _ q) = q function
|
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/profunctors-5.6.2/src/Data/Profunctor/ |
H A D | Yoneda.hs | 76 proextract p = runYoneda p id id function 178 proextract (Coyoneda l r p) = dimap l r p function 196 first' = returnCoyoneda . first' . proextract 198 second' = returnCoyoneda . second' . proextract 202 left' = returnCoyoneda . left' . proextract 204 right' = returnCoyoneda . right' . proextract 208 unfirst = returnCoyoneda . unfirst . proextract 214 unleft = returnCoyoneda . unleft . proextract 216 unright = returnCoyoneda . unright . proextract 220 closed = returnCoyoneda . closed . proextract [all …]
|
H A D | Monad.hs | 84 proextract :: Profunctor p => t p :-> p 88 proextract = extract . runTannen function 92 proextract (Pair _ q) = q function
|