Hoogle Search
Within LTS Haskell 24.6 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
optics-extra Optics.At Type family that takes a key-value container type and returns the type of values stored in the container, for example IxValue (Map k a) ~ a. This is shared by both Ixed and At.
-
optics-extra Optics.At Provides a simple AffineTraversal lets you traverse the value at a given key in a Map or element at an ordinal position in a list or Seq.
-
optics-extra Optics.Indexed Class for optic kinds that can have indices.
class IxApplicative m =>
IxMonad (m :: k -> k -> Type -> Type)do-notation Language.Haskell.DoNotation No documentation available.
class IxCopointed w =>
IxComonad (w :: k -> k -> Type -> Type)indexed Control.Comonad.Indexed No documentation available.
class IxFunctor w =>
IxCopointed (w :: k -> k -> Type -> Type)indexed Control.Comonad.Indexed No documentation available.
class
IxFunctor (f :: k -> k1 -> Type -> Type)indexed Control.Comonad.Indexed No documentation available.
class IxPointed m =>
IxApplicative (m :: k -> k -> Type -> Type)indexed Control.Monad.Indexed No documentation available.
class
IxFunctor (f :: k -> k1 -> Type -> Type)indexed Control.Monad.Indexed No documentation available.
class IxApplicative m =>
IxMonad (m :: k -> k -> Type -> Type)indexed Control.Monad.Indexed No documentation available.