@@ -1,5 +1,28 @@
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 sum 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+-----------------------------------------------------------------------------
17+
118module Data.Generics.Sum
2− ( module HasConstructor
19+ ( -- *Prisms
20+ AsAny (..)
21+
22+ , AsConstructor (..)
23+ , AsType (..)
324 ) where
425
5−import Data.Generics.Sum.HasConstructor as HasConstructor
26+import Data.Generics.Sum.Any
27+import Data.Generics.Sum.Constructors
28+import Data.Generics.Sum.Typed