/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/lens-5.0.1/src/Control/Lens/Internal/ |
H A D | Magma.hs | 23 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 D | Magma.hs | 23 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 D | variantUnification.maude | 22 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 D | meseguerFiniteVariant.expected | 611 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 D | variantUnification.expected | 130 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 D | Magma.hs | 25 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 D | Magma.hs | 25 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 D | Magma.hs | 25 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 D | Magma.help | 2 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 D | MAGMA.lsp | 2 (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 D | Perceptual.cpp | 69 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 D | misc.tst | 23 Error, Usage: MagmaHomomorphismByFunctionNC(<Magma>,<Magma>,<fn>) 25 Error, Usage: MagmaIsomorphismByFunctionsNC(<Magma>,<Magma>,<fn>,<inv>)
|
H A D | coll.tst | 34 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 D | mgmhom.gi | 26 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 D | ColourMapper.cpp | 170 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 D | furniture_entry.h | 24 struct Magma {}; struct 26 using EntryData = variant<Sokoban, Trap, Water, Magma>;
|
/dports/security/gnutls/gnutls-3.6.16/doc/enums/ |
H A D | gnutls_cipher_algorithm_t | 54 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 D | CREDITS | 86 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 D | qfautoexport | 7 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 D | Internal.hs | 23 , 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 D | Internal.hs | 23 , module Control.Lens.Internal.Magma 38 import Control.Lens.Internal.Magma
|
/dports/math/gap/gap-4.11.0/pkg/utils-0.69/ |
H A D | makedoc.g | 23 Magma := "<M>{\\sf Magma}</M>",
|
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/lens-4.19.2/src/Control/Lens/ |
H A D | Internal.hs | 24 , 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 D | Internal.hs | 24 , 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 D | Internal.hs | 24 , module Control.Lens.Internal.Magma 39 import Control.Lens.Internal.Magma
|