Home
last modified time | relevance | path

Searched defs:runMagma (Results 1 – 5 of 5) sorted by relevance

/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/lens-4.19.2/src/Control/Lens/Internal/
H A DMagma.hs94 runMagma (MagmaAp l r) = runMagma l (runMagma r) function
95 runMagma (MagmaFmap f r) = f (runMagma r) function
96 runMagma (MagmaPure x) = x function
97 runMagma (Magma _ a) = a function
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/lens-4.19.2/src/Control/Lens/Internal/
H A DMagma.hs94 runMagma (MagmaAp l r) = runMagma l (runMagma r) function
95 runMagma (MagmaFmap f r) = f (runMagma r) function
96 runMagma (MagmaPure x) = x function
97 runMagma (Magma _ a) = a function
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/lens-4.19.1/src/Control/Lens/Internal/
H A DMagma.hs94 runMagma (MagmaAp l r) = runMagma l (runMagma r) function
95 runMagma (MagmaFmap f r) = f (runMagma r) function
96 runMagma (MagmaPure x) = x function
97 runMagma (Magma _ a) = a function
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/lens-5.0.1/src/Control/Lens/Internal/
H A DMagma.hs114 runMagma (MagmaAp l r) = runMagma l (runMagma r) function
115 runMagma (MagmaFmap f r) = f (runMagma r) function
116 runMagma (MagmaPure x) = x function
117 runMagma (Magma _ a) = a function
/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.hs114 runMagma (MagmaAp l r) = runMagma l (runMagma r) function
115 runMagma (MagmaFmap f r) = f (runMagma r) function
116 runMagma (MagmaPure x) = x function
117 runMagma (Magma _ a) = a function