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. (++.) :: AddL n m v w => RangeL n m a -> RangeL v w a -> RangeL (n + v) (m + w) a

    ranged-list Data.List.Range

    To concatenate two lists whose types are RangeL n m a and RangeL v w a. 

    >>> :set -XDataKinds

>>> sampleAddL1 = 'f' :. 'o' :. 'o' :.. NilL :: RangeL 2 5 Char

>>> sampleAddL2 = 'b' :. 'a' :.. 'r' :.. NilL :: RangeL 1 6 Char

>>> sampleAddL1 ++. sampleAddL2
'f' :. ('o' :. ('o' :. ('b' :.. ('a' :.. ('r' :.. NilL)))))

>>> :type sampleAddL1 ++. sampleAddL2
sampleAddL1 ++. sampleAddL2 :: RangeL 3 11 Char

  2. (++.+) :: LeftToRight n m v w => RangeR n m a -> RangeL v w a -> RangeR (n + v) (m + w) a

    ranged-list Data.List.Range

    To concatenate a right-list and a left-list and return a right-list. 

    >>> :set -XDataKinds

>>> sampleLeftToRight1 = NilR :++ 'f' :++ 'o' :+ 'o' :: RangeR 1 4 Char

>>> sampleLeftToRight2 = 'b' :. 'a' :. 'r' :.. NilL :: RangeL 2 3 Char

>>> sampleLeftToRight1 ++.+ sampleLeftToRight2
(((((NilR :++ 'f') :++ 'o') :++ 'o') :+ 'b') :+ 'a') :+ 'r'

>>> :type sampleLeftToRight1 ++.+ sampleLeftToRight2
sampleLeftToRight1 ++.+ sampleLeftToRight2 :: RangeR 3 7 Char

  3. (++..) :: RightToLeft n m v w => RangeR n m a -> RangeL v w a -> RangeL (n + v) (m + w) a

    ranged-list Data.List.Range

    To concatenate a right-list and a left-list and return a left-list. 

    >>> :set -XDataKinds

>>> sampleRightToLeft1 = NilR :++ 'f' :++ 'o' :+ 'o' :: RangeR 1 4 Char

>>> sampleRightToLeft2 = 'b' :. 'a' :. 'r' :.. NilL :: RangeL 2 3 Char

>>> sampleRightToLeft1 ++.. sampleRightToLeft2
'f' :. ('o' :. ('o' :. ('b' :.. ('a' :.. ('r' :.. NilL)))))

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

    tidal Sound.Tidal.Boot

    No documentation available.

  5. (+++) :: RealVectorSpace ds => ds -> ds -> ds

    LPFP-core LPFPCore

    No documentation available.

  6. (+++) :: RealVectorSpace ds => ds -> ds -> ds

    LPFP-core LPFPCore.Mechanics1D

    No documentation available.

  7. (+++) :: (MorphChoice a, ObjectSum a b b', ObjectSum a c c') => a b c -> a b' c' -> a (b + b') (c + c')

    constrained-categories Control.Arrow.Constrained

    No documentation available.

  8. (<++) :: ReadP a -> ReadP a -> ReadP a

    base Text.ParserCombinators.ReadP

    Local, exclusive, left-biased choice: If left parser locally produces any result at all, then right parser is not used.

  9. (<++) :: ReadPrec a -> ReadPrec a -> ReadPrec a

    base Text.ParserCombinators.ReadPrec

    Local, exclusive, left-biased choice: If left parser locally produces any result at all, then right parser is not used.

  10. ($$++) :: Monad m => SealedConduitT () a m () -> ConduitT a Void m b -> m (SealedConduitT () a m (), b)

    conduit Data.Conduit

    Continue processing after usage of $$+. Since 0.5.0

Page 16 of many | Previous | Next