Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

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

Exact lookup

1. type family GConIdNamedIf (n :: Symbol) t (o :: Maybe Nat) :: Nat

   generic-data	Generic.Data.Internal.Meta

   No documentation available.

2. conId :: Constructors a => a -> ConId a

   generic-data	Generic.Data.Internal.Meta

   Identifier of a constructor.

3. conIdEnum :: Constructors a => [ConId a]

   generic-data	Generic.Data.Internal.Meta

   All constructor identifiers.

   gconNum @a = length (conIdEnum @a)
   

4. conIdMax :: (Constructors a, NonEmptyType "conIdMax" a) => ConId a

   generic-data	Generic.Data.Internal.Meta

   The last constructor. This must not be called on an empty type.

5. conIdMin :: (Constructors a, NonEmptyType "conIdMin" a) => ConId a

   generic-data	Generic.Data.Internal.Meta

   The first constructor. This must not be called on an empty type.

6. conIdNamed :: forall (s :: Symbol) a . ConIdNamed s a => ConId a

   generic-data	Generic.Data.Internal.Meta

   Get a ConId by name.

   >>> conIdNamed @"Nothing" :: ConId (Maybe Int)
   ConId 0
   
   >>> conIdNamed @"Just"    :: ConId (Maybe Int)
   ConId 1
   

7. conIdToString :: Constructors a => ConId a -> String

   generic-data	Generic.Data.Internal.Meta

   Name of a constructor. See also gconName.

8. fromConId :: Generic a => ConId a -> GConId (Rep a)

   generic-data	Generic.Data.Internal.Meta

   No documentation available.

9. gConId :: forall (p :: k) . GConstructors r => r p -> GConId r

   generic-data	Generic.Data.Internal.Meta

   No documentation available.

10. gConIdToString :: GConstructors r => GConId r -> String

    generic-data	Generic.Data.Internal.Meta

    No documentation available.

Page 1295 of many | Previous | Next