Hoogle Search

Within LTS Haskell 24.35 (ghc-9.10.3)

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

Exact lookup

1. type family MaybeToList (a1 :: Maybe a) :: [a]

   singletons-base	Data.Maybe.Singletons

   No documentation available.

2. data MaybeToListSym0 (a1 :: TyFun Maybe a [a])

   singletons-base	Data.Maybe.Singletons

   No documentation available.

3. type family MaybeToListSym1 (a6989586621679588149 :: Maybe a) :: [a]

   singletons-base	Data.Maybe.Singletons

   No documentation available.

4. sListToMaybe :: forall a (t :: [a]) . Sing t -> Sing (Apply (ListToMaybeSym0 :: TyFun [a] (Maybe a) -> Type) t)

   singletons-base	Data.Maybe.Singletons

   No documentation available.

5. sMaybeToList :: forall a (t :: Maybe a) . Sing t -> Sing (Apply (MaybeToListSym0 :: TyFun (Maybe a) [a] -> Type) t)

   singletons-base	Data.Maybe.Singletons

   No documentation available.

6. data SList (a1 :: [a])

   singletons-base	Data.Singletons.Base.TH

   No documentation available.

7. sShowList :: forall (t1 :: [a]) (t2 :: Symbol) . SShow a => Sing t1 -> Sing t2 -> Sing (Apply (Apply (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) t1) t2)

   singletons-base	Data.Singletons.Base.TH

   No documentation available.

8. sToList :: forall a (t1 :: t a) . SFoldable t => Sing t1 -> Sing (Apply (ToListSym0 :: TyFun (t a) [a] -> Type) t1)

   singletons-base	Data.Singletons.Base.TH

   No documentation available.

9. biplateList :: Biplate from to => from -> ([to], [to] -> from)

   uniplate	Data.Generics.Biplate

   Compatibility method, for direct users of the biplate function

10. strList :: Str a -> [a]

    uniplate	Data.Generics.Str

    Convert a Str to a list, assumes the value was created with listStr

Page 86 of many | Previous | Next