Hoogle Search
Within LTS Haskell 24.50 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
(
|++| ) :: Applicative a => a String -> a String -> a Stringtidal Sound.Tidal.Boot No documentation available.
(
|+| ) :: (Applicative a, Num b) => a b -> a b -> a btidal Sound.Tidal.Boot No documentation available.
(
||+ ) :: Num a => Pattern a -> Pattern a -> Pattern atidal Sound.Tidal.Boot No documentation available.
(
||++ ) :: Pattern String -> Pattern String -> Pattern Stringtidal Sound.Tidal.Boot No documentation available.
(
<+++> ) :: Summable f => f a -> f b -> f (Either a b)type-rig Data.TypeRig.Summable No documentation available.
(
%+ ) :: forall (n :: Nat) (m :: Nat) . SNat n -> SNat m -> SNat (n + m)typelits-witnesses GHC.TypeLits.Witnesses Addition of SNats. This also will provide the correct KnownNat instance for SNat (n + m), so can be used as a way to "add" KnownNat instances. This stands in for the function with the same name from Data.Singletons.Prelude.Num.
data ((f :: Type -> Type)
:+: (g :: Type -> Type)) wwizards System.Console.Wizard Coproduct of two functors
data ((f :: Type -> Type)
:+: (g :: Type -> Type)) wwizards System.Console.Wizard.Internal Coproduct of two functors
-
LPFP-core LPFPCore Vector addition.
-
LPFP-core LPFPCore.SimpleVec Vector addition.