Hoogle Search

Within LTS Haskell 24.12 (ghc-9.10.3)

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

Exact lookup

1. type family GetLastSym1 (a6989586621679696724 :: Last a) :: a

   singletons-base	Data.Semigroup.Singletons

   No documentation available.

2. data SLast (a1 :: Last a)

   singletons-base	Data.Semigroup.Singletons

   No documentation available.

3. SLast :: forall a (n :: a) . Sing n -> SLast ('Last n)

   singletons-base	Data.Semigroup.Singletons

   No documentation available.

4. sGetLast :: forall a (t :: Last a) . Sing t -> Sing (Apply (GetLastSym0 :: TyFun (Last a) a -> Type) t)

   singletons-base	Data.Semigroup.Singletons

   No documentation available.

5. sLast :: forall a (t :: [a]) . Sing t -> Sing (Apply (LastSym0 :: TyFun [a] a -> Type) t)

   singletons-base	Prelude.Singletons

   No documentation available.

6. _last :: forall (v :: Type -> Type) (n :: Natural) a f . (Vector v a, Functor f) => (a -> f a) -> Vector v (n + 1) a -> f (Vector v (n + 1) a)

   vector-sized	Data.Vector.Generic.Sized

   Lens to access (O(1)) and update (O(n)) the last element of a non-empty vector.

7. _last :: forall (n :: Natural) a f . (Prim a, Functor f) => (a -> f a) -> Vector (n + 1) a -> f (Vector (n + 1) a)

   vector-sized	Data.Vector.Primitive.Sized

   Lens to access (O(1)) and update (O(n)) the last element of a non-empty vector.

8. _last :: forall (n :: Natural) a f . Functor f => (a -> f a) -> Vector (n + 1) a -> f (Vector (n + 1) a)

   vector-sized	Data.Vector.Sized

   Lens to access (O(1)) and update (O(n)) the last element of a non-empty vector.

9. _last :: forall (n :: Natural) a f . (Storable a, Functor f) => (a -> f a) -> Vector (n + 1) a -> f (Vector (n + 1) a)

   vector-sized	Data.Vector.Storable.Sized

   Lens to access (O(1)) and update (O(n)) the last element of a non-empty vector.

10. _last :: forall (n :: Natural) a f . (Unbox a, Functor f) => (a -> f a) -> Vector (n + 1) a -> f (Vector (n + 1) a)

    vector-sized	Data.Vector.Unboxed.Sized

    Lens to access (O(1)) and update (O(n)) the last element of a non-empty vector.

Page 79 of many | Previous | Next