Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

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

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

    zippers Control.Zipper

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

  2. data a :@ i

    zippers Control.Zipper

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

  3. 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

  4. 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.

  5. 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 :>.

  6. type (:&) = 'Union

    bluefin Bluefin.Eff 

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

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

    bluefin Bluefin.Eff

    Effect subset constraint

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

    classy-prelude-yesod ClassyPrelude.Yesod

    No documentation available.

  9. (:***:) :: 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.

  10. (:***:) :: 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.

Page 70 of many | Previous | Next