Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

Exact lookup

1. classIdNamer :: FieldNamer

   lens	Control.Lens.Combinators

   A FieldNamer for classIdFields.

2. inside :: forall (p :: Type -> Type -> Type) s t a b e . Corepresentable p => ALens s t a b -> Lens (p e s) (p e t) (p e a) (p e b)

   lens	Control.Lens.Combinators

   Lift a Lens so it can run under a function (or other corepresentable profunctor).

   inside :: Lens s t a b -> Lens (e -> s) (e -> t) (e -> a) (e -> b)
   

   >>> (\x -> (x-1,x+1)) ^. inside _1 $ 5
   4
   

   >>> runState (modify (1:) >> modify (2:)) ^. (inside _2) $ []
   [2,1]
   

3. makeFieldsId :: Name -> DecsQ

   lens	Control.Lens.Combinators

   Generate overloaded field accessors, using exactly the same names as the underlying fields. Intended for use with the NoFieldSelectors and DuplicateRecordFields language extensions. As an example:

   data Foo a  = Foo { x :: Int, y :: a }
   newtype Bar = Bar { x :: Char }
   makeFieldsId ''Foo
   makeFieldsId ''Bar
   

   will create classes

   class HasX s a | s -> a where
   x :: Lens' s a
   class HasY s a | s -> a where
   y :: Lens' s a
   

   together with instances

   instance HasX (Foo a) Int
   instance HasY (Foo a) a where
   instance HasX Bar Char where
   

   makeFieldsId = makeLensesWith classIdFields
   

4. outside :: forall (p :: Type -> Type -> Type) s t a b r . Representable p => APrism s t a b -> Lens (p t r) (p s r) (p b r) (p a r)

   lens	Control.Lens.Combinators

   Use a Prism as a kind of first-class pattern.

   outside :: Prism s t a b -> Lens (t -> r) (s -> r) (b -> r) (a -> r)
   

5. runIdentity :: Identity a -> a

   lens	Control.Lens.Combinators

   No documentation available.

6. data ReifiedMonoid a

   lens	Control.Lens.Internal.Fold

   No documentation available.

7. ReifiedMonoid :: (a -> a -> a) -> a -> ReifiedMonoid a

   lens	Control.Lens.Internal.Fold

   No documentation available.

8. newtype AlongsideLeft (f :: Type -> Type) b a

   lens	Control.Lens.Internal.Getter

   No documentation available.

9. AlongsideLeft :: f (a, b) -> AlongsideLeft (f :: Type -> Type) b a

   lens	Control.Lens.Internal.Getter

   No documentation available.

10. newtype AlongsideRight (f :: Type -> Type) a b

    lens	Control.Lens.Internal.Getter

    No documentation available.

Page 386 of many | Previous | Next