Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. type family (as :: [k]) :++: (bs :: [k]) :: [k]

    clash-prelude Clash.Class.HasDomain.Common

    No documentation available.

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

    code-conjure Conjure.Engine

    List concatenation lifted over the Expr type. Works for the element types Int, Char and Bool.

    > (zero -:- one -:- nil) -:- (two -:- three -:- nil)
    [0,1] -++- [2,3] :: [Int]
    
    > (bee -:- unit cee) -:- unit dee
    "bc" -++- "c" :: [Char]
    

  3. (-++-) :: Expr -> Expr -> Expr

    code-conjure Conjure.Expr

    List concatenation lifted over the Expr type. Works for the element types Int, Char and Bool.

    > (zero -:- one -:- nil) -:- (two -:- three -:- nil)
    [0,1] -++- [2,3] :: [Int]
    
    > (bee -:- unit cee) -:- unit dee
    "bc" -++- "c" :: [Char]
    

  4. (.++) :: (Int, Hex) -> (Int, Hex) -> (Int, Hex)

    ghci-hexcalc Data.GHex

    Concatinate pairs of (length,Hex)

    >>> (3,0b101) .++ (2,0b11)
    (5,0x0000_0000_0000_0017)
    
    >>> (4,0xa) .++ (4,0xb) .++ (8,0xcd)
    (16,0x0000_0000_0000_abcd)
    
    >>> (4,0xe) .++ (4,0xf) .@snd
    0x0000_0000_0000_00ef
    

  5. (<++>) :: Text -> Text -> [Text] -> Text

    haskoin-store-data Haskoin.Store.WebCommon

    No documentation available.

  6. type family (xs :: [a]) <++> (ys :: [a]) :: [a]

    hyperbole Web.Hyperbole.TypeList

    No documentation available.

  7. (<++>) :: forall (n :: Nat) a (m :: Nat) . NList n a -> NList m a -> NList (n + m) a

    indexed-containers Data.NList

    Append two lists.

    mk2 'a' 'b' <++> mk3 'c' 'd' 'e' === mk5 'a' 'b' 'c' 'd' 'e'
    

  8. ($++$) :: Doc ann -> Doc ann -> Doc ann

    language-bash Language.Bash.Pretty

    Behaves like $+$ except that if one of the documents was empty we do not concatenate at all. mempty is the identity of $+$:

    x $++$ mempty == x
    
    and
    mempty $++$ y == y
    

  9. (<++>) :: Doc ann -> Doc ann -> Doc ann

    language-bash Language.Bash.Pretty

    Behaves like <+> except that if one of the documents was empty we do not concatenate at all. mempty is the identity of <+>:

    x <++> mempty == x
    
    and
    mempty <++> y == y
    

  10. (:++:) :: Formula v -> Formula v -> Formula v

    minisat-solver SAT.MiniSat

    Exclusive or.

Page 21 of many | Previous | Next