Hoogle Search

Within LTS Haskell 24.37 (ghc-9.10.3)

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

Exact lookup

1. type DoList a = DoListM a ()

   do-list	Data.DoList

   The type shortcut.

2. DoList :: DoMonoidM [a] r -> DoListM a r

   do-list	Data.DoList

   No documentation available.

3. newtype DoListM a r

   do-list	Data.DoList

   DoListM is not a real instance of Monad, Applicative or Functor. It pretends being them with a phantom result type.

4. fromList :: [a] -> DoListM a r

   do-list	Data.DoList

   Convert from a list.

5. toList :: DoListM a r -> [a]

   do-list	Data.DoList

   Convert to a list.

6. elimList :: forall a (p :: [a] ~> Type) (s :: [a]) . Sing s -> Apply p ('[] :: [a]) -> (forall (f0 :: a) . () => Sing f0 -> forall (f1 :: [a]) . () => Sing f1 -> Apply p f1 -> Apply p (f0 ': f1)) -> Apply p s

   eliminators	Data.Eliminator

   No documentation available.

7. fromFixedList :: List n a -> T n a

   fixed-length	Data.FixedLength

   No documentation available.

8. toFixedList :: T n a -> List n a

   fixed-length	Data.FixedLength

   No documentation available.

9. toList :: Natural n => T n a -> [a]

   fixed-length	Data.FixedLength

   No documentation available.

10. type family HomList (n :: PeanoNum) (a :: α) :: [α]

    fixed-vector-hetero	Data.Vector.HFixed.Class

    Homogeneous type list with length n and element of type a. It uses type level natural defined in fixed-vector.

Page 194 of many | Previous | Next