Hoogle Search

Within LTS Haskell 24.19 (ghc-9.10.3)

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

Exact lookup

1. bisequence_ :: (Bifoldable t, Applicative f) => t (f a) (f b) -> f ()

   relude	Relude.Foldable.Reexport

   Evaluate each action in the structure from left to right, and ignore the results. For a version that doesn't ignore the results, see bisequence.

   Examples

   Basic usage:

   >>> bisequence_ (print "Hello", print "World")
   "Hello"
   "World"
   

   >>> bisequence_ (Left (print "Hello"))
   "Hello"
   

   >>> bisequence_ (Right (print "World"))
   "World"
   

2. subsequences :: [a] -> [[a]]

   relude	Relude.List.Reexport

   The subsequences function returns the list of all subsequences of the argument.

   Laziness

   subsequences does not look ahead unless it must:

   >>> take 1 (subsequences undefined)
   [[]]
   
   >>> take 2 (subsequences ('a' : undefined))
   ["","a"]
   

   Examples

   >>> subsequences "abc"
   ["","a","b","ab","c","ac","bc","abc"]
   

   This function is productive on infinite inputs:

   >>> take 8 $ subsequences ['a'..]
   ["","a","b","ab","c","ac","bc","abc"]
   

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

   serialise	Codec.Serialise.Decoding

   Decode an indefinite sequence length.

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

   serialise	Codec.Serialise.Decoding

   Decode a sequence length.

5. 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.

6. 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.

7. 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.

8. 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.

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	Control.Monad.Singletons

   No documentation available.

10. 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.

Page 55 of many | Previous | Next