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. (+%) :: Show a => String -> a -> String

    percent-format Text.PercentFormat

    Just an alias to % for use whenever Data.Ratio is in scope. 

    import Data.Ratio
import Text.PercentFormat hiding ((%))
"..." +% 1 -% 2

  2. (+=.) :: forall v typ . PersistField typ => EntityField v typ -> typ -> Update v

    persistent-mtl Database.Persist.Sql.Shim

    Assign a field by addition (+=).

    Examples

    addAge :: MonadIO m => ReaderT SqlBackend m ()
addAge = updateWhere [UserName ==. "SPJ" ] [UserAge +=. 1]
    The above query when applied on dataset-1, will produce this: 
    +-----+-----+---------+
|id   |name |age      |
+-----+-----+---------+
|1    |SPJ  |40 -> 41 |
+-----+-----+---------+
|2    |Simon|41       |
+-----+-----+---------+

  3. (+=.) :: forall v typ . PersistField typ => EntityField v typ -> typ -> Update v

    persistent-redis Database.Persist.Redis

    Assign a field by addition (+=).

    Examples

    addAge :: MonadIO m => ReaderT SqlBackend m ()
addAge = updateWhere [UserName ==. "SPJ" ] [UserAge +=. 1]
    The above query when applied on dataset-1, will produce this: 
    +-----+-----+---------+
|id   |name |age      |
+-----+-----+---------+
|1    |SPJ  |40 -> 41 |
+-----+-----+---------+
|2    |Simon|41       |
+-----+-----+---------+

  4. (+++) :: forall (m :: Type -> Type) a b r c d . Monad m => Pipe a b m r -> Pipe c d m r -> Pipe (Either a c) (Either b d) m r

    pipes-extras Pipes.Extras

    Like (+++) from ArrowChoice 

    pL +++ pR = left pL >-> right pR

  5. (+=*) :: a -> a -> Range a

    range Data.Range

    Mathematically equivalent to [x, y). x +=* y is the short version of SpanRange (Bound x Inclusive) (Bound y Exclusive)

  6. (+=+) :: a -> a -> Range a

    range Data.Range

    Mathematically equivalent to [x, y]. x +=+ y is the short version of SpanRange (Bound x Inclusive) (Bound y Inclusive)

  7. (+=*) :: a -> a -> Ranges a

    range Data.Ranges

    No documentation available.

  8. (+=+) :: a -> a -> Ranges a

    range Data.Ranges

    No documentation available.

  9. (+++) :: AddR n m v w => RangeR n m a -> RangeR v w a -> RangeR (n + v) (m + w) a

    ranged-list Data.List.Length

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

    >>> :set -XDataKinds

>>> sampleRangeR1 = NilR :++ 'f' :+ 'o' :+ 'o' :: RangeR 2 5 Char

>>> sampleRangeR2 = NilR :++ 'b' :++ 'a' :+ 'r' :: RangeR 1 6 Char

>>> sampleRangeR1 +++ sampleRangeR2
(((((NilR :++ 'f') :++ 'o') :++ 'o') :+ 'b') :+ 'a') :+ 'r'

>>> :type sampleRangeR1 +++ sampleRangeR2
sampleRangeR1 +++ sampleRangeR2 :: RangeR 3 11 Char

  10. (++.) :: AddL n m v w => RangeL n m a -> RangeL v w a -> RangeL (n + v) (m + w) a

    ranged-list Data.List.Length

    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

Page 33 of many | Previous | Next