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.
type family (as :: [k])
:++: (bs :: [k]) :: [k]clash-prelude Clash.Class.HasDomain.Common No documentation available.
(
-++- ) :: Expr -> Expr -> Exprcode-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]
(
-++- ) :: Expr -> Expr -> Exprcode-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]
(
.++ ) :: (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
(
<++> ) :: Text -> Text -> [Text] -> Texthaskoin-store-data Haskoin.Store.WebCommon No documentation available.
type family (xs :: [a])
<++> (ys :: [a]) :: [a]hyperbole Web.Hyperbole.TypeList No documentation available.
(
<++> ) :: forall (n :: Nat) a (m :: Nat) . NList n a -> NList m a -> NList (n + m) aindexed-containers Data.NList Append two lists.
mk2 'a' 'b' <++> mk3 'c' 'd' 'e' === mk5 'a' 'b' 'c' 'd' 'e'
(
$++$ ) :: Doc ann -> Doc ann -> Doc annlanguage-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
andmempty $++$ y == y
(
<++> ) :: Doc ann -> Doc ann -> Doc annlanguage-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
andmempty <++> y == y
(
:++: ) :: Formula v -> Formula v -> Formula vminisat-solver SAT.MiniSat Exclusive or.