Hoogle Search

Within LTS Haskell 24.36 (ghc-9.10.3)

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

  1. class Profunctor (p :: Type -> Type -> Type)

    lens Control.Lens.Combinators

    Formally, the class Profunctor represents a profunctor from Hask -> Hask. Intuitively it is a bifunctor where the first argument is contravariant and the second argument is covariant. You can define a Profunctor by either defining dimap or by defining both lmap and rmap. If you supply dimap, you should ensure that: 

    dimap id id ≡ id
    If you supply lmap and rmap, ensure: 
    lmap id ≡ id
rmap id ≡ id
    If you supply both, you should also ensure: 
    dimap f g ≡ lmap f . rmap g
    These ensure by parametricity: 
    dimap (f . g) (h . i) ≡ dimap g h . dimap f i
lmap (f . g) ≡ lmap g . lmap f
rmap (f . g) ≡ rmap f . rmap g

  2. data Ptr a

    lens Control.Lens.Internal.CTypes

    A value of type Ptr a represents a pointer to an object, or an array of objects, which may be marshalled to or from Haskell values of type a. The type a will often be an instance of class Storable which provides the marshalling operations. However this is not essential, and you can provide your own operations to access the pointer. For example you might write small foreign functions to get or set the fields of a C struct.

  3. newtype Pretext (p :: Type -> Type -> Type) a b t

    lens Control.Lens.Internal.Context

    This is a generalized form of Context that can be repeatedly cloned with less impact on its performance, and which permits the use of an arbitrary Conjoined Profunctor

  4. Pretext :: (forall (f :: Type -> Type) . Functor f => p a (f b) -> f t) -> Pretext (p :: Type -> Type -> Type) a b t

    lens Control.Lens.Internal.Context

    No documentation available.

  5. type Pretext' (p :: Type -> Type -> Type) a = Pretext p a a

    lens Control.Lens.Internal.Context 

    type Pretext' p a s = Pretext p a a s

  6. newtype PretextT (p :: Type -> Type -> Type) (g :: Type -> Type) a b t

    lens Control.Lens.Internal.Context

    This is a generalized form of Context that can be repeatedly cloned with less impact on its performance, and which permits the use of an arbitrary Conjoined Profunctor. The extra phantom Functor is used to let us lie and claim Getter-compatibility under limited circumstances. This is used internally to permit a number of combinators to gracefully degrade when applied to a Fold or Getter.

  7. PretextT :: (forall (f :: Type -> Type) . Functor f => p a (f b) -> f t) -> PretextT (p :: Type -> Type -> Type) (g :: Type -> Type) a b t

    lens Control.Lens.Internal.Context

    No documentation available.

  8. type PretextT' (p :: Type -> Type -> Type) (g :: Type -> Type) a = PretextT p g a a

    lens Control.Lens.Internal.Context 

    type PretextT' p g a s = PretextT p g a a s

  9. module Control.Lens.Internal.Prism

    No documentation available.

  10. module Control.Lens.Internal.PrismTH

    No documentation available.

Page 43 of many | Previous | Next