Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

  1. module Data.GADT.DeepSeq

    No documentation available.

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

    sop-core Data.SOP

    A generalization of sequenceA.

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

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

    sop-core Data.SOP.Classes

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

  6. sequence_NP :: forall (xs :: [Type]) f . (SListI xs, Applicative f) => NP f xs -> f (NP I xs)

    sop-core Data.SOP.NP

    Specialization of hsequence. Example: 

    >>> sequence_NP (Just 1 :* Just 2 :* Nil)
Just (I 1 :* I 2 :* Nil)

  7. sequence_POP :: forall (xss :: [[Type]]) f . (All (SListI :: [Type] -> Constraint) xss, Applicative f) => POP f xss -> f (POP I xss)

    sop-core Data.SOP.NP

    Specialization of hsequence. Example: 

    >>> sequence_POP (POP ((Just 1 :* Nil) :* (Just 2 :* Just 3 :* Nil) :* Nil))
Just (POP ((I 1 :* Nil) :* (I 2 :* I 3 :* Nil) :* Nil))

  8. sequence_NS :: forall (xs :: [Type]) f . (SListI xs, Applicative f) => NS f xs -> f (NS I xs)

    sop-core Data.SOP.NS

    Specialization of hsequence.

  9. sequence_SOP :: forall (xss :: [[Type]]) f . (All (SListI :: [Type] -> Constraint) xss, Applicative f) => SOP f xss -> f (SOP I xss)

    sop-core Data.SOP.NS

    Specialization of hsequence.

  10. type CodeQ = Code Q

    th-compat Language.Haskell.TH.Syntax.Compat

    No documentation available.

Page 292 of many | Previous | Next