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.

  1. class C sh => ShapeSequence sh

    comfort-array Data.Array.Comfort.Storable.Dim2

    No documentation available.

  2. switchSequence :: ShapeSequence sh => f Zero -> (forall sh0 shs . (C sh0, Eq sh0, ShapeSequence shs) => f (sh0 ::+ shs)) -> f sh

    comfort-array Data.Array.Comfort.Storable.Dim2

    No documentation available.

  3. bisequenceL :: (Bicrosswalk t, Align f) => t (f a) (f b) -> f (t a b)

    semialign Data.Crosswalk

    No documentation available.

  4. class HAp h => HSequence (h :: k -> Type -> l -> Type)

    sop-core Data.SOP

    A generalization of sequenceA.

  5. hsequence' :: forall (xs :: l) f (g :: k -> Type) . (HSequence h, SListIN h xs, Applicative f) => h (f :.: g) xs -> f (h g xs)

    sop-core Data.SOP

    Corresponds to sequenceA. Lifts an applicative functor out of a structure. Instances: 

    hsequence', sequence'_NP  :: (SListI  xs , Applicative f) => NP  (f :.: g) xs  -> f (NP  g xs )
hsequence', sequence'_NS  :: (SListI  xs , Applicative f) => NS  (f :.: g) xs  -> f (NS  g xs )
hsequence', sequence'_POP :: (SListI2 xss, Applicative f) => POP (f :.: g) xss -> f (POP g xss)
hsequence', sequence'_SOP :: (SListI2 xss, Applicative f) => SOP (f :.: g) xss -> f (SOP g xss)

  6. class HAp h => HSequence (h :: k -> Type -> l -> Type)

    sop-core Data.SOP.Classes

    A generalization of sequenceA.

  7. hsequence' :: forall (xs :: l) f (g :: k -> Type) . (HSequence h, SListIN h xs, Applicative f) => h (f :.: g) xs -> f (h g xs)

    sop-core Data.SOP.Classes

    Corresponds to sequenceA. Lifts an applicative functor out of a structure. Instances: 

    hsequence', sequence'_NP  :: (SListI  xs , Applicative f) => NP  (f :.: g) xs  -> f (NP  g xs )
hsequence', sequence'_NS  :: (SListI  xs , Applicative f) => NS  (f :.: g) xs  -> f (NS  g xs )
hsequence', sequence'_POP :: (SListI2 xss, Applicative f) => POP (f :.: g) xss -> f (POP g xss)
hsequence', sequence'_SOP :: (SListI2 xss, Applicative f) => SOP (f :.: g) xss -> f (SOP g xss)

  8. class HAp h => HSequence (h :: k -> Type -> l -> Type)

    generics-sop Generics.SOP

    A generalization of sequenceA.

  9. hsequence' :: forall (xs :: l) f (g :: k -> Type) . (HSequence h, SListIN h xs, Applicative f) => h (f :.: g) xs -> f (h g xs)

    generics-sop Generics.SOP

    Corresponds to sequenceA. Lifts an applicative functor out of a structure. Instances: 

    hsequence', sequence'_NP  :: (SListI  xs , Applicative f) => NP  (f :.: g) xs  -> f (NP  g xs )
hsequence', sequence'_NS  :: (SListI  xs , Applicative f) => NS  (f :.: g) xs  -> f (NS  g xs )
hsequence', sequence'_POP :: (SListI2 xss, Applicative f) => POP (f :.: g) xss -> f (POP g xss)
hsequence', sequence'_SOP :: (SListI2 xss, Applicative f) => SOP (f :.: g) xss -> f (SOP g xss)

  10. bisequence :: (Bitraversable t, Applicative f) => t (f a) (f b) -> f (t a b)

    relude Relude.Foldable.Reexport

    Sequences all the actions in a structure, building a new structure with the same shape using the results of the actions. For a version that ignores the results, see bisequence_. 

    bisequence ≡ bitraverse id id

    Examples

    Basic usage: 
    >>> bisequence (Just 4, Nothing)
Nothing

    >>> bisequence (Just 4, Just 5)
Just (4,5)

    >>> bisequence ([1, 2, 3], [4, 5])
[(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)]

Page 54 of many | Previous | Next