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.

Exact lookup

1. rsequenceInFields :: forall (f :: Type -> Type) (rs :: [(Symbol, Type)]) . (Functor f, AllFields rs, RMap rs) => Rec (f :. ElField) rs -> Rec ElField (MapTyCon f rs)

   vinyl	Data.Vinyl

   Push an outer layer of interpretation functor into each named field.

2. rsequenceInFields :: forall (f :: Type -> Type) (rs :: [(Symbol, Type)]) . (Functor f, AllFields rs, RMap rs) => Rec (f :. ElField) rs -> Rec ElField (MapTyCon f rs)

   vinyl	Data.Vinyl.Class.Method

   Push an outer layer of interpretation functor into each named field.

3. rsequenceIn :: forall (f :: Type -> Type) (g :: Type -> Type) (rs :: [Type]) . (Traversable f, Applicative g) => Rec (f :. g) rs -> Rec g (MapTyCon f rs)

   vinyl	Data.Vinyl.Core

   Push an outer layer of interpretation functor into each field.

4. decodeSequenceLenIndef :: (r -> a -> r) -> r -> (r -> r') -> Decoder s a -> Decoder s r'

   serialise	Codec.Serialise.Decoding

   Decode an indefinite sequence length.

5. decodeSequenceLenN :: (r -> a -> r) -> r -> (r -> r') -> Int -> Decoder s a -> Decoder s r'

   serialise	Codec.Serialise.Decoding

   Decode a sequence length.

6. sSequence :: forall (m :: Type -> Type) a (t1 :: t (m a)) . (STraversable t, SMonad m) => Sing t1 -> Sing (Apply (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) t1)

   singletons-base	Control.Monad.Singletons

   No documentation available.

7. sSequence_ :: forall (t1 :: Type -> Type) (m :: Type -> Type) a (t2 :: t1 (m a)) . (SFoldable t1, SMonad m) => Sing t2 -> Sing (Apply (Sequence_Sym0 :: TyFun (t1 (m a)) (m ()) -> Type) t2)

   singletons-base	Control.Monad.Singletons

   No documentation available.

8. sSequenceA_ :: forall (t1 :: Type -> Type) (f :: Type -> Type) a (t2 :: t1 (f a)) . (SFoldable t1, SApplicative f) => Sing t2 -> Sing (Apply (SequenceA_Sym0 :: TyFun (t1 (f a)) (f ()) -> Type) t2)

   singletons-base	Data.Foldable.Singletons

   No documentation available.

9. sSequence_ :: forall (t1 :: Type -> Type) (m :: Type -> Type) a (t2 :: t1 (m a)) . (SFoldable t1, SMonad m) => Sing t2 -> Sing (Apply (Sequence_Sym0 :: TyFun (t1 (m a)) (m ()) -> Type) t2)

   singletons-base	Data.Foldable.Singletons

   No documentation available.

10. type family Subsequences (a1 :: [a]) :: [[a]]

    singletons-base	Data.List.Singletons

    No documentation available.

Page 55 of many | Previous | Next