Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. AutoDeriveTypeable :: Extension

   ghc-lib-parser	GHC.LanguageExtensions.Type

   No documentation available.

2. NFC_DerivedClassType :: NestedForallsContextsIn

   ghc-lib-parser	GHC.Tc.Errors.Types

   Nested forall in deriving class type

3. NFC_StandaloneDerivedInstanceHead :: NestedForallsContextsIn

   ghc-lib-parser	GHC.Tc.Errors.Types

   Nested forall in a standalone deriving instance head

4. NoDeriveAnyClassEnabled :: DeriveAnyClassEnabled

   ghc-lib-parser	GHC.Tc.Errors.Types

   No documentation available.

5. TcRnCannotDeriveInstance :: Class -> [Type] -> !Maybe (DerivStrategy GhcTc) -> UsingGeneralizedNewtypeDeriving -> DeriveInstanceErrReason -> TcRnMessage

   ghc-lib-parser	GHC.Tc.Errors.Types

   TcRnCannotDeriveInstance is an error that occurs every time a typeclass instance can't be derived. The DeriveInstanceErrReason will contain the specific reason this error arose. Example(s): None. Test cases: genericsT10604T10604_no_PolyKinds derivingshould_faildrvfail009 derivingshould_faildrvfail-functor2 derivingshould_failT10598_fail3 derivingshould_failderiving-via-fail2 derivingshould_failderiving-via-fail derivingshould_failT16181

6. YesDeriveAnyClassEnabled :: DeriveAnyClassEnabled

   ghc-lib-parser	GHC.Tc.Errors.Types

   No documentation available.

7. mkDerivedInternalName :: (OccName -> OccName) -> Unique -> Name -> Name

   ghc-lib-parser	GHC.Types.Name

   No documentation available.

8. isDerivedOccName :: OccName -> Bool

   ghc-lib-parser	GHC.Types.Name.Occurrence

   Test for definitions internally generated by GHC. This predicate is used to suppress printing of internal definitions in some debug prints

9. accessorIsLabelDeriver :: Deriver

   domain	Domain

   Generates instances of IsLabel for enums, sums and products, providing accessors to their components.

   Product Example

   Having the following schema:

   NetworkAddress:
   product:
   protocol: TransportProtocol
   host: Host
   port: Word16
   

   The following instances will be generated:

   instance a ~ TransportProtocol => IsLabel "protocol" (NetworkAddress -> a) where
   fromLabel (NetworkAddress a _ _) = a
   
   instance a ~ Host => IsLabel "host" (NetworkAddress -> a) where
   fromLabel (NetworkAddress _ b _) = b
   
   instance a ~ Word16 => IsLabel "port" (NetworkAddress -> a) where
   fromLabel (NetworkAddress _ _ c) = c
   

   In case you're wondering what this tilde (~) constraint business is about, refer to the Type Equality Constraint section.

   Sum Example

   Having the following schema:

   Host:
   sum:
   ip: Ip
   name: Text
   

   The following instances will be generated:

   instance a ~ Maybe Ip => IsLabel "ip" (Host -> a) where
   fromLabel (IpHost a) = Just a
   fromLabel _ = Nothing
   
   instance a ~ Maybe Text => IsLabel "name" (Host -> a) where
   fromLabel (NameHost a) = Just a
   fromLabel _ = Nothing
   

   In case you're wondering what this tilde (~) constraint business is about, refer to the Type Equality Constraint section.

   Enum Example

   Having the following schema:

   TransportProtocol:
   enum:
   - tcp
   - udp
   

   The following instances will be generated:

   instance a ~ Bool => IsLabel "tcp" (TransportProtocol -> a) where
   fromLabel TcpTransportProtocol = True
   fromLabel _ = False
   
   instance a ~ Bool => IsLabel "udp" (TransportProtocol -> a) where
   fromLabel UdpTransportProtocol = True
   fromLabel _ = False
   

   In case you're wondering what this tilde (~) constraint business is about, refer to the Type Equality Constraint section.

10. boundedDeriver :: Deriver

    domain	Domain

    Derives Bounded for enums. Requires to have the StandaloneDeriving compiler extension enabled.

Page 91 of many | Previous | Next