Home
last modified time | relevance | path

Searched refs:Semigroup (Results 101 – 125 of 6746) sorted by relevance

12345678910>>...270

/dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/distributive-0.6.2.1/src/Data/
H A DDistributive.hs53 import qualified Data.Semigroup as Semigroup
213 instance Distributive Semigroup.Min where
216 => (a -> Semigroup.Min b) -> f a -> Semigroup.Min (f b)
217 distribute = Semigroup.Min . fmap Semigroup.getMin
219 instance Distributive Semigroup.Max where
222 => (a -> Semigroup.Max b) -> f a -> Semigroup.Max (f b)
223 distribute = Semigroup.Max . fmap Semigroup.getMax
228 => (a -> Semigroup.First b) -> f a -> Semigroup.First (f b)
229 distribute = Semigroup.First . fmap Semigroup.getFirst
234 => (a -> Semigroup.Last b) -> f a -> Semigroup.Last (f b)
[all …]
/dports/textproc/cgrep/cgrep-6.6.32/_cabal_deps/distributive-0.6.2/src/Data/
H A DDistributive.hs53 import qualified Data.Semigroup as Semigroup
213 instance Distributive Semigroup.Min where
216 => (a -> Semigroup.Min b) -> f a -> Semigroup.Min (f b)
217 distribute = Semigroup.Min . fmap Semigroup.getMin
219 instance Distributive Semigroup.Max where
222 => (a -> Semigroup.Max b) -> f a -> Semigroup.Max (f b)
223 distribute = Semigroup.Max . fmap Semigroup.getMax
228 => (a -> Semigroup.First b) -> f a -> Semigroup.First (f b)
229 distribute = Semigroup.First . fmap Semigroup.getFirst
234 => (a -> Semigroup.Last b) -> f a -> Semigroup.Last (f b)
[all …]
/dports/math/gap/gap-4.11.0/tst/testinstall/
H A Dsemitran.tst46 # gap> Print(Semigroup(IdentityTransformation));
48 gap> S := Semigroup(IdentityTransformation);
52 gap> T := Semigroup(Transformation([2, 3, 1]));
65 gap> S := Semigroup(IdentityTransformation);;
80 gap> S := Semigroup(IdentityTransformation);;
88 gap> S := Semigroup(IdentityTransformation);;
93 gap> S := Semigroup(Transformation([1, 1, 1]));;
99 gap> S := Semigroup(IdentityTransformation);;
110 gap> S := Semigroup(IdentityTransformation);;
142 gap> S := Semigroup(IdentityTransformation);
[all …]
/dports/math/gap/gap-4.11.0/pkg/semigroups-3.2.3/tst/standard/
H A Dattract.tst105 gap> S := Semigroup(x, y);
117 gap> S := Semigroup(x, y);;
127 > Semigroup([
141 > Semigroup([
151 gap> S := Semigroup(RMSElement(S, 2, (), 2),
184 gap> S := Semigroup([
204 gap> S := Semigroup([
223 gap> S := Semigroup(Transformation([2, 3, 1]));
271 gap> S := Semigroup([
289 gap> S := Semigroup(
[all …]
H A Dgrpperm.tst67 # IsomorphismPermGroup: for a FP Semigroup
105 # IsomorphismPermGroup: for a PBR Semigroup
230 gap> S := Semigroup(
240 gap> S := Semigroup(
263 gap> S := Semigroup([
283 gap> S := Semigroup([
304 gap> S := Semigroup([
314 gap> S := Semigroup([
327 gap> S := Semigroup([
365 gap> S := Semigroup(
[all …]
H A Dnormalizer.tst21 gap> S := Semigroup([Transformation([1, 3, 4, 1]),
36 gap> S := Semigroup([
45 gap> S := Semigroup([Bipartition([[1, 2, -1], [3, -2], [4, -3, -4]]),
53 gap> S := Semigroup(IdentityTransformation);;
59 gap> S := Semigroup(IdentityTransformation);;
80 gap> S := Semigroup([
100 > Semigroup(IdentityTransformation), fail);
116 gap> S := Semigroup([
136 > Semigroup(IdentityTransformation), fail);
164 gap> S := Semigroup(PartialPerm([1]), PartialPerm([2]),
[all …]
H A Dsemidp.tst211 gap> S := Semigroup([
390 gap> S := Semigroup([
394 gap> T := Semigroup([
475 > Semigroup([
478 > Semigroup([
512 > Semigroup([
515 > Semigroup([
517 > Semigroup([
621 > Semigroup([
625 > Semigroup([
[all …]
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/tasty-1.4.1/Test/Tasty/Runners/
H A DReducers.hs47 import Data.Semigroup (Semigroup)
48 import qualified Data.Semigroup (Semigroup((<>)))
57 instance Applicative f => Semigroup (Traversal f) where
69 instance (Applicative f, Monoid a) => Semigroup (Ap f a) where
/dports/finance/hs-hledger/hledger-1.19/_cabal_deps/tasty-1.3.1/Test/Tasty/Runners/
H A DReducers.hs47 import Data.Semigroup (Semigroup)
48 import qualified Data.Semigroup (Semigroup((<>)))
57 instance Applicative f => Semigroup (Traversal f) where
69 instance (Applicative f, Monoid a) => Semigroup (Ap f a) where
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/tasty-1.3.1/Test/Tasty/Runners/
H A DReducers.hs47 import Data.Semigroup (Semigroup)
48 import qualified Data.Semigroup (Semigroup((<>)))
57 instance Applicative f => Semigroup (Traversal f) where
69 instance (Applicative f, Monoid a) => Semigroup (Ap f a) where
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/tasty-1.3.1/Test/Tasty/Runners/
H A DReducers.hs47 import Data.Semigroup (Semigroup)
48 import qualified Data.Semigroup (Semigroup((<>)))
57 instance Applicative f => Semigroup (Traversal f) where
69 instance (Applicative f, Monoid a) => Semigroup (Ap f a) where
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/tasty-1.4.2/Test/Tasty/Runners/
H A DReducers.hs47 import Data.Semigroup (Semigroup)
48 import qualified Data.Semigroup (Semigroup((<>)))
57 instance Applicative f => Semigroup (Traversal f) where
69 instance (Applicative f, Monoid a) => Semigroup (Ap f a) where
/dports/textproc/hs-pandoc/pandoc-2.14.2/_cabal_deps/tasty-1.4.1/Test/Tasty/Runners/
H A DReducers.hs47 import Data.Semigroup (Semigroup)
48 import qualified Data.Semigroup (Semigroup((<>)))
57 instance Applicative f => Semigroup (Traversal f) where
69 instance (Applicative f, Monoid a) => Semigroup (Ap f a) where
/dports/devel/stack/stack-2.7.3/_cabal_deps/semigroupoids-5.3.5/src/Data/Semigroup/
H A DFoldable.hs17 module Data.Semigroup.Foldable
35 import Data.Semigroup hiding (Product, Sum)
36 import Data.Semigroup.Foldable.Class
45 instance Semigroup a => Semigroup (JoinWith a) where
59 intercalate1 :: (Foldable1 t, Semigroup m) => m -> t m -> m
70 intercalateMap1 :: (Foldable1 t, Semigroup m) => m -> (a -> m) -> t a -> m
76 instance Apply f => Semigroup (Act f a) where
106 instance Alt f => Semigroup (Alt_ f a) where
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/semigroupoids-5.3.5/src/Data/Semigroup/
H A DFoldable.hs17 module Data.Semigroup.Foldable
35 import Data.Semigroup hiding (Product, Sum)
36 import Data.Semigroup.Foldable.Class
45 instance Semigroup a => Semigroup (JoinWith a) where
59 intercalate1 :: (Foldable1 t, Semigroup m) => m -> t m -> m
70 intercalateMap1 :: (Foldable1 t, Semigroup m) => m -> (a -> m) -> t a -> m
76 instance Apply f => Semigroup (Act f a) where
106 instance Alt f => Semigroup (Alt_ f a) where
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/semigroupoids-5.3.5/src/Data/Semigroup/
H A DFoldable.hs17 module Data.Semigroup.Foldable
35 import Data.Semigroup hiding (Product, Sum)
36 import Data.Semigroup.Foldable.Class
45 instance Semigroup a => Semigroup (JoinWith a) where
59 intercalate1 :: (Foldable1 t, Semigroup m) => m -> t m -> m
70 intercalateMap1 :: (Foldable1 t, Semigroup m) => m -> (a -> m) -> t a -> m
76 instance Apply f => Semigroup (Act f a) where
106 instance Alt f => Semigroup (Alt_ f a) where
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/semigroupoids-5.3.4/src/Data/Semigroup/
H A DFoldable.hs11 module Data.Semigroup.Foldable
29 import Data.Semigroup hiding (Product, Sum)
30 import Data.Semigroup.Foldable.Class
38 instance Semigroup a => Semigroup (JoinWith a) where
52 intercalate1 :: (Foldable1 t, Semigroup m) => m -> t m -> m
63 intercalateMap1 :: (Foldable1 t, Semigroup m) => m -> (a -> m) -> t a -> m
69 instance Apply f => Semigroup (Act f a) where
99 instance Alt f => Semigroup (Alt_ f a) where
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/semigroupoids-5.3.5/src/Data/Semigroup/
H A DFoldable.hs17 module Data.Semigroup.Foldable
35 import Data.Semigroup hiding (Product, Sum)
36 import Data.Semigroup.Foldable.Class
45 instance Semigroup a => Semigroup (JoinWith a) where
59 intercalate1 :: (Foldable1 t, Semigroup m) => m -> t m -> m
70 intercalateMap1 :: (Foldable1 t, Semigroup m) => m -> (a -> m) -> t a -> m
76 instance Apply f => Semigroup (Act f a) where
106 instance Alt f => Semigroup (Alt_ f a) where
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/semigroupoids-5.3.4/src/Data/Semigroup/
H A DFoldable.hs11 module Data.Semigroup.Foldable
29 import Data.Semigroup hiding (Product, Sum)
30 import Data.Semigroup.Foldable.Class
38 instance Semigroup a => Semigroup (JoinWith a) where
52 intercalate1 :: (Foldable1 t, Semigroup m) => m -> t m -> m
63 intercalateMap1 :: (Foldable1 t, Semigroup m) => m -> (a -> m) -> t a -> m
69 instance Apply f => Semigroup (Act f a) where
99 instance Alt f => Semigroup (Alt_ f a) where
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/semigroupoids-5.3.5/src/Data/Semigroup/
H A DFoldable.hs17 module Data.Semigroup.Foldable
35 import Data.Semigroup hiding (Product, Sum)
36 import Data.Semigroup.Foldable.Class
45 instance Semigroup a => Semigroup (JoinWith a) where
59 intercalate1 :: (Foldable1 t, Semigroup m) => m -> t m -> m
70 intercalateMap1 :: (Foldable1 t, Semigroup m) => m -> (a -> m) -> t a -> m
76 instance Apply f => Semigroup (Act f a) where
106 instance Alt f => Semigroup (Alt_ f a) where
/dports/devel/hs-ShellCheck/ShellCheck-0.8.0/_cabal_deps/semigroupoids-5.3.6/src/Data/Semigroup/
H A DFoldable.hs17 module Data.Semigroup.Foldable
35 import Data.Semigroup hiding (Product, Sum)
36 import Data.Semigroup.Foldable.Class
45 instance Semigroup a => Semigroup (JoinWith a) where
59 intercalate1 :: (Foldable1 t, Semigroup m) => m -> t m -> m
70 intercalateMap1 :: (Foldable1 t, Semigroup m) => m -> (a -> m) -> t a -> m
76 instance Apply f => Semigroup (Act f a) where
106 instance Alt f => Semigroup (Alt_ f a) where
/dports/devel/elm-format/elm-format-0.8.3/_cabal_deps/semigroupoids-5.3.4/src/Data/Semigroup/
H A DFoldable.hs11 module Data.Semigroup.Foldable
29 import Data.Semigroup hiding (Product, Sum)
30 import Data.Semigroup.Foldable.Class
38 instance Semigroup a => Semigroup (JoinWith a) where
52 intercalate1 :: (Foldable1 t, Semigroup m) => m -> t m -> m
63 intercalateMap1 :: (Foldable1 t, Semigroup m) => m -> (a -> m) -> t a -> m
69 instance Apply f => Semigroup (Act f a) where
99 instance Alt f => Semigroup (Alt_ f a) where
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/semigroupoids-5.3.5/src/Data/Semigroup/
H A DFoldable.hs17 module Data.Semigroup.Foldable
35 import Data.Semigroup hiding (Product, Sum)
36 import Data.Semigroup.Foldable.Class
45 instance Semigroup a => Semigroup (JoinWith a) where
59 intercalate1 :: (Foldable1 t, Semigroup m) => m -> t m -> m
70 intercalateMap1 :: (Foldable1 t, Semigroup m) => m -> (a -> m) -> t a -> m
76 instance Apply f => Semigroup (Act f a) where
106 instance Alt f => Semigroup (Alt_ f a) where
/dports/textproc/cgrep/cgrep-6.6.32/_cabal_deps/semigroupoids-5.3.4/src/Data/Semigroup/
H A DFoldable.hs11 module Data.Semigroup.Foldable
29 import Data.Semigroup hiding (Product, Sum)
30 import Data.Semigroup.Foldable.Class
38 instance Semigroup a => Semigroup (JoinWith a) where
52 intercalate1 :: (Foldable1 t, Semigroup m) => m -> t m -> m
63 intercalateMap1 :: (Foldable1 t, Semigroup m) => m -> (a -> m) -> t a -> m
69 instance Apply f => Semigroup (Act f a) where
99 instance Alt f => Semigroup (Alt_ f a) where
/dports/math/gap/gap-4.11.0/pkg/semigroups-3.2.3/tst/
H A Dtestinstall.tst838 gap> S := Semigroup(
852 gap> S := Semigroup(x);;
864 gap> S := Semigroup(T);;
1246 Error, Usage: Semigroup(<gen>,...), Semigroup(<gens>), Semigroup(<D>),
1250 gap> Semigroup(
1258 Error, Usage: Semigroup(<gen>,...), Semigroup(<gens>), Semigroup(<D>),
1332 Error, Usage: Semigroup(<gen>,...), Semigroup(<gens>), Semigroup(<D>),
1483 gap> T := Semigroup([
1508 gap> T := Semigroup([
1653 gap> S := Semigroup([
[all …]

12345678910>>...270