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.

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

    generic-data Generic.Data

    Get a ConId by name. 

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

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

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

    generic-data Generic.Data

    Name of a constructor. See also gconName.

  3. unId1 :: Id1 (f :: Type -> Type) a -> f a

    generic-data Generic.Data

    No documentation available.

  4. newtype ConId (a :: k)

    generic-data Generic.Data.Internal.Meta

    An opaque identifier for a constructor.

  5. ConId :: Int -> ConId (a :: k)

    generic-data Generic.Data.Internal.Meta

    No documentation available.

  6. class (Generic a, KnownNat ConIdNamed' n a) => ConIdNamed (n :: Symbol) a

    generic-data Generic.Data.Internal.Meta

    Constraint synonym for generic types a with a constructor named n.

  7. type ConIdNamed' (n :: Symbol) t = GConIdNamedIf n t GConIdNamed n Rep t

    generic-data Generic.Data.Internal.Meta

    No documentation available.

  8. newtype GConId (r :: k)

    generic-data Generic.Data.Internal.Meta

    No documentation available.

  9. GConId :: Int -> GConId (r :: k)

    generic-data Generic.Data.Internal.Meta

    No documentation available.

  10. type family GConIdNamed' (n :: Symbol) (f :: k -> Type) (i :: Nat) (o :: Maybe Nat) :: Maybe Nat

    generic-data Generic.Data.Internal.Meta

    No documentation available.

Page 1294 of many | Previous | Next