Hoogle Search

Within LTS Haskell 24.31 (ghc-9.10.3)

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

  1. type family h :> p

    zippers Control.Zipper.Internal

    This type family represents a Zipper with the p variable abstracting over the position and the index, in terms of :@. You can visually see it in type signatures as: 

    h :> (a :@ i) = Zipper h i a

  2. type h :>> a = Zipper h Int a

    zippers Control.Zipper.Internal

    Many zippers are indexed by Int keys. This type alias is convenient for reducing syntactic noise for talking about these boring indices.

  3. data a :@ i

    zippers Control.Zipper.Internal

    An empty data type, used to represent the pairing of a position in a Zipper with an index. See :>.

  4. type (:&) = 'Union

    bluefin Bluefin.Eff 

    type (:&) :: Effects -> Effects -> Effects
    Union of effects

  5. class (es1 :: Effects) :> (es2 :: Effects)

    bluefin Bluefin.Eff

    Effect subset constraint

  6. (:#:) :: a -> b -> Fragment a b

    classy-prelude-yesod ClassyPrelude.Yesod

    No documentation available.

  7. (:***:) :: k (LFactor p) (LFactor q) -> l (RFactor p) (RFactor q) -> ProductCategory (k :: Type -> Type -> Type) (l :: Type -> Type -> Type) p q

    constrained-categories Control.Category.Constrained

    No documentation available.

  8. (:***:) :: k (LFactor p) (LFactor q) -> l (RFactor p) (RFactor q) -> ProductCategory (k :: Type -> Type -> Type) (l :: Type -> Type -> Type) p q

    constrained-categories Control.Category.Constrained.Prelude

    No documentation available.

  9. (:..>) :: forall (ts :: Stack) (b :: Type -> Type) c (t :: (Type -> Type) -> Type -> Type) . RunStackT ts b c -> (t (StackT ts b) c -> StackT ts b c) -> RunStackT (ts ':.|> t) b c

    deriving-trans Control.Monad.Trans.Compose.Stack

    run the next monad transformer on a stack

  10. (:.|>) :: Stack -> ((Type -> Type) -> Type -> Type) -> Stack

    deriving-trans Control.Monad.Trans.Compose.Stack

    add a monad transformer to a stack

Page 70 of many | Previous | Next