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.

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

    singletons-base Data.List.NonEmpty.Singletons

    No documentation available.

  2. type family IsInfixOf (a1 :: [a]) (a2 :: [a]) :: Bool

    singletons-base Data.List.Singletons

    No documentation available.

  3. data IsInfixOfSym0 (a1 :: TyFun [a] [a] ~> Bool)

    singletons-base Data.List.Singletons

    No documentation available.

  4. data IsInfixOfSym1 (a6989586621679827705 :: [a]) (b :: TyFun [a] Bool)

    singletons-base Data.List.Singletons

    No documentation available.

  5. type family IsInfixOfSym2 (a6989586621679827705 :: [a]) (a6989586621679827706 :: [a]) :: Bool

    singletons-base Data.List.Singletons

    No documentation available.

  6. type family IsPrefixOf (a1 :: [a]) (a2 :: [a]) :: Bool

    singletons-base Data.List.Singletons

    No documentation available.

  7. data IsPrefixOfSym0 (a1 :: TyFun [a] [a] ~> Bool)

    singletons-base Data.List.Singletons

    No documentation available.

  8. data IsPrefixOfSym1 (a6989586621679827719 :: [a]) (b :: TyFun [a] Bool)

    singletons-base Data.List.Singletons

    No documentation available.

  9. type family IsPrefixOfSym2 (a6989586621679827719 :: [a]) (a6989586621679827720 :: [a]) :: Bool

    singletons-base Data.List.Singletons

    No documentation available.

  10. type family IsSuffixOf (a1 :: [a]) (a2 :: [a]) :: Bool

    singletons-base Data.List.Singletons

    No documentation available.

Page 183 of many | Previous | Next