Hoogle Search
Within LTS Haskell 24.33 (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-core Sound.Tidal.Core No documentation available.
(
|+| ) :: (Applicative a, Num b) => a b -> a b -> a btidal-core Sound.Tidal.Core No documentation available.
(
||+ ) :: Num a => Pattern a -> Pattern a -> Pattern atidal-core Sound.Tidal.Core No documentation available.
(
||++ ) :: Pattern String -> Pattern String -> Pattern Stringtidal-core Sound.Tidal.Core No documentation available.
type family (a :: [k])
:++: (b :: [k]) :: [k]type-fun TypeFun.Data.List No documentation available.
type family (a :: N)
:+: (b :: N) :: Ntype-fun TypeFun.Data.Peano No documentation available.
(
%+ ) :: forall (n :: Nat) (m :: Nat) . SNat n -> SNat m -> SNat (n + m)type-natural Data.Type.Natural No documentation available.
-
type-natural Data.Type.Ordinal Ordinal addition. Since 1.0.0.0(type changed)
(
:+ ) :: forall v . Exp v 'Number -> Exp v 'Number -> Exp v 'Numbertypecheck-plugin-nat-simple Data.Derivation.Expression No documentation available.
(
.+. ) :: Log s v -> Log s v -> Log s vtypecheck-plugin-nat-simple Data.Log No documentation available.