@@ -32,6 +32,8 @@
3232-- | Qux
3333-- deriving (Show, Generic)
3434--
35+-- @
36+--
3537-- >>> Bar 5 "coconut" ^? as @"Bar"
3638-- Just (5, "coconut")
3739--
@@ -41,16 +43,12 @@
4143-- >>> as @"Bar" # (5, "asd") :: FooBar
4244-- Bar 5 "asd"
4345--
44−-- >>> as @"Barz" # (5, "asd") :: FooBar
45−--
46−-- <interactive>:264:1: error:
47−-- • FooBar has no constructor with name "Barz"
48−-- @
49−--
5046
5147-----------------------------------------------------------------------------
5248
53−module Data.Generics.Sum.HasConstructor where
49+module Data.Generics.Sum.HasConstructor
50+ ( HasConstructor (..)
51+ ) where
5452
5553import Data.Generics.Internal.Lens
5654