Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

Exact lookup

1. 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.

2. data SVoid (a :: Void)

   singletons-base	Data.Void.Singletons

   No documentation available.

3. class PMonoid a

   singletons-base	Prelude.Singletons

   No documentation available.

4. class SSemigroup a => SMonoid a

   singletons-base	Prelude.Singletons

   No documentation available.

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

   singletons-base	Prelude.Singletons

   No documentation available.

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

   uniplate	Data.Generics.Compos

   composOpMonoid = composOpFold mempty mappend
   

7. 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.

8. Hide :: a -> Hide a

   uniplate	Data.Generics.Uniplate.Data.Instances

   No documentation available.

9. fromHide :: Hide a -> a

   uniplate	Data.Generics.Uniplate.Data.Instances

   No documentation available.

10. InvalidChars :: SchemaError

    uri-bytestring	URI.ByteString

    Subsequent characters in the schema were invalid

Page 795 of many | Previous | Next