Home
last modified time | relevance | path

Searched refs:Semigroupoid (Results 1 – 25 of 107) sorted by relevance

12345

/dports/lang/purescript/purescript-0.14.5/_cabal_deps/semigroupoids-5.3.5/src/Data/
H A DSemigroupoid.hs25 module Data.Semigroupoid
26 ( Semigroupoid(..)
57 class Semigroupoid c where constructor
60 instance Semigroupoid (->) where
64 instance Semigroupoid (,) where
76 instance Semigroupoid Op where
98 instance Semigroupoid Const where
102 instance Semigroupoid Tagged where
107 instance Semigroupoid Co.Coercion where
110 instance Semigroupoid (Eq.:~:) where
[all …]
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/semigroupoids-5.3.5/src/Data/
H A DSemigroupoid.hs25 module Data.Semigroupoid
26 ( Semigroupoid(..)
57 class Semigroupoid c where constructor
60 instance Semigroupoid (->) where
64 instance Semigroupoid (,) where
76 instance Semigroupoid Op where
98 instance Semigroupoid Const where
102 instance Semigroupoid Tagged where
107 instance Semigroupoid Co.Coercion where
110 instance Semigroupoid (Eq.:~:) where
[all …]
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/semigroupoids-5.3.5/src/Data/
H A DSemigroupoid.hs25 module Data.Semigroupoid
26 ( Semigroupoid(..)
57 class Semigroupoid c where constructor
60 instance Semigroupoid (->) where
64 instance Semigroupoid (,) where
76 instance Semigroupoid Op where
98 instance Semigroupoid Const where
102 instance Semigroupoid Tagged where
107 instance Semigroupoid Co.Coercion where
110 instance Semigroupoid (Eq.:~:) where
[all …]
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/semigroupoids-5.3.4/src/Data/
H A DSemigroupoid.hs25 module Data.Semigroupoid
26 ( Semigroupoid(..)
57 class Semigroupoid c where constructor
60 instance Semigroupoid (->) where
64 instance Semigroupoid (,) where
76 instance Semigroupoid Op where
98 instance Semigroupoid Const where
102 instance Semigroupoid Tagged where
107 instance Semigroupoid Co.Coercion where
110 instance Semigroupoid (Eq.:~:) where
[all …]
H A DIsomorphism.hs21 import Data.Semigroupoid
27 instance Semigroupoid k => Semigroupoid (Iso k) where
30 instance Semigroupoid k => Groupoid (Iso k) where
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/semigroupoids-5.3.5/src/Data/
H A DSemigroupoid.hs25 module Data.Semigroupoid
26 ( Semigroupoid(..)
57 class Semigroupoid c where constructor
60 instance Semigroupoid (->) where
64 instance Semigroupoid (,) where
76 instance Semigroupoid Op where
98 instance Semigroupoid Const where
102 instance Semigroupoid Tagged where
107 instance Semigroupoid Co.Coercion where
110 instance Semigroupoid (Eq.:~:) where
[all …]
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/semigroupoids-5.3.4/src/Data/
H A DSemigroupoid.hs25 module Data.Semigroupoid
26 ( Semigroupoid(..)
57 class Semigroupoid c where constructor
60 instance Semigroupoid (->) where
64 instance Semigroupoid (,) where
76 instance Semigroupoid Op where
98 instance Semigroupoid Const where
102 instance Semigroupoid Tagged where
107 instance Semigroupoid Co.Coercion where
110 instance Semigroupoid (Eq.:~:) where
[all …]
H A DIsomorphism.hs21 import Data.Semigroupoid
27 instance Semigroupoid k => Semigroupoid (Iso k) where
30 instance Semigroupoid k => Groupoid (Iso k) where
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/semigroupoids-5.3.5/src/Data/
H A DSemigroupoid.hs25 module Data.Semigroupoid
26 ( Semigroupoid(..)
57 class Semigroupoid c where constructor
60 instance Semigroupoid (->) where
64 instance Semigroupoid (,) where
76 instance Semigroupoid Op where
98 instance Semigroupoid Const where
102 instance Semigroupoid Tagged where
107 instance Semigroupoid Co.Coercion where
110 instance Semigroupoid (Eq.:~:) where
[all …]
/dports/devel/hs-ShellCheck/ShellCheck-0.8.0/_cabal_deps/semigroupoids-5.3.6/src/Data/
H A DSemigroupoid.hs25 module Data.Semigroupoid
26 ( Semigroupoid(..)
57 class Semigroupoid c where constructor
60 instance Semigroupoid (->) where
64 instance Semigroupoid (,) where
76 instance Semigroupoid Op where
98 instance Semigroupoid Const where
102 instance Semigroupoid Tagged where
107 instance Semigroupoid Co.Coercion where
110 instance Semigroupoid (Eq.:~:) where
[all …]
/dports/devel/elm-format/elm-format-0.8.3/_cabal_deps/semigroupoids-5.3.4/src/Data/
H A DSemigroupoid.hs25 module Data.Semigroupoid
26 ( Semigroupoid(..)
57 class Semigroupoid c where constructor
60 instance Semigroupoid (->) where
64 instance Semigroupoid (,) where
76 instance Semigroupoid Op where
98 instance Semigroupoid Const where
102 instance Semigroupoid Tagged where
107 instance Semigroupoid Co.Coercion where
110 instance Semigroupoid (Eq.:~:) where
[all …]
/dports/devel/stack/stack-2.7.3/_cabal_deps/semigroupoids-5.3.5/src/Data/
H A DSemigroupoid.hs25 module Data.Semigroupoid
26 ( Semigroupoid(..)
57 class Semigroupoid c where constructor
60 instance Semigroupoid (->) where
64 instance Semigroupoid (,) where
76 instance Semigroupoid Op where
98 instance Semigroupoid Const where
102 instance Semigroupoid Tagged where
107 instance Semigroupoid Co.Coercion where
110 instance Semigroupoid (Eq.:~:) where
[all …]
/dports/textproc/cgrep/cgrep-6.6.32/_cabal_deps/semigroupoids-5.3.4/src/Data/
H A DSemigroupoid.hs25 module Data.Semigroupoid
26 ( Semigroupoid(..)
57 class Semigroupoid c where constructor
60 instance Semigroupoid (->) where
64 instance Semigroupoid (,) where
76 instance Semigroupoid Op where
98 instance Semigroupoid Const where
102 instance Semigroupoid Tagged where
107 instance Semigroupoid Co.Coercion where
110 instance Semigroupoid (Eq.:~:) where
[all …]
/dports/devel/hs-ShellCheck/ShellCheck-0.8.0/_cabal_deps/semigroupoids-5.3.6/src/Data/Semigroupoid/
H A DCategorical.hs20 module Data.Semigroupoid.Categorical (
26 import Data.Semigroupoid (Semigroupoid (o))
37 instance (Semigroupoid s) => Semigroupoid (Categorical s) where
43 instance (Semigroupoid s) => Category (Categorical s) where
H A DDual.hs22 module Data.Semigroupoid.Dual (Dual(..)) where
24 import Data.Semigroupoid
30 instance Semigroupoid k => Semigroupoid (Dual k) where
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/semigroupoids-5.3.4/src/Data/Semigroupoid/
H A DDual.hs17 module Data.Semigroupoid.Dual (Dual(..)) where
19 import Data.Semigroupoid
25 instance Semigroupoid k => Semigroupoid (Dual k) where
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/semigroupoids-5.3.4/src/Data/Semigroupoid/
H A DDual.hs17 module Data.Semigroupoid.Dual (Dual(..)) where
19 import Data.Semigroupoid
25 instance Semigroupoid k => Semigroupoid (Dual k) where
/dports/devel/elm-format/elm-format-0.8.3/_cabal_deps/semigroupoids-5.3.4/src/Data/Semigroupoid/
H A DDual.hs17 module Data.Semigroupoid.Dual (Dual(..)) where
19 import Data.Semigroupoid
25 instance Semigroupoid k => Semigroupoid (Dual k) where
/dports/textproc/cgrep/cgrep-6.6.32/_cabal_deps/semigroupoids-5.3.4/src/Data/Semigroupoid/
H A DDual.hs17 module Data.Semigroupoid.Dual (Dual(..)) where
19 import Data.Semigroupoid
25 instance Semigroupoid k => Semigroupoid (Dual k) where
/dports/devel/stack/stack-2.7.3/_cabal_deps/semigroupoids-5.3.5/src/Data/Semigroupoid/
H A DDual.hs22 module Data.Semigroupoid.Dual (Dual(..)) where
24 import Data.Semigroupoid
30 instance Semigroupoid k => Semigroupoid (Dual k) where
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/semigroupoids-5.3.5/src/Data/Semigroupoid/
H A DDual.hs22 module Data.Semigroupoid.Dual (Dual(..)) where
24 import Data.Semigroupoid
30 instance Semigroupoid k => Semigroupoid (Dual k) where
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/semigroupoids-5.3.5/src/Data/Semigroupoid/
H A DDual.hs22 module Data.Semigroupoid.Dual (Dual(..)) where
24 import Data.Semigroupoid
30 instance Semigroupoid k => Semigroupoid (Dual k) where
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/semigroupoids-5.3.5/src/Data/Semigroupoid/
H A DDual.hs22 module Data.Semigroupoid.Dual (Dual(..)) where
24 import Data.Semigroupoid
30 instance Semigroupoid k => Semigroupoid (Dual k) where
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/semigroupoids-5.3.5/src/Data/Semigroupoid/
H A DDual.hs22 module Data.Semigroupoid.Dual (Dual(..)) where
24 import Data.Semigroupoid
30 instance Semigroupoid k => Semigroupoid (Dual k) where
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/semigroupoids-5.3.5/src/Data/Semigroupoid/
H A DDual.hs22 module Data.Semigroupoid.Dual (Dual(..)) where
24 import Data.Semigroupoid
30 instance Semigroupoid k => Semigroupoid (Dual k) where

12345