git.iko.soy/generic-lens
on bfcd00a help sign in
generic-lens/src/Data/Generics/Product.hs
34 lines 977 B history raw
1-----------------------------------------------------------------------------
2-- |
3-- Module : Data.Generics.Product
4-- Copyright : (C) 2017 Csongor Kiss
5-- License : BSD3
6-- Maintainer : Csongor Kiss <kiss.csongor.kiss@gmail.com>
7-- Stability : experimental
8-- Portability : non-portable
9--
10-- Magic product operations using Generics
11--
12-- These classes need not be instantiated manually, as GHC can automatically
13-- prove valid instances via Generics. Only the `Generic` class needs to
14-- be derived (see examples).
15--
16-----------------------------------------------------------------------------
18module Data.Generics.Product
19 ( -- *Lenses
20 HasAny (..)
22 , HasField (..)
23 , HasPosition (..)
24 , HasType (..)
26 -- *Subtype relationships
27 , Subtype (..)
28 ) where
30import Data.Generics.Product.Any
31import Data.Generics.Product.Fields
32import Data.Generics.Product.Positions
33import Data.Generics.Product.Subtype
34import Data.Generics.Product.Typed