Hoogle Search

Within LTS Haskell 24.27 (ghc-9.10.3)

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

Exact lookup

1. NoAutoDeriveTypeable :: Extension

   hint	Language.Haskell.Interpreter.Extension

   No documentation available.

2. NoDeriveAnyClass :: Extension

   hint	Language.Haskell.Interpreter.Extension

   No documentation available.

3. NoDeriveDataTypeable :: Extension

   hint	Language.Haskell.Interpreter.Extension

   No documentation available.

4. NoDeriveFoldable :: Extension

   hint	Language.Haskell.Interpreter.Extension

   No documentation available.

5. NoDeriveFunctor :: Extension

   hint	Language.Haskell.Interpreter.Extension

   No documentation available.

6. NoDeriveGeneric :: Extension

   hint	Language.Haskell.Interpreter.Extension

   No documentation available.

7. NoDeriveLift :: Extension

   hint	Language.Haskell.Interpreter.Extension

   No documentation available.

8. NoDeriveTraversable :: Extension

   hint	Language.Haskell.Interpreter.Extension

   No documentation available.

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 92 of many | Previous | Next