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.

  1. (++) :: SymVal a => SList a -> SList a -> SList a

    sbv Data.SBV.List

    Append two lists. 

    >>> sat $ \x y z -> length x .== 5 .&& length y .== 1 .&& x ++ y ++ z .== [1 .. 12]
Satisfiable. Model:
s0 =      [1,2,3,4,5] :: [Integer]
s1 =              [6] :: [Integer]
s2 = [7,8,9,10,11,12] :: [Integer]

  2. (++) :: SString -> SString -> SString

    sbv Data.SBV.String

    Short cut for concat. 

    >>> sat $ \x y z -> length x .== 5 .&& length y .== 1 .&& x ++ y ++ z .== "Hello world!"
Satisfiable. Model:
s0 =  "Hello" :: String
s1 =      " " :: String
s2 = "world!" :: String

  3. (+!) :: CheckedArithmetic a => SBV a -> SBV a -> SBV a

    sbv Data.SBV.Tools.Overflow

    No documentation available.

  4. (++|) :: Pattern String -> Pattern String -> Pattern String

    tidal-core Sound.Tidal.Core

    No documentation available.

  5. (+|) :: Num a => Pattern a -> Pattern a -> Pattern a

    tidal-core Sound.Tidal.Core

    No documentation available.

  6. type (l :: Symbol) ++ (r :: Symbol) = AppendSymbol l r

    type-level-show TypeLevelShow.Utils

    No documentation available.

  7. (++) :: forall (m :: Type -> Type) a . Monad m => Stream m a -> Stream m a -> Stream m a

    vector-stream Data.Stream.Monadic

    Concatenate two Streams

  8. (++#) :: DeBruijn a => [a] -> Substitution' a -> Substitution' a

    Agda Agda.TypeChecking.Substitute.Class

    No documentation available.

  9. (+++) :: String -> String -> String

    BNFC BNFC.Utils

    Concatenate strings by a space.

  10. (++++) :: String -> String -> String

    BNFC BNFC.Utils

    Concatenate strings by a newline.

Page 29 of many | Previous | Next