Hoogle Search

Within LTS Haskell 24.58 (ghc-9.10.3)

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

Exact lookup

1. data IsSuffixOfSym0 (a1 :: TyFun [a] [a] ~> Bool)

   singletons-base	Data.List.Singletons

   No documentation available.

2. data IsSuffixOfSym1 (a6989586621679827712 :: [a]) (b :: TyFun [a] Bool)

   singletons-base	Data.List.Singletons

   No documentation available.

3. type family IsSuffixOfSym2 (a6989586621679827712 :: [a]) (a6989586621679827713 :: [a]) :: Bool

   singletons-base	Data.List.Singletons

   No documentation available.

4. type family StripPrefix (a1 :: [a]) (a2 :: [a]) :: Maybe [a]

   singletons-base	Data.List.Singletons

   No documentation available.

5. data StripPrefixSym0 (a1 :: TyFun [a] [a] ~> Maybe [a])

   singletons-base	Data.List.Singletons

   No documentation available.

6. data StripPrefixSym1 (a6989586621679978125 :: [a]) (b :: TyFun [a] Maybe [a])

   singletons-base	Data.List.Singletons

   No documentation available.

7. type family StripPrefixSym2 (a6989586621679978125 :: [a]) (a6989586621679978126 :: [a]) :: Maybe [a]

   singletons-base	Data.List.Singletons

   No documentation available.

8. sIsInfixOf :: forall a (t1 :: [a]) (t2 :: [a]) . SEq a => Sing t1 -> Sing t2 -> Sing (Apply (Apply (IsInfixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) t1) t2)

   singletons-base	Data.List.Singletons

   No documentation available.

9. sIsPrefixOf :: forall a (t1 :: [a]) (t2 :: [a]) . SEq a => Sing t1 -> Sing t2 -> Sing (Apply (Apply (IsPrefixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) t1) t2)

   singletons-base	Data.List.Singletons

   No documentation available.

10. sIsSuffixOf :: forall a (t1 :: [a]) (t2 :: [a]) . SEq a => Sing t1 -> Sing t2 -> Sing (Apply (Apply (IsSuffixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) t1) t2)

    singletons-base	Data.List.Singletons

    No documentation available.

Page 184 of many | Previous | Next