Home
last modified time | relevance | path

Searched refs:Magma (Results 1 – 25 of 662) sorted by relevance

12345678910>>...27

/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/lens-5.0.1/src/Control/Lens/Internal/
H A DMagma.hs23 Magma(..)
53 data Magma i t b a where type
54 MagmaAp :: Magma i (x -> y) b a -> Magma i x b a -> Magma i y b a
56 MagmaFmap :: (x -> y) -> Magma i x b a -> Magma i y b a
57 Magma :: i -> a -> Magma i b b a
66 fmap f (Magma i a) = Magma i (f a)
78 traverse f (Magma i a) = Magma i <$> f a
84 imap f (Magma i a) = Magma i (f i a)
98 itraverse f (Magma i a) = Magma i <$> f i a
160 iduplicate (Molten (Magma i a)) = Molten #. Magma i <$> Molten (Magma i a)
[all …]
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/lens-5.0.1/src/Control/Lens/Internal/
H A DMagma.hs23 Magma(..)
53 data Magma i t b a where type
54 MagmaAp :: Magma i (x -> y) b a -> Magma i x b a -> Magma i y b a
56 MagmaFmap :: (x -> y) -> Magma i x b a -> Magma i y b a
57 Magma :: i -> a -> Magma i b b a
66 fmap f (Magma i a) = Magma i (f a)
78 traverse f (Magma i a) = Magma i <$> f a
84 imap f (Magma i a) = Magma i (f i a)
98 itraverse f (Magma i a) = Magma i <$> f i a
160 iduplicate (Molten (Magma i a)) = Molten #. Magma i <$> Molten (Magma i a)
[all …]
/dports/lang/maude/maude-2.7.1/tests/Misc/
H A DvariantUnification.maude22 sorts Elt Magma .
23 subsort Elt < Magma .
24 op __ : Magma Magma -> Magma [gather(E e)] .
26 var X : [Magma] .
30 variant unify X:Magma a =? Y:Magma a a .
31 variant unify a X:Magma =? a a Y:Magma .
34 sorts Elt Magma .
36 op __ : Magma Magma -> Magma [gather(e E)] .
38 var X : [Magma] .
42 variant unify X:Magma a =? Y:Magma a a .
[all …]
H A DmeseguerFiniteVariant.expected611 Magma: #1:Magma,#2:Magma
617 Magma: %1:Magma
623 Magma: %1:Magma,%2:Magma,%3:Magma
624 M --> %1:Magma,%2:Magma
625 M' --> %1:Magma,%3:Magma
629 Magma: %1:Magma,%2:Magma
630 M --> %1:Magma,%2:Magma
635 Magma: %1:Magma,%2:Magma
637 M' --> %1:Magma,%2:Magma
693 Set: {%1:Magma,%2:Magma}
[all …]
H A DvariantUnification.expected130 variant unify in LEFT-ID : X:Magma a =? Y:Magma a a .
134 X:Magma --> %1:Magma a
135 Y:Magma --> %1:Magma
139 X:Magma --> a
140 Y:Magma --> e
145 variant unify in LEFT-ID : a X:Magma =? a a Y:Magma .
150 variant unify in RIGHT-ID : X:Magma a =? Y:Magma a a .
155 variant unify in RIGHT-ID : a X:Magma =? a a Y:Magma .
159 X:Magma --> a %1:Magma
160 Y:Magma --> %1:Magma
[all …]
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/lens-4.19.2/src/Control/Lens/Internal/
H A DMagma.hs25 Magma(..)
52 data Magma i t b a where type
53 MagmaAp :: Magma i (x -> y) b a -> Magma i x b a -> Magma i y b a
55 MagmaFmap :: (x -> y) -> Magma i x b a -> Magma i y b a
56 Magma :: i -> a -> Magma i b b a
67 fmap f (Magma i a) = Magma i (f a)
73 foldMap f (Magma _ a) = f a
79 traverse f (Magma i a) = Magma i <$> f a
97 runMagma (Magma _ a) = a
140 iduplicate (Molten (Magma i a)) = Molten #. Magma i <$> Molten (Magma i a)
[all …]
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/lens-4.19.2/src/Control/Lens/Internal/
H A DMagma.hs25 Magma(..)
52 data Magma i t b a where type
53 MagmaAp :: Magma i (x -> y) b a -> Magma i x b a -> Magma i y b a
55 MagmaFmap :: (x -> y) -> Magma i x b a -> Magma i y b a
56 Magma :: i -> a -> Magma i b b a
67 fmap f (Magma i a) = Magma i (f a)
73 foldMap f (Magma _ a) = f a
79 traverse f (Magma i a) = Magma i <$> f a
97 runMagma (Magma _ a) = a
140 iduplicate (Molten (Magma i a)) = Molten #. Magma i <$> Molten (Magma i a)
[all …]
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/lens-4.19.1/src/Control/Lens/Internal/
H A DMagma.hs25 Magma(..)
52 data Magma i t b a where type
53 MagmaAp :: Magma i (x -> y) b a -> Magma i x b a -> Magma i y b a
55 MagmaFmap :: (x -> y) -> Magma i x b a -> Magma i y b a
56 Magma :: i -> a -> Magma i b b a
67 fmap f (Magma i a) = Magma i (f a)
73 foldMap f (Magma _ a) = f a
79 traverse f (Magma i a) = Magma i <$> f a
97 runMagma (Magma _ a) = a
140 iduplicate (Molten (Magma i a)) = Molten #. Magma i <$> Molten (Magma i a)
[all …]
/dports/math/fricas/fricas-1.3.7/pre-generated/target/share/spadhelp/
H A DMagma.help2 Magma examples
23 tree := Magma(Symbol)
24 Magma Symbol
31 Type: Magma Symbol
35 Type: Magma Symbol
39 Type: Magma Symbol
45 Type: Magma Symbol
49 Type: Magma Symbol
84 Type: Magma Symbol
88 Type: Magma Symbol
[all …]
/dports/math/fricas/fricas-1.3.7/pre-generated/src/algebra/
H A DMAGMA.lsp2 (DECLAIM (NOTINLINE |Magma;|))
4 (DEFPARAMETER |Magma;AL| 'NIL)
6 (DEFUN |Magma| () (COND (|Magma;AL|) (T (SETQ |Magma;AL| (|Magma;|)))))
8 (DEFUN |Magma;| ()
19 (SETELT #1# 0 '(|Magma|)))))
21 (MAKEPROP '|Magma| 'NILADIC T)
/dports/graphics/ospray-studio/ospray_studio-0.9.1/sg/scene/transfer_function/
H A DPerceptual.cpp69 struct OSPSG_INTERFACE Magma : public TransferFunction struct
71 Magma();
72 virtual ~Magma() override = default;
75 OSP_REGISTER_SG_NODE_NAME(Magma, transfer_function_magma);
77 Magma::Magma() : TransferFunction("piecewiseLinear") in Magma() function in ospray::sg::Magma
/dports/math/gap/gap-4.11.0/tst/testinstall/
H A Dmisc.tst23 Error, Usage: MagmaHomomorphismByFunctionNC(<Magma>,<Magma>,<fn>)
25 Error, Usage: MagmaIsomorphismByFunctionsNC(<Magma>,<Magma>,<fn>,<inv>)
H A Dcoll.tst34 gap> M0:=Magma(FamilyObj([1]), []);;
46 gap> N1:=Magma([[[1,0],[0,0]]]);;
59 gap> M2:=Magma(0, 1);;
72 gap> List(props, p -> p(Magma(1)));
74 gap> List(props, p -> p(Magma(0, 1)));
108 gap> M2:=Magma(0, 1);;
118 gap> M2:=Magma(0, 1);;
126 gap> M1 := Magma(1);;
139 gap> M0:=Magma(FamilyObj([1]), []);;
152 gap> M0:=Magma(FamilyObj([1]), []);;
[all …]
/dports/math/gap/gap-4.11.0/lib/
H A Dmgmhom.gi26 Error("Usage: MagmaHomomorphismByFunctionNC(<Magma>,<Magma>,<fn>)");
47 Error("Usage: MagmaIsomorphismByFunctionsNC(<Magma>,<Magma>,<fn>,<inv>)");
/dports/audio/sonic-visualiser/sonic-visualiser-4.0.1/svgui/layer/
H A DColourMapper.cpp170 case Magma: return QObject::tr("Magma"); in getColourMapLabel()
197 case Magma: return "Magma"; in getColourMapId()
222 else if (id == "Magma") { map = Magma; } in getColourMapById()
258 case Magma: return 1; in getBackwardCompatibilityColourMap()
417 case Magma: in map()
480 case Magma: in getContrastingColour()
511 case Magma: in hasLightBackground()
/dports/games/keeperrl/keeperrl-alpha23/
H A Dfurniture_entry.h24 struct Magma {}; struct
26 using EntryData = variant<Sokoban, Trap, Water, Magma>;
/dports/security/gnutls/gnutls-3.6.16/doc/enums/
H A Dgnutls_cipher_algorithm_t54 GOST 28147-89 (Magma) cipher in CFB mode with TC26 Z S-box.
56 GOST 28147-89 (Magma) cipher in CFB mode with CryptoPro A S-box.
58 GOST 28147-89 (Magma) cipher in CFB mode with CryptoPro B S-box.
60 GOST 28147-89 (Magma) cipher in CFB mode with CryptoPro C S-box.
62 GOST 28147-89 (Magma) cipher in CFB mode with CryptoPro D S-box.
78 GOST 28147-89 (Magma) cipher in CNT mode with TC26 Z S-box.
/dports/sysutils/mybashburn/mybashburn-1.0.2/
H A DCREDITS86 For designing the Magma webpage at freebits.de
89 For creating RPMs of Magma and rewriting the multisession script.
100 (The program the menus for Magma were originally made in.)
117 For actually using and bugtesting Magma/BashBurn.
/dports/math/pari/pari-2.13.3/src/functions/linear_algebra/
H A Dqfautoexport7 GAP notation (default) or Magma notation (flag = 1).
10 for (no flags or $\fl=0$) GAP or ($\fl=1$) Magma. The following example
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/lens-5.0.1/src/Control/Lens/
H A DInternal.hs23 , module Control.Lens.Internal.Magma
38 import Control.Lens.Internal.Magma
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/lens-5.0.1/src/Control/Lens/
H A DInternal.hs23 , module Control.Lens.Internal.Magma
38 import Control.Lens.Internal.Magma
/dports/math/gap/gap-4.11.0/pkg/utils-0.69/
H A Dmakedoc.g23 Magma := "<M>{\\sf Magma}</M>",
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/lens-4.19.2/src/Control/Lens/
H A DInternal.hs24 , module Control.Lens.Internal.Magma
39 import Control.Lens.Internal.Magma
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/lens-4.19.2/src/Control/Lens/
H A DInternal.hs24 , module Control.Lens.Internal.Magma
39 import Control.Lens.Internal.Magma
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/lens-4.19.1/src/Control/Lens/
H A DInternal.hs24 , module Control.Lens.Internal.Magma
39 import Control.Lens.Internal.Magma

12345678910>>...27