Hoogle Search

Within LTS Haskell 24.64 (ghc-9.10.3)

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

Exact lookup

1. data Void

   singletons-base	Data.Singletons.Base.TH

   Uninhabited data type

2. singDecideInstance :: OptionsMonad q => Name -> q [Dec]

   singletons-base	Data.Singletons.Base.TH

   Create instances of SDecide, Eq, TestEquality, and TestCoercion for the given type.

3. singDecideInstances :: OptionsMonad q => [Name] -> q [Dec]

   singletons-base	Data.Singletons.Base.TH

   Create instances of SDecide, Eq, TestEquality, and TestCoercion for each type in the list.

4. data SVoid (a :: Void)

   singletons-base	Data.Void.Singletons

   No documentation available.

5. class PMonoid a

   singletons-base	Prelude.Singletons

   No documentation available.

6. class SSemigroup a => SMonoid a

   singletons-base	Prelude.Singletons

   No documentation available.

7. sId :: forall a (t :: a) . Sing t -> Sing (Apply (IdSym0 :: TyFun a a -> Type) t)

   singletons-base	Prelude.Singletons

   No documentation available.

8. width :: Window a -> !a

   terminal-size	System.Console.Terminal.Size

   No documentation available.

9. composOpMonoid :: (Uniplate a, Monoid m) => (a -> m) -> a -> m

   uniplate	Data.Generics.Compos

   composOpMonoid = composOpFold mempty mappend
   

10. newtype Hide a

    uniplate	Data.Generics.Uniplate.Data.Instances

    The Hide data type has a Data instance which reports having no constructors, as though the type was defined as using the extension EmptyDataDecls:

    data Hide a
    

    This type is suitable for defining regions that are avoided by Uniplate traversals. As an example:

    transformBi (+1) (1, 2, Hide 3, Just 4) == (2, 3, Hide 3, Just 4)
    

    As a result of having no constructors, any calls to the methods toConstr or gunfold will raise an error.

Page 558 of many | Previous | Next