Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

Exact lookup

1. SAny :: forall (n :: Bool) . Sing n -> SAny ('Any n)

   singletons-base	Data.Monoid.Singletons

   No documentation available.

2. sGetAny :: forall (t :: Any) . Sing t -> Sing (Apply GetAnySym0 t)

   singletons-base	Data.Monoid.Singletons

   No documentation available.

3. type family GetAny (a :: Any) :: Bool

   singletons-base	Data.Semigroup.Singletons

   No documentation available.

4. data GetAnySym0 (a :: TyFun Any Bool)

   singletons-base	Data.Semigroup.Singletons

   No documentation available.

5. type family GetAnySym1 (a6989586621679696609 :: Any) :: Bool

   singletons-base	Data.Semigroup.Singletons

   No documentation available.

6. data SAny (a :: Any)

   singletons-base	Data.Semigroup.Singletons

   No documentation available.

7. SAny :: forall (n :: Bool) . Sing n -> SAny ('Any n)

   singletons-base	Data.Semigroup.Singletons

   No documentation available.

8. sGetAny :: forall (t :: Any) . Sing t -> Sing (Apply GetAnySym0 t)

   singletons-base	Data.Semigroup.Singletons

   No documentation available.

9. sAny :: forall a (t1 :: Type -> Type) (t2 :: a ~> Bool) (t3 :: t1 a) . SFoldable t1 => Sing t2 -> Sing t3 -> Sing (Apply (Apply (AnySym0 :: TyFun (a ~> Bool) (t1 a ~> Bool) -> Type) t2) t3)

   singletons-base	Prelude.Singletons

   No documentation available.

10. setAnyMode :: AnyMode -> BufferM ()

    yi-core	Yi.Buffer.Misc

    Set the mode

Page 135 of many | Previous | Next