Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

  1. (%.) :: forall b c a (t1 :: b ~> c) (t2 :: a ~> b) (t3 :: a) . Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ((.@#@$) :: TyFun (b ~> c) ((a ~> b) ~> (a ~> c)) -> Type) t1) t2) t3)

    singletons-base Data.Function.Singletons

    No documentation available.

  2. (%.) :: forall b c a (t1 :: b ~> c) (t2 :: a ~> b) (t3 :: a) . Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ((.@#@$) :: TyFun (b ~> c) ((a ~> b) ~> (a ~> c)) -> Type) t1) t2) t3)

    singletons-base Data.Singletons.Base.TH

    No documentation available.

  3. (%.) :: forall b c a (t1 :: b ~> c) (t2 :: a ~> b) (t3 :: a) . Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ((.@#@$) :: TyFun (b ~> c) ((a ~> b) ~> (a ~> c)) -> Type) t1) t2) t3)

    singletons-base Prelude.Singletons

    No documentation available.

  4. (|>.) :: Buffer % 1 -> Char -> Buffer

    text-builder-linear Data.Text.Builder.Linear.Buffer

    Append Char to a Buffer by mutating it. 

    >>> :set -XLinearTypes

>>> runBuffer (\b -> b |>. 'q' |>. 'w')
"qw"
    Warning: In contrast to singleton, it is the responsibility of the caller to sanitize surrogate code points with safe.

  5. (%.) :: Format r (Builder -> r') -> Format r' a -> Format r a

    formatting Formatting

    Function compose two formatters. Will feed the result of one formatter into another.

  6. (%.) :: Format r (Builder -> r') -> Format r' a -> Format r a

    formatting Formatting.Internal

    Function compose two formatters. Will feed the result of one formatter into another.

  7. (^.) :: s -> ((a -> Const a a) -> s -> Const a s) -> a

    generic-lens Data.Generics.Internal.VL

    Getting

  8. (%.) :: forall (c :: Symbol) r . (WeightBuilder a, c ~ First a) => W c -> Prec a r -> (a, Int, r)

    generic-random Generic.Random.Internal.Generic

    No documentation available.

  9. (^.) :: s -> FoldLike a s t a b -> a

    lens-family Lens.Family2 

    (^.) :: s -> Getter s t a b -> a
    Access the value referenced by a getter or lens. 
    (^.) :: Monoid a => s -> Fold s t a b -> a
    Access the monoidal summary referenced by a traversal or a fold.

  10. (^..) :: s -> Fold s t a b -> [a]

    lens-family Lens.Family2

    Returns a list of all of the referenced values in order.

Page 112 of many | Previous | Next